Yvan Roux

Publication Activity (10 Years)

Years Active: 2002-2008
Publications (10 Years): 0

Publications

Pascal Raymond, Yvan Roux, Erwan Jahier
Lutin: A Language for Specifying and Executing Reactive Scenarios. EURASIP J. Embed. Syst. 2008 (2008)
Pascal Raymond, Yvan Roux, Erwan Jahier
Specifying and Executing Reactive Scenarios With Lutin. Electron. Notes Theor. Comput. Sci. 203 (4) (2008)
Pascal Raymond, Erwan Jahier, Yvan Roux
Describing and Executing Random Reactive Systems. SEFM (2006)
Pascal Raymond, Yvan Roux
Describing Non-Deterministic Reactive Systems by Means of Regular Expressions. Electron. Notes Theor. Comput. Sci. 65 (5) (2002)