Photo
Olivier H. Roux
Professeur
Responsable de l'équipe Systèmes Temps Réel
Address:
IRCCyN / École Centrale de Nantes
1, rue de la Noë, B.P. 92101
44321 Nantes Cedex 3, France
Tel: de l'étranger: +33 2 40 37 69 76 - de France: 02 40 37 69 76
Fax: de l'étranger: +33 2 40 37 69 30 - de France: 02 40 37 69 30
Email: pas-de-spam.olivier-h.roux@irccyn.ec-nantes.fr (retirer "pas-de-spam.")
Drapeau anglais

Ne pas confondre avec Olivier (F.) Roux (également professeur à l'École Centrale de Nantes et membre de l'IRCCyN)

Enseignement | Recherche | Contrats et projets | Outil | Publications | Evénements passés et à venir

Enseignement (École Centrale de Nantes)

Recherche (IRCCyN)

Mes travaux portent sur la vérification et le contrôle d'applications temps réel :

- Expressivité de modèles temporisés

- Model-checking et contrôle des reseaux de Petri temporels et à chronomètres (stopwatches)

- Extension parametrique des réseaux de Petri temporels et à chronomètres et des automates temporisés

Contrats, projets et groupes de recherche

Contrats industriels

Projets

Groupe de recherche CNRS

Outil

L'ensemble de ces travaux sur les réseaux de Petri conduit à des implémentations qui sont intégrés dans l'atelier logiciel Roméo (une version expérimentale pour plate-formes Linux, MAC OSX et Windows est actuellement disponible sur le site web de Roméo). L'atelier logiciel Roméo consiste en une interface graphique écrite en tcl/tk et un module de calcul écrit en C++. Les résultats obtenus sont (lorsqu'il s'agit d'un automate temporisé) fournis sous la forme de fichiers au format d'Uppaal ou de Kronos.

Publications

Quelques publications ici

Google scholar
DBLP

Evénements passés et à venir

WODES 2016 - PC member
SynCoP 2016 - PC member
CISEA 2016 - PC member
MSR'15 - Steering committee
SynCoP 2015 - PC member
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
Dernière mise à jour le 5 octobre 2015 par Olivier Roux