The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jean-Michel Ayache: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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.030secs, Finished in 0.031secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002