Jean-Michel Ayache
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1978–1988
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1988 | FORTE | EWS - An Integrated Workstation for the Design and the Automatic Generation of Distributed Software. | Jean-Michel Ayache, Jean Dufau, Michel Huybrechts, Eric Mattera |
| 1982 | ICDCS | Self-Checking software in distributed systems. | Jean-Michel Ayache, Jean-Pierre Courtiat, Michel Diaz |
| 1978 | ICSE | Design and Verification of Communication Procedures: A Bottom-Up Approach. | Pierre Azma, Jean-Michel Ayache, Bernard Berthomieu |