On-Set Realization of Fail-Safe Sequential Machines. - Michel Diaz; Jean Claude Geffroy; Marc Courvoisier (IEEE Trans. Computers, 1974)

Cascaded Self-Checking Bus Arbiters for Multicomputer Systems. - Marc Courvoisier; Jean Claude Geffroy (RTSS, 1982)

Testability analysis of hierarchical finite state machines. - Françoise Martinolle; Jean Claude Geffroy; Bernard Soulas (EURO-DAC, 1991)

Identification of structured automata for test evaluation. - K. El. Maadani; Jean Claude Geffroy (VTS, 1991)

Hazard analysis of structured sequential systems. - C. Rominger; Jean Claude Geffroy (Annual Simulation Symposium, 1995)

Comparison of two significant development methods applied to the design of real-time robot controllers. - Luis Carroll; Bertrand Tondu; Claude Baron; Jean Claude Geffroy (SMC, 1998)

Genetic Simulation for Finite State Machine Identification. - Lamine Ngom; Claude Baron; Jean Claude Geffroy (Annual Simulation Symposium, 1999)

UML Framework for the Design of Real-Time Robot Controllers. - Luis Carroll; Bertrand Tondu; Claude Baron; Jean Claude Geffroy (Euro-Par, 1999)

Genetic algorithms for the identification of the generalised Erlang laws parameters used in systems dependability studies. - Lamine Ngom; Claude Baron; André Cabarbaye; Jean Claude Geffroy; Linda Tomasini (ICANNGA, 1999)

Dependable computing: an overview. - Gilles Motet; Jean Claude Geffroy (Theor. Comput. Sci., 2003)