Dominique Ambroise
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1996–2003
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | CATA | Deadlock Detection in Distributed Systems. | Dominique Ambroise, Brigitte Rozoy, Jean Saquet |
| 2001 | FOSSACS | MARRELLA and the Verification of an Embedded System. | Dominique Ambroise, Patrick Aug, Kamel Bouchefra, Brigitte Rozoy |
| 1996 | CAV | Marella: A Tool for Simulation and Verification. | Dominique Ambroise, Brigitte Rozoy |
| 1996 | PODC | Using Events Structures for the Efficient Analysis of State Graphs (Abstract). | Dominique Ambroise, Brigitte Rozoy |