Jean-Michel Ayache

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1988
EWS - An Integrated Workstation for the Design and the Automatic Generation of Distributed Software.
Proceedings of the Formal Description Techniques, 1988

1985
Observer: a run-time checking tool for local area networks.
Proceedings of the Protocol Specification, 1985

A simulation environment for protocol specifications described in ESTELLE.
Proceedings of the Protocol Specification, 1985

1984
Petri nets are good for protocols.
Computer Communication Review, 1984

1983
LC/1, A Specification and Implementation Language for Protocols.
Protocol Specification, Testing, and Verification, 1983

1982
REBUS, A Fault-Tolerant Distributed System for Industrial Real-Time Control.
IEEE Trans. Computers, 1982

Self-Checking software in distributed systems.
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.
Proceedings of the Application and Theory of Petri Nets, 1981

1979
Unified Design of Self-Checking and Fail-Safe Combinational Circuits and Sequential Machines.
IEEE Trans. Computers, 1979

1978
Mémoires reconfigurables à accès aléatoire et à semi-conducteurs.
PhD thesis, 1978

Design and Verification of Communication Procedures: A Bottom-Up Approach.
Proceedings of the 3rd International Conference on Software Engineering, 1978


  Loading...