Publications

Publications de

Communications dans un congrès

Rami El Baida, Jean-Paul Bahsoun
Automatic Verification ofConcurrent Object Properties
Dans : ACS/IEEE International Conference on Computer Systems and Applications, Beirut, 25/06/01-29/11/01, 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/99-03/09/99, Lecture Notes in Computer ScienceGoos, Hartmantis and LeeuwenSpringer, p. 1344-1352, août 1999.
BibTeX

Thèses

Rami El Baida
Les composants logiciels réutilisables : méthodes de vérification
Thèse de doctorat, Université Paul Sabatier, juillet 2004.
BibTeX