Photograph
Olivier H. Roux
Full Professor
Head of the Real Time Systems group
Address:
IRCCyN / École Centrale de Nantes
1, rue de la Noë B.P. 92101
44321 Nantes Cedex 3, France
Tel: from abroad: +33 2 40 37 69 76 - from France: 02 40 37 69 76
Fax: from abroad: +33 2 40 37 69 30 - from France: 02 40 37 69 30
Email: no-spam.olivier-h.roux@irccyn.ec-nantes.fr (remove "no-spam.")
French flag

Not to be confused with Olivier (F.) Roux (also professor at École Centrale de Nantes and member of IRCCyN)

Teaching | Research | Contracts, projects and research groups | Tool | Publications | Upcoming & Past Events

Teaching (École Centrale de Nantes)

Research (IRCCyN)

My work concerns the model-checking and the control of real-time systems:

- Expressiveness of Timed models

- Model-checking and control of Time Petri Nets and Stopwatch Petri Nets

- Parametric extensions of Time Petri Nets, Stopwatch Petri Nets and Timed Automata

Contracts, projects and research groups

Industrial contracts

Projects

I am involved in

CNRS research groups

Tool

These works on Petri Nets lead to implementations which are integrated in the Roméo software workshop (an experimental version for Linux, Mac OSX and Windows is available on the Roméo Web Site). Roméo consists of a graphic interface written in tcl/tk and a computation module written in C++. TA obtained are provided in the input format of Uppaal or Kronos.

Publications

Some Publications can be found here

Google scholar
DBLP

Upcoming & Past Events

MOVEP 2014 - Co-organizer
SynCoP 2014 - PC member
VECOS 2013 - PC member
FORMATS 2013 - PC member
MSR'13 - Steering committee
CODIT 2013 - PC member
ICMCSD 2013 - PC member
MOVEP 2012 - PC member
FORMATS 2012 - PC member
ESDA 2012 - Round table co-chair
VECOS 2012 - PC member
LATA 2012 - PC member
SUMo 2011 - PC member
MSR'11 - PC member
ETR 2011 - PC member
Petri Nets 2011 - PC member
DOTS'10 - PC member
VECoS'10 - PC member
APNOC'10 - PC member
Petri Nets 2010 - PC member
SUMo'2010 - PC member
MSR'09 - PC chair and organizer
TiSto'09 - PC co-chair
APNOC'09 - PC member
ETR'09 - PC member
MSR'07 - PC member
ETR'07 - PC member and co-organizer
Last updated July 07, 2014 by Olivier Roux