Rabéa Boulifa INRIA - Sophia Antipolis Projet OASIS 2004, route des lucioles BP 93 FR-06 902 Sophia-Antipolis Cedex Phone : (+334/04) 92 38 50 52                +336 70 33 93 96 Fax : (+334/04) 92 38 76 44 Rabea.Boulifa @sophia.inria.fr

Research interests

Papers and reports

• Génération  de  Modèles   Comportementaux  des  Applications  Réparties. PhD thesis,  2004 (PDF)

• Parameterized Models for Distributed Java Objects. Forte'2004 Conference, Madrid, Sep. 2004, LNCS 3235, © Springer-Verlag (PS, PPT slides)

• Model Generation for Distributed Java Programs.  FIDJI'03 workshop, nov. 2003, Luxembourg, LNCS 2952, © Springer-Verlag (PDF, PPT slides).

• Finite Model Generation for Distributed Java Programs. Workshop on Model-Checking for Dependable Software-Intensive Systems, San Francisco, June 2003 (PDF), (Postscript) (PPT Slides)

• Another Implementation Technique for Functional Programming Languages. Proceedings of Journées francophones des langages applicatifs, JFLA'03

• Preuve de propriétés de comportement de programmes ProActive. Publication RR-4460 INRIA, 2002

• Une machine virtuelle pour le générateur de compilateurs Gen6. DEA, 2000/2001

• Une nouvelle technique d'implémentation des langages fonctionnels. Magister thesis, 96/98

Some research projects

• Vercors VERification of models for distributed communicating COmponants, with safety and Security
• ARC Modocop: Action de Recherche Coopérative: Model checking Of Concurrent Object-oriented Programs

CV (abstract) here