2003 | ||
---|---|---|
4 | Dominique Ambroise, Brigitte Rozoy, Jean Saquet: Deadlock Detection in Distributed Systems. Computers and Their Applications 2003: 210-213 | |
2001 | ||
3 | EE | Dominique Ambroise, Patrick Augé, Kamel Bouchefra, Brigitte Rozoy: MARRELLA and the Verification of an Embedded System. FoSSaCS 2001: 409-412 |
1996 | ||
2 | Dominique Ambroise, Brigitte Rozoy: Marella: A Tool for Simulation and Verification. CAV 1996: 458-461 | |
1 | Dominique Ambroise, Brigitte Rozoy: Using Events Structures for the Efficient Analysis of State Graphs (Abstract). PODC 1996: 123 |
1 | Patrick Augé | [3] |
2 | Kamel Bouchefra | [3] |
3 | Brigitte Rozoy | [1] [2] [3] [4] |
4 | Jean Saquet | [4] |