Dominique Ambroise

According to our database, Dominique Ambroise authored at least 5 papers between 1996 and 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2003

Deadlock Detection in Distributed Systems.

Dominique Ambroise, Brigitte Rozoy, Jean Saquet

Proceedings of the ISCA 18th International Conference Computers and Their Applications, 2003

2001

MARRELLA and the Verification of an Embedded System.

Dominique Ambroise, Patrick Augé, Kamel Bouchefra, Brigitte Rozoy

Proceedings of the Foundations of Software Science and Computation Structures, 2001

1996

Marrella: a Tool to Analyse the Graph of States.

Dominique Ambroise, Brigitte Rozoy

Parallel Process. Lett., 1996

Using Events Structures for the Efficient Analysis of State Graphs (Abstract).

Dominique Ambroise, Brigitte Rozoy

Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

Marella: A Tool for Simulation and Verification.

Dominique Ambroise, Brigitte Rozoy

Proceedings of the Computer Aided Verification, 8th International Conference, 1996