| 2007 | ||
|---|---|---|
| 6 | EE | Nicolas Baudru, Rémi Morin: Synthesis of Safe Message-Passing Systems. FSTTCS 2007: 277-289 |
| 2006 | ||
| 5 | EE | Nicolas Baudru, Rémi Morin: Unfolding Synthesis of Asynchronous Automata. CSR 2006: 46-57 |
| 4 | EE | Nicolas Baudru, Rémi Morin: The Synthesis Problem of Netcharts. ICATPN 2006: 84-104 |
| 2005 | ||
| 3 | EE | Nicolas Baudru, Rémi Morin: Polynomial Synthesis of Asynchronous Automata CoRR abs/cs/0506096: (2005) |
| 2004 | ||
| 2 | EE | Nicolas Baudru, Rémi Morin: The Pros and Cons of Netcharts. CONCUR 2004: 99-114 |
| 2003 | ||
| 1 | Nicolas Baudru, Rémi Morin: Safe Implementability of Regular Message Sequence Chart Specifications. SNPD 2003: 210-217 | |
| 1 | Rémi Morin | [1] [2] [3] [4] [5] [6] |