Dominique Ambroise

Publication Activity (10 Years)

Years Active: 1996-2003
Publications (10 Years): 0

Publications

Dominique Ambroise, Brigitte Rozoy, Jean Saquet
Deadlock Detection in Distributed Systems. CATA (2003)
Dominique Ambroise, Patrick Augé, Kamel Bouchefra, Brigitte Rozoy
MARRELLA and the Verification of an Embedded System. FoSSaCS (2001)
Dominique Ambroise, Brigitte Rozoy
Marella: A Tool for Simulation and Verification. CAV (1996)
Dominique Ambroise, Brigitte Rozoy
Marrella: a Tool to Analyse the Graph of States. Parallel Process. Lett. 6 (4) (1996)
Dominique Ambroise, Brigitte Rozoy
Using Events Structures for the Efficient Analysis of State Graphs (Abstract). PODC (1996)