Publications de
An interoperability testing approach to wireless application protocols
Dans : Journal of Universal Computer Science, J.UCS Springer Co.Pub, Vol. 9, p. 1220-1243, 2003.
Conformance testing to real-time communications systems
Dans : Computer Communications, Elsevier Science, Vol. 25, p. 32-45, 2002.
A local approach to the testing of real-time systems
Dans : The Computer Journal, British Computer Society, Oxford Press, Vol. 44, p. 435-447, 2001.
Ousmane Koné, Richard Castanet
Test generation for interworking systems
Dans : Computer Communications, Elsevier Science, Vol. 23, p. 642-652, 2000.
Ousmane Koné, Richard Castanet
Méthodes formelles de test de conformité de protocoles
Dans : Technique et science informatiques, Hermes, Vol. 5, p. 1-35, 1999.
Symbolic and On the fly Testing with Real-time Observers
Dans : IFIP International Conference on Testing Communicating Systems (TestCom 2006), New York, 20/05/06-26/05/06, Springer-Verlag, p. 1-16, 2006.
Jean-Paul Bodeveix, Ousmane Koné, Rachid Bouaziz
Test method for embedded real-time systems
Dans : ERCIM European Workshop on Dependable Software Intensive Embedded Systems, Porto, 31/08/05-02/09/05, ERCIM, p. 1-10, août 2005.
Generating Interoperability Test Cases from Conformance Test Case Generation Tools
Dans : IFIP International Conference onFormal Techniques for Networked andDistributed Systems FORTE, Madrid, 27/09/04-30/09/04, David de Frutos-Escrig, Manuel Núñez (Eds.), IFIP, p. 1-15, septembre 2004.
Model-driven Scenarios for Real-time Software
Dans : IEEE International Symposium on System Reliability Engineering, Saint Malo, 01/10/04-31/10/04, IEEE, p. 1-10, octobre 2004.
Test de robustesse
Dans : SETIT, Tunisie, 17/03/03-21/03/03, IEEE, p. 100-111, mars 2003.
Modelling Location Operations in UMTS Networks
Dans : MOBICOM/MSWIM, Atlanta, 23/09/02-28/09/02, ACM, p. 129-139, septembre 2002.
Compliance of wireless application protocols
Dans : TESTCOM – Testing Internet Technologies and Services, Berlin, 19/03/02-22/03/02, IFIP – Kluwer Academic Publishers, p. 129-139, mars 2002.
Automates temporisés et expression de la Qualité de Service
Dans : Qualité de Service en Ingénierie des Protocoles. (Eds.) , Hermès, p. 19-47, 2001.
Richard Castanet, Ousmane Koné, Patrice Laurençot
Génération de séquences de test temporisé
Dans : Ecole d’Eté Temps Réel. (Eds.) , CNRS EDITIONS, p. 204-215, 1997.