Dominique Ambroise
Dominique Ambroise
Brigitte Rozoy
Jean Saquet
Deadlock Detection in Distributed Systems.
210-213
2003
conf/cata/2003
CATA
db/conf/cata/cata2003.html#AmbroiseRS03
Dominique Ambroise
Patrick Augé
Kamel Bouchefra
Brigitte Rozoy
MARRELLA and the Verification of an Embedded System.
409-412
2001
conf/fossacs/2001
FoSSaCS
https://doi.org/10.1007/3-540-45315-6_27
db/conf/fossacs/fossacs2001.html#AmbroiseABR01
Dominique Ambroise
Brigitte Rozoy
Marrella: a Tool to Analyse the Graph of States.
583-594
1996
6
Parallel Process. Lett.
4
https://doi.org/10.1142/S0129626496000522
db/journals/ppl/ppl6.html#AmbroiseR96
Dominique Ambroise
Brigitte Rozoy
Marella: A Tool for Simulation and Verification.
458-461
1996
conf/cav/1996
CAV
db/conf/cav/cav96.html#AmbroiseR96
https://doi.org/10.1007/3-540-61474-5_102
Dominique Ambroise
Brigitte Rozoy
Using Events Structures for the Efficient Analysis of State Graphs (Abstract).
123
1996
conf/podc/1996
PODC
db/conf/podc/podc96.html#AmbroiseR96
https://doi.org/10.1145/248052.248073
Patrick Augé
Kamel Bouchefra
Brigitte Rozoy
Jean Saquet