| 1988 |
|---|
| 10 | | 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: 85-89 |
| 1985 |
|---|
| 9 | | Jean-Pierre Courtiat,
Aloysio Pedroza,
Jean-Michel Ayache:
A simulation environment for protocol specifications described in ESTELLE.
PSTV 1985: 297-312 |
| 8 | | R. Molva,
Michel Diaz,
Jean-Michel Ayache:
Observer: a run-time checking tool for local area networks.
PSTV 1985: 495-506 |
| 1984 |
|---|
| 7 | EE | Jean-Pierre Courtiat,
Jean-Michel Ayache,
B. Algayres:
Petri nets are good for protocols.
Computer Communication Review 14(2): 66-74 (1984) |
| 1983 |
|---|
| 6 | | Jean-Michel Ayache,
Jean-Pierre Courtiat:
LC/1, A Specification and Implementation Language for Protocols.
Protocol Specification, Testing, and Verification 1983: 333-345 |
| 1982 |
|---|
| 5 | | Jean-Michel Ayache,
Jean-Pierre Courtiat,
Michel Diaz:
Self-Checking software in distributed systems.
ICDCS 1982: 163-170 |
| 4 | | Jean-Michel Ayache,
Jean-Pierre Courtiat,
Michel Diaz:
REBUS, A Fault-Tolerant Distributed System for Industrial Real-Time Control.
IEEE Trans. Computers 31(7): 637-647 (1982) |
| 1981 |
|---|
| 3 | | 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: 228-233 |
| 1979 |
|---|
| 2 | | 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): 276-281 (1979) |
| 1978 |
|---|
| 1 | | Pierre Azéma,
Jean-Michel Ayache,
Bernard Berthomieu:
Design and Verification of Communication Procedures: A Bottom-Up Approach.
ICSE 1978: 168-174 |
