Ayache, J.M.

• Ayache, J.M.; Courtiat, J.-P.; Diaz, M.; Juanole, G.:
  Utilisation des Reseaux de Petri pour la Modelisation et la Validation des Protocoles. 1985.

• Ayache, J.M.; Courtiat, J.-P.:
  Petri Net Oriented Tools for a Protocol Design Methodology. 1984.

• Courtiat, J.-P.; Ayache, J.M.; Algayres, B.:
  Petri Nets are Good for Protocols. 1984.

• Ayache, J.M.; Courtiat, J.-P.:
  A Specification and Implementation Language for Protocols. 1983.

• Diaz, M.; Courtiat, J.-P.; Berthomieu, B.; Ayache, J.M.:
  Status of Using Petri-Net Based Models for Protocols. 1983.

• Ayache, J.M.; Azéma, P.; Diaz, M.:
  Towards Fault Tolerant Real Time Systems by Using Petri Nets. 1982.

• Ayache, J.M.; Courtiat, J.-P.; Diaz, M.:
  A Specification Language for the Design of Multy-Layer Protocols. 1982.

• Ayache, J.M.; Courtiat, J.-P.; Diaz, M.:
  Design and Validation by Petri Nets of a Reliable Bus Allocation Protocol. 1982.

• Ayache, J.M.; Courtiat, J.-P.; Diaz, M.:
  Self-Checking Software in Distributed Systems. 1982.

• Ayache, J.M.; Sbai, A.; Loyer, B.; Paul, L.L.:
  Software Redundancy for Error Detection in Distributed Systems. 1982.

• Ayache, J.M.; Courtiat, J.-P.; Diaz, M.:
  Conception et Validation de Protocoles. Application au Reseau Rebus. 1982.

• Ayache, J.M.; Diaz, M.; Konber, H.:
  Specification and Verification of Signalling Protocols. 1981.

• Ayache, J.M.; Azéma, P.; Diaz, M.:
  Observer: A Concept for On-line Detection of Control Errors in Concurrent Systems. 1979.

• Ayache, J.M.; Diaz, M.; Valette, R.:
  A Methodology for Specifying Control in Electronic Switching Systems. 1979.

• Azéma, P.; Ayache, J.M.; Berthomieu, B.:
  Design and Verification of Communication Procedures: A Bottom-up Approach. 1978.

• Ayache, J.M.; Le Danois, P.L.:
  Synthesis of Logic Systems with PLA's. 1977.

Back to the Petri Nets Bibliography