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] |