Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Ousmane Koné

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Articles de revues internationales / International journal papers

  • Ousmane Koné. 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.
    BibTeX

  • Ousmane Koné. Conformance testing to real-time communications systems. Dans : Computer Communications, Elsevier Science, Vol. 25, p. 32-45, 2002.
    BibTeX

  • Ousmane Koné. 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.
    BibTeX

  • Ousmane Koné, Richard Castanet. Test generation for interworking systems. Dans : Computer Communications, Elsevier Science, Vol. 23, p. 642-652, 2000.
    BibTeX

Articles de revues nationales / National journal papers

Contributions à des ouvrages de synthèse / Book chapters

Conférences et workshops internationaux / International conference papers
  • Ousmane Koné, Rachid Bouaziz. 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.
    BibTeX

  • 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.
    BibTeX

  • Ousmane Koné, Patrick Félix. 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.
    BibTeX

  • Ousmane Koné. 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.
    Résumé
    BibTeX

  • Ousmane Koné, M Kais. Test de robustesse. Dans : SETIT, Tunisie, 17/03/03-21/03/03, IEEE, p. 100-111, mars 2003.
    BibTeX

  • Marcien Mackaya, Ousmane Koné. Modelling Location Operations in UMTS Networks. Dans : MOBICOM/MSWIM, Atlanta, 23/09/02-28/09/02, ACM, p. 129-139, septembre 2002.
    BibTeX

  • Ousmane Koné. 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.
    BibTeX