Publications

Publications de

Conférences et workshops internationaux avec actes édités et comité de lecture
  • Rami El Baida, Jean-Paul Bahsoun

    Automatic Verification ofConcurrent Object Properties

    Dans : ACS/IEEE International Conference on Computer Systems and Applications, Beirut, 25/06/2001-29/11/2001, IEEE, juin 2001.

    BibTeX

  • Jean-Paul Bahsoun, Rami El Baida, Hugues-Olivier Yar

    Decision Procedure for Temporal Logic of Concurrent Object

    Dans : 5th International Euro-Par’99 conferenceParallel Processing, Toulouse France, 31/08/1999-03/09/1999, Lecture Notes in Computer ScienceGoos, Hartmantis and LeeuwenSpringer, p. 1344-1352, août 1999.

    BibTeX

Thèses et habilitations
  • Rami El Baida

    Les composants logiciels réutilisables : méthodes de vérification

    Thèse de doctorat, Université Paul Sabatier, juillet 2004.

    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par
et
Ordre chronologique (année) Décroissant Croissant