Jean Claude Geffroy

Publication Activity (10 Years)

Years Active: 1974-2003
Publications (10 Years): 0

Publications

Gilles Motet, Jean Claude Geffroy
Dependable computing: an overview. Theor. Comput. Sci. 290 (2) (2003)
Lamine Ngom, Claude Baron, André Cabarbaye, Jean Claude Geffroy, Linda Tomasini
Genetic algorithms for the identification of the generalised Erlang laws parameters used in systems dependability studies. ICANNGA (1999)
Luis Carroll, Bertrand Tondu, Claude Baron, Jean Claude Geffroy
UML Framework for the Design of Real-Time Robot Controllers. Euro-Par (1999)
Lamine Ngom, Claude Baron, Jean Claude Geffroy
Genetic Simulation for Finite State Machine Identification. Annual Simulation Symposium (1999)
Luis Carroll, Bertrand Tondu, Claude Baron, Jean Claude Geffroy
Comparison of two significant development methods applied to the design of real-time robot controllers. SMC (1998)
C. Rominger, Jean Claude Geffroy
Hazard analysis of structured sequential systems. Annual Simulation Symposium (1995)
K. El. Maadani, Jean Claude Geffroy
Identification of structured automata for test evaluation. VTS (1991)
Françoise Martinolle, Jean Claude Geffroy, Bernard Soulas
Testability analysis of hierarchical finite state machines. EURO-DAC (1991)
Marc Courvoisier, Jean Claude Geffroy
Cascaded Self-Checking Bus Arbiters for Multicomputer Systems. RTSS (1982)
Michel Diaz, Jean Claude Geffroy, Marc Courvoisier
On-Set Realization of Fail-Safe Sequential Machines. IEEE Trans. Computers 23 (2) (1974)