Jean-Michel Ayache

According to our database, Jean-Michel Ayache authored at least 11 papers between 1978 and 1988.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1988

EWS - An Integrated Workstation for the Design and the Automatic Generation of Distributed Software.

Jean-Michel Ayache, Jean Dufau, Michel Huybrechts, Eric Mattera

Proceedings of the Formal Description Techniques, 1988

1985

Observer: a run-time checking tool for local area networks.

R. Molva, Michel Diaz, Jean-Michel Ayache

Proceedings of the Protocol Specification, 1985

A simulation environment for protocol specifications described in ESTELLE.

Jean-Pierre Courtiat, Aloysio Pedroza, Jean-Michel Ayache

Proceedings of the Protocol Specification, 1985

1984

Petri nets are good for protocols.

Jean-Pierre Courtiat, Jean-Michel Ayache, B. Algayres

Comput. Commun. Rev., 1984

1983

LC/1, A Specification and Implementation Language for Protocols.

Jean-Michel Ayache, Jean-Pierre Courtiat

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

1982

REBUS, A Fault-Tolerant Distributed System for Industrial Real-Time Control.

Jean-Michel Ayache, Jean-Pierre Courtiat, Michel Diaz

IEEE Trans. Computers, 1982

Self-Checking software in distributed systems.

Jean-Michel Ayache, Jean-Pierre Courtiat, Michel Diaz

Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982

1981

Towards Fault Tolerant Real Time Systems by Using Petri Nets.

Jean-Michel Ayache, Pierre Azéma, Michel Diaz

Proceedings of the Application and Theory of Petri Nets, 1981

1979

Unified Design of Self-Checking and Fail-Safe Combinational Circuits and Sequential Machines.

Michel Diaz, Pierre Azéma, Jean-Michel Ayache

IEEE Trans. Computers, 1979

1978

Mémoires reconfigurables à accès aléatoire et à semi-conducteurs.

Jean-Michel Ayache

PhD thesis, 1978

Design and Verification of Communication Procedures: A Bottom-Up Approach.

Pierre Azéma, Jean-Michel Ayache, Bernard Berthomieu

Proceedings of the 3rd International Conference on Software Engineering, 1978