Concepedia

Jean-Michel Ayache

JA

4

Publications

87

Citations

4

H-Index

1978

Active since

Affiliations

Laboratoire d'Analyse et d'Architecture des Systèmes(Current)

Jean-Michel Ayache is an author at Laboratoire d'Analyse et d'Architecture des Systèmes specializing in verification, engineering, and computer science.

Top concepts

Publications per year

1978–2005

4

Publications

4

OBSERVER A CONCEPT FOR ON-LINE DETECTION OF CONTROL ERRORS IN CONCURRENT SYSTEMS

Jean-Michel Ayache, Pierre Azéma, Michel Diaz · 2005 · 30 citations

, , +11

Petri nets are good for protocols

Jean-Pierre Courtiat, Jean-Michel Ayache, B. Algayres · ACM SIGCOMM Computer Communication Review · 1984 · 30 citations

, , +16

A Reliability Model for Error Correcting Memory Systems

Jean-Michel Ayache, M. Díaz · IEEE Transactions on Reliability · 1979 · 17 citations

, , +18

Design and verification of communication procedures: A bottom-up approach

Pierre Azéma, Jean-Michel Ayache, Bernard Berthomieu · International Conference on Software Engineering · 1978 · 10 citations

, , +22

Rows per page

1–4 of 4