| 2008 | ||
|---|---|---|
| 3 | EE | Pascal Raymond, Yvan Roux, Erwan Jahier: Specifying and Executing Reactive Scenarios With Lutin. Electr. Notes Theor. Comput. Sci. 203(4): 19-34 (2008) |
| 2006 | ||
| 2 | EE | Pascal Raymond, Erwan Jahier, Yvan Roux: Describing and Executing Random Reactive Systems. SEFM 2006: 216-225 |
| 2002 | ||
| 1 | EE | Pascal Raymond, Yvan Roux: Describing Non-Deterministic Reactive Systems by Means of Regular Expressions. Electr. Notes Theor. Comput. Sci. 65(5): (2002) |
| 1 | Erwan Jahier | [2] [3] |
| 2 | Pascal Raymond | [1] [2] [3] |