Photo
Olivier H. Roux
Professeur
Adresse:
LS2N / É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@ec-nantes.fr (retirer "pas-de-spam.")
Drapeau anglais

Enseignement | Recherche | Responsabilités | 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

Responsabilités administratives et scientifiques

Groupe de recherche CNRS :

Contrats et projets

Contrats industriels

Projets

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

VECOS 2024 - PC member
WODES 2024 - PC member
CODIT 2024 - PC member
FASSI 2024 - PC member
SED 2024 - PC member
EMSOFT 2023 - PC member
MSR 2023 - Steering committee
VECOS 2023 - PC member
CODIT 2023 - PC member
FASSI 2023 - PC member
WODES 2022 - PC member
VECOS 2022 - PC member
FASSI 2022 - PC member
MSR 2021 - Steering committee
FASSI 2021 - PC member
WODES 2020 - PC member
PETRI NETS 2020 - PC member
CODIT 2020 - PC member
FASSI 2020 - PC member
PETRI NETS 2019 - PC member
MSR 2019 - Steering committee
CODIT 2019 - PC member
FASSI 2019 - PC member
PETRI NETS 2018 - PC co-chair
WODES 2018 - PC member
FASSI 2018 - PC member
FORMATS 2017 - PC member
MSR 2017 - Steering committee
IESM 2017 - PC member
FASSI 2017 - PC member
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
Dernière mise à jour le 8 mars 2024 par Olivier Roux