See the english version of this page
Recherche
Je m'intéresse principalement aux modèles temporisés, avec des applications, entre autres, aux systèmes temps réel embarqués. Plus précisément, je travaille sur:
- Les automates temporisés, les réseaux de Petri temporels ainsi que leurs extensions hybrides ou paramétrées
- Le model-checking (paramétré)
- Les jeux temporisés (contrôle)
- Les dépliages temporisés
Publications
Voici la liste de mes publications
ainsi que le fichier BibTex correspondant.
Une partie de ces informations est également disponible sur DBLP ou Google Scholar.
Outils logiciels
Je participe au développement de deux logiciels :
- Romeo :
Un outil pour la simulation, la vérification et le contrôle des réseaux de
Petri temporels (cf. [GMLR05,LRST09]) ;
- Uppaal-Tiga : Une extension
d'Uppaal pour la synthèse de contrôleurs
temporisés pour des systèmes modélisés sous la forme de jeux temporisés (cf. [CDF+05,BCD+07]);
- LaRA: Un outil pour l'accessibilité à la demande dans les produits d'automates (temporisés) (cf. [JL16, JL17]).
Projets
Je suis impliqué :
- Better Synthesis for Quantitative Underspecified Systems (BisoUS), 2023-2027, ANR PRC 2022, Porteur.
- Provable Mitigation of Side Channel through Parametric Verification (ProMiS), 2020-2023, ANR PRCI 2020.
Et précédemment dans les projets suivant :
- "Parametric Analysis of Concurrent Systems" (PACS, 2014-2019, ANR BLANC 2014),
- "Energy proportional and opportunistic computing systems" (EPOC, 2013-2017, Labex COMIN Labs),
- "Approches Formelles pour les Systèmes Embarqués Communicants en Pays de la Loire" (AFSEC-PDL, 2013-2016, région Pays de la Loire),
- "Implementabilité and Robusesse des Systèmes Temprorisés" (ImpRo, 2010-2014, ANR BLANC 2010, Porteur),
- "Distributed Open Timed Systems" (DOTS, 2006-2010, ANR SETI 2006),
- "Control and Observation of Real-Time Open Systems" (ACI CORTOS),
Doctorants
- Louis-Marie Traonouez (2006-2009, avec David Delfieu et Olivier H. Roux)
- Gilles Benattar (2007-2011, avec Olivier H. Roux)
- Aleksandra Jovanović (2010-2013, avec Olivier H. Roux)
- Adrien Quillet (2013-2014, avec Audrey Queudet)
- Nicolas David (2014-2017, avec Claude Jard)
- Mathias Ramparison (2016-2019, avec Étienne André)
- Bastien Sérée (depuis 2018, avec Loïg Jezequel)
- Peidong Zhang (depuis 2019, avec Loïg Jezequel)
- Loriane Leclercq (depuis 2021, avec Olivier H. Roux)
- Anthony Spriet(depuis 2022, avec Olivier H. Roux)
Enseignement
J'enseigne à l'École Centrale
de Nantes les sujets suivants :
- Théorie des langages et compilation
- Algorithmique avancée
- Théorie et algorithmique des jeux
- Intelligence Artificielle
Et précédemment :
- Programmation fonctionnelle (Haskell)
- Algorithmique et Programmation (C)
- Programmation orientée objet (Java et C++)
- Systèmes d'exploitation
- Systèmes temps réel
J'ai aussi enseigné aussi la Modélisation et Vérification dans le Master CORO ERTS.
Il y a longtemps, j'ai également enseigné à l'IMT Atlantique (alors École des
Mines de Nantes) :
- Systèmes et réseaux
- Programmation fonctionnelle (Haskell)
Liens utiles
Événements dans lesquels je suis (ou j'étais) impliqué
Des outils logiciels
