Jean-Michel Ayache

Publication Activity (10 Years)

Years Active: 1978-1988
Publications (10 Years): 0

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Jean-Michel Ayache, Jean Dufau, Michel Huybrechts, Eric Mattera
EWS - An Integrated Workstation for the Design and the Automatic Generation of Distributed Software. FORTE (1988)
R. Molva, Michel Diaz, Jean-Michel Ayache
Observer: a run-time checking tool for local area networks. PSTV (1985)
Jean-Pierre Courtiat, Aloysio Pedroza, Jean-Michel Ayache
A simulation environment for protocol specifications described in ESTELLE. PSTV (1985)
Jean-Pierre Courtiat, Jean-Michel Ayache, B. Algayres
Petri nets are good for protocols. Comput. Commun. Rev. 14 (2) (1984)
Jean-Michel Ayache, Jean-Pierre Courtiat
LC/1, A Specification and Implementation Language for Protocols. Protocol Specification, Testing, and Verification (1983)
Jean-Michel Ayache, Jean-Pierre Courtiat, Michel Diaz
REBUS, A Fault-Tolerant Distributed System for Industrial Real-Time Control. IEEE Trans. Computers 31 (7) (1982)
Jean-Michel Ayache, Jean-Pierre Courtiat, Michel Diaz
Self-Checking software in distributed systems. ICDCS (1982)
Jean-Michel Ayache, Pierre Azéma, Michel Diaz
Towards Fault Tolerant Real Time Systems by Using Petri Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (1981)
Michel Diaz, Pierre Azéma, Jean-Michel Ayache
Unified Design of Self-Checking and Fail-Safe Combinational Circuits and Sequential Machines. IEEE Trans. Computers 28 (3) (1979)
Pierre Azéma, Jean-Michel Ayache, Bernard Berthomieu
Design and Verification of Communication Procedures: A Bottom-Up Approach. ICSE (1978)

Jean-Michel Ayache.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Jean-Michel Ayache