Yvan Roux

According to our database, Yvan Roux authored at least 4 papers between 2002 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

Lutin: A Language for Specifying and Executing Reactive Scenarios.

Pascal Raymond, Yvan Roux, Erwan Jahier

EURASIP J. Embed. Syst., 2008

2007

Specifying and Executing Reactive Scenarios With Lutin.

Pascal Raymond, Yvan Roux, Erwan Jahier

Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, 2007

2006

Describing and Executing Random Reactive Systems.

Pascal Raymond, Erwan Jahier, Yvan Roux

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

2002

Describing Non-Deterministic Reactive Systems by Means of Regular Expressions.

Pascal Raymond, Yvan Roux

Proceedings of the Synchronous Languages, Applications, and Programming, 2002