Design and Verification of Communication Procedures: A Bottom-Up Approach. - Pierre Azéma; Jean-Michel Ayache; Bernard Berthomieu (ICSE, 1978)

Mémoires reconfigurables à accès aléatoire et à semi-conducteurs. - Jean-Michel Ayache (1978)

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)

Towards Fault Tolerant Real Time Systems by Using Petri Nets. - Jean-Michel Ayache; Pierre Azéma; Michel Diaz (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

Self-Checking software in distributed systems. - Jean-Michel Ayache; Jean-Pierre Courtiat; Michel Diaz (ICDCS, 1982)

REBUS, A Fault-Tolerant Distributed System for Industrial Real-Time Control. - Jean-Michel Ayache; Jean-Pierre Courtiat; Michel Diaz (IEEE Trans. Computers, 1982)

LC/1, A Specification and Implementation Language for Protocols. - Jean-Michel Ayache; Jean-Pierre Courtiat (Protocol Specification, Testing, and Verification, 1983)

Petri nets are good for protocols. - Jean-Pierre Courtiat; Jean-Michel Ayache; B. Algayres (Comput. Commun. Rev., 1984)

A simulation environment for protocol specifications described in ESTELLE. - Jean-Pierre Courtiat; Aloysio Pedroza; Jean-Michel Ayache (PSTV, 1985)

Observer: a run-time checking tool for local area networks. - R. Molva; Michel Diaz; Jean-Michel Ayache (PSTV, 1985)

EWS - An Integrated Workstation for the Design and the Automatic Generation of Distributed Software. - Jean-Michel Ayache; Jean Dufau; Michel Huybrechts; Eric Mattera (FORTE, 1988)