| 2012 | OPODIS | Non-deterministic Population Protocols. | Joffroy Beauquier, Janna Burman, Laurent Rosaz, Brigitte Rozoy |
| 2007 | PODC | Self-stabilizing counting in mobile sensor networks. | Joffroy Beauquier, Julien Clment, Stphane Messika, Laurent Rosaz, Brigitte Rozoy |
| 2003 | CATA | Deadlock Detection in Distributed Systems. | Dominique Ambroise, Brigitte Rozoy, Jean Saquet |
| 2001 | CATA | Simulation and verification of an embedded system. | Patrick Aug, Brigitte Rozoy, Thierry Maurin, Roger Reynaud, Kamel Bouchefra |
| 2001 | FOSSACS | MARRELLA and the Verification of an Embedded System. | Dominique Ambroise, Patrick Aug, Kamel Bouchefra, Brigitte Rozoy |
| 1999 | CONCUR | On the Semantics of Place/Transition Nets. | Rmi Morin, Brigitte Rozoy |
| 1999 | FCT | A General Categorical Connection between Local Event Structures and Local Traces. | H. C. M. Kleijn, Rmi Morin, Brigitte Rozoy |
| 1996 | CAV | Marella: A Tool for Simulation and Verification. | Dominique Ambroise, Brigitte Rozoy |
| 1996 | PODC | Using Events Structures for the Efficient Analysis of State Graphs (Abstract). | Dominique Ambroise, Brigitte Rozoy |
| 1986 | MFCS | Model and Complexity of Termination for Distributed Computations. | Brigitte Rozoy |
| 1985 | FCT | About two-way transducers. | Brigitte Rozoy |