| |
| 2008 | ||
|---|---|---|
| 4 | EE | Xavier Le Guillou, Marie-Odile Cordier, Sophie Robin, Laurence Rozé: Chronicles for On-line Diagnosis of Distributed Systems. ECAI 2008: 194-198 |
| 2002 | ||
| 3 | EE | Laurence Rozé, Marie-Odile Cordier: Diagnosing Discrete-Event Systems: Extending the "Diagnoser Approach" to Deal with Telecommunication Networks. Discrete Event Dynamic Systems 12(1): 43-81 (2002) |
| 2001 | ||
| 2 | EE | Yannick Pencolé, Marie-Odile Cordier, Laurence Rozé: A Decentralized Model-Based Diagnostic Tool for Complex Systems. ICTAI 2001: 95-102 |
| 1999 | ||
| 1 | Mireille Ducassé, Laurence Rozé: Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency. LOPSTR 1999: 10-29 | |
| 1 | Marie-Odile Cordier | [2] [3] [4] |
| 2 | Mireille Ducassé | [1] |
| 3 | Xavier Le Guillou | [4] |
| 4 | Yannick Pencolé | [2] |
| 5 | Sophie Robin | [4] |