Research themes
I am interested in specifying and formally verifying concurrent systems. My research focuses especially on verification of timed systems (or real-time systems) under uncertainty, i.e., with timing parameters, and notably on parametric timed model-checking. I am also interested in monitoring cyber-physical systems, and in detecting side-channel attacks using quantitative formal methods.
My research projects
Projects of which I am the principal investigator
| Year | Call | Project name | Role | Budget |
|---|---|---|---|---|
| 2024–2025 | PHC Polonium 🇫🇷 🇵🇱 | MoCcA Analyses of multi-agent systems |
PI | 3k€ (*2) 6 permanent members |
| 2020–2024 | ANR-NRF 🇫🇷 🇸🇬 | ProMiS Provable Mitigation of Side Channel through Parametric Verification |
PI | 276k€ (*2) 5 permanent members |
| 2020 | IFD 🇫🇷 🇩🇰 | SECReTS Synthesis of Energy-optimal Constraints for REal-Time Systems |
PI | 3k€ 4 permanent members |
| 2014–2019 | ANR 🇫🇷 | PACS Parametric analyses of concurrent systems |
PI | 450k€ 8 permanent members |
| 2018 | DIM RFSI 🇫🇷 | ASTREI Analyse de systèmes temps-réel modélisés par Time4sys en présence d’incertitude |
PI | 10k€ 1 permanent members |
| 2014–2015 | CNRS–PAN 🇫🇷 🇵🇱 | BehaPPi-BMC Behavior preserving parametric bounded model checking |
Co-PI | 8k€ 4 permanent members |
| 2014 | BQR 🇫🇷 | SynPaTiC Synthèse de paramètres temporels distribuée et multi-cœurs |
PI | 15k€ 2 permanent members |
| 2013 | Actions émergentes GDR GPL 🇫🇷 | IOP Intégration d’outils à la plate-forme CosyVerif |
PI | 2k€ 1 permanent members |
| 2012–2014 | PHC Merlion 🇫🇷 🇸🇬 | BRAVOS Software Verification from Design to Implementation |
Co-PI | 30k€ 6 permanent members |
Project participant
| Year | Call | Project name | PI | Budget |
|---|---|---|---|---|
| 2025–2029 | ANR 🇫🇷 | TAPAS Time-Aware Proof ASsistants |
Frédéric Mallet | < 700k€ (?) 16 permanent members |
| 2023–2027 | ANR 🇫🇷 | BisoUS Better Synthesis for Underspecified Quantitative Systems |
Didier Lime | 409k€ 15 permanent members |
| 2018–2019 | ERATO 🇯🇵 | MMSD Metamathematics for Systems Design |
Ichiro Hasuo (蓮尾 一郎) | 10000k€ >20 permanent members |
| 2019–2020 | PICS 🇫🇷 🇵🇱 | PARTIES verification of PARametric TIme constrained strategic abilitiES for agents acting under incomplete information |
Laure Petrucci | 8k€ 7 permanent members |
| 2018–2019 | PHC Van Gogh 🇫🇷 🇳🇱 | PAMPAS Parallel algorithms for model-checking and parameter synthesis |
Laure Petrucci | 7k€ 11 permanent members |
| 2018 | BQR 🇫🇷 | AMoJAS Arbres attaque-défense et Modèles de Jeux pour l’Analyse de la Sécurité |
Laure Petrucci | 6k€ 7 permanent members |
| 2015 | PEPS JCJC 🇫🇷 | PSyCoS Parallel SYnthesis for COncurrent Systems |
Camille Coti | 10k€ 2 permanent members |
| 2013–2014 | STIC Asie 🇫🇷 🇸🇬 🇻🇳 | CATS Compositional analysis of timed systems |
Laure Petrucci | 34k€ 6 permanent members |
| 2013 | PHC Merlion 🇫🇷 🇸🇬 | FSFMA French Singaporean Workshop on Formal Methods and Applications |
Christine Choppy + Sun Jun | 8k 9 permanent members |
| 2010 | PHC Galilée 🇫🇷 🇮🇹 | Synthèse et contraintes | Laurent Fribourg | 12k€ 3 permanent members |
| 2007–2010 | ANR 🇫🇷 | VALMEM Validation fonctionnelle et temporelle des mémoires embarquées, décrites au niveau transistor, par des méthodes formelles |
Laurent Fribourg | 572k€ 7 permanent members |
| 2007–2009 | Institut Farman 🇫🇷 | SIMOP Simulation et model-checking paramétré |
Laurent Fribourg | 20k€ 6 permanent members |
My program committee and evaluations
Steering committees membership
GT AFSEC (2025-…) · SynCoP: 2014, 2015, 2016, 2017, 2018, 2019, 2022, 2023, 2024, 2025, 2026. · MeFoSyLoMa (2017-2019, 2023-2025) · Petri Nets (2024-2026)
Conferences organisation
SynCoP 2025 (co-general chair) · Petri Nets 2025 (co-general chair) · ETAPS 2023 (proceedings chair + Extended Stay Support Scheme organizer) · Petri Nets 2021 (co-general chair) · Petri Nets 2020 @ Paris Nord Summer of LoVe (co-general chair) · ICFEM 2015 (workshop chair) · FSFMA 2014 (co-general chair)
PhD theses reviewed
- 2024 — Yushi Cao, Nanyang Technological University 🇸🇬
- 2024 — Tomáš Kolárik, Czech technical university in Prague 🇨🇿
- 2023 — Akshay Mambakam, Université Grenoble Alpes 🇫🇷
- 2022 — Bastien Serée, École Centrale Nantes
- 2021 — Léo Henry, Université de Rennes 1
- 2020 — Clément Bertrand, Université d’Evry, Université Paris-Saclay 🇫🇷
- 2020 — Victor Roussanaly, Université de Rennes 1
- 2020 — Jiao Jiao, Nanyang Technological University 🇸🇬
- 2019 — Du Xiaoning, Nanyang Technological University 🇸🇬
- 2018 — Wang Junjie, Nanyang Technological University 🇸🇬
- 2018 — Chandramohan Mahinthan, Nanyang Technological University 🇸🇬
- 2017 — Wu Zhimin, Nanyang Technological University 🇸🇬
- 2013 — Zhu Huiquan, National University of Singapore 🇸🇬
Scientific expertise
| Year | Institution | |
|---|---|---|
| 2020 | 🇯🇵 | EIG CONCERT-Japan |
| 2015, 2016 | 🇫🇷 | Agence nationale de la recherche |
| 2014 | 🇳🇱 | Nederlandse Organisatie voor Wetenschappelijk Onderzoek |
