Marella: A Tool for Simulation and Verification. - Dominique Ambroise; Brigitte Rozoy (CAV, 1996)

Using Events Structures for the Efficient Analysis of State Graphs (Abstract). - Dominique Ambroise; Brigitte Rozoy (PODC, 1996)

Marrella: a Tool to Analyse the Graph of States. - Dominique Ambroise; Brigitte Rozoy (Parallel Process. Lett., 1996)

MARRELLA and the Verification of an Embedded System. - Dominique Ambroise; Patrick Augé; Kamel Bouchefra; Brigitte Rozoy (FoSSaCS, 2001)

Deadlock Detection in Distributed Systems. - Dominique Ambroise; Brigitte Rozoy; Jean Saquet (CATA, 2003)