Search the dblp DataBase
Jean-Michel Ayache :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jean-Michel Ayache , Pierre Azéma , Michel Diaz Towards Fault Tolerant Real Time Systems by Using Petri Nets. [Citation Graph (0, 0)][DBLP ] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:228-233 [Conf ] Jean-Michel Ayache , Jean Dufau , Michel Huybrechts , Eric Mattera EWS - An Integrated Workstation for the Design and the Automatic Generation of Distributed Software. [Citation Graph (0, 0)][DBLP ] FORTE, 1988, pp:85-89 [Conf ] Jean-Michel Ayache , Jean-Pierre Courtiat , Michel Diaz Self-Checking software in distributed systems. [Citation Graph (0, 0)][DBLP ] ICDCS, 1982, pp:163-170 [Conf ] Pierre Azéma , Jean-Michel Ayache , Bernard Berthomieu Design and Verification of Communication Procedures: A Bottom-Up Approach. [Citation Graph (0, 0)][DBLP ] ICSE, 1978, pp:168-174 [Conf ] Jean-Michel Ayache , Jean-Pierre Courtiat LC/1, A Specification and Implementation Language for Protocols. [Citation Graph (0, 0)][DBLP ] Protocol Specification, Testing, and Verification, 1983, pp:333-345 [Conf ] Jean-Pierre Courtiat , Aloysio Pedroza , Jean-Michel Ayache A simulation environment for protocol specifications described in ESTELLE. [Citation Graph (0, 0)][DBLP ] PSTV, 1985, pp:297-312 [Conf ] R. Molva , Michel Diaz , Jean-Michel Ayache Observer: a run-time checking tool for local area networks. [Citation Graph (0, 0)][DBLP ] PSTV, 1985, pp:495-506 [Conf ] Jean-Pierre Courtiat , Jean-Michel Ayache , B. Algayres Petri nets are good for protocols. [Citation Graph (0, 0)][DBLP ] Computer Communication Review, 1984, v:14, n:2, pp:66-74 [Journal ] Jean-Michel Ayache , Jean-Pierre Courtiat , Michel Diaz REBUS, A Fault-Tolerant Distributed System for Industrial Real-Time Control. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1982, v:31, n:7, pp:637-647 [Journal ] Michel Diaz , Pierre Azéma , Jean-Michel Ayache Unified Design of Self-Checking and Fail-Safe Combinational Circuits and Sequential Machines. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1979, v:28, n:3, pp:276-281 [Journal ] Search in 0.001secs, Finished in 0.002secs