Current Position

Bull employee since 1992 (born 1964).

Within DYADE (Bull-Inria advanced research joint venture), I am the operational responsible of the action VASY (Validation of Systems) since 1996: I am in charge of leading trial projects on the use of formal methods in system development, having in mind a technology transfer into the multiprocessor architecture development process in Bull.

Academic Background

• Engineering degree in 1988 from Ecole Nationale des Ponts et Chaussées (ENPC), .
• Doctorate degree in computer science in 1991 from ENPC. Thesis subject: Petri Nets Hierarchical Analysis Methods (modularity, composition, subnet replacement using equivalence notions). This work was supervised by Pr. Claude GIRAULT and partly done in the ENPC CERMA laboratory and the Research Center of Bull.

Research interests

Use of formal methods in industrial developement process:

• formal specification and modelling,
• formal verification,
• test generation from formal specification.

Publications

• Specification and Verification of the PowerScale Bus Arbitration Protocol: An Industrial Experiment with LOTOS. G.Chehaibar, H.Garavel, L.Mounier, N.Tawbi, F.Zulian. In Proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing and Verification FORTE/PSTV'96 (Kaiserslautern, Germany), October 1996.
• ASPIC : Vers un Outil de Vérification de Programmes C par Analyse Sémantique. J.-M.Bouille, G.Chehaibar, A.Faivre. C.Loiseaux, N.Tawbi. Dixième colloque national de Fiabilité et Maintenabilité, Saint-Malo, Octobre 1996.
• Replacement of Open Interface Subnets and Stable State Transformation Equivalence. G.Chehaibar. Advances in Petri Nets 93, Lecture Notes in Computer Science 674, Springler Verlag.
• Use of Reentrant Nets in Modular Analysis of Petri Nets. G.Chehaibar. Advances in Petri Nets 91, Lecture Notes in Computer Science 524, Springer Verlag.
• Proof Reusability in Stepwise Refinement with Petri Net Modelling. C.Girault, G.Chehaibar. Fourth International Symposium on Computer and Information Sciences. Turkey, November 1989.

Back to the VASY Home Page