Thématiques de recherche
Je m’intéresse à la spécification et à la vérification formelle de systèmes distribués, notamment temporisés. Ma recherche porte particulièrement sur la vérification de systèmes temporisés (voire temps-réel) en présence de paramètres temporels, et notamment au model-checking paramétré. Je m’intéresse également au monitoring de systèmes cyber-physiques, ainsi qu’à la détection d’attaques par canaux cachés à l’aide de model-checking quantitatif.
Projets de recherche
Porteur de projets
| Année | Appel | Projet | Rôle | Budget |
|---|---|---|---|---|
| 2024–2025 | PHC Polonium 🇫🇷 🇵🇱 | MoCcA Analyses of multi-agent systems |
Porteur | 3k€ (*2) 6 membres |
| 2020–2024 | ANR-NRF 🇫🇷 🇸🇬 | ProMiS Provable Mitigation of Side Channel through Parametric Verification |
Porteur | 276k€ (*2) 5 membres |
| 2020 | IFD 🇫🇷 🇩🇰 | SECReTS Synthesis of Energy-optimal Constraints for REal-Time Systems |
Porteur | 3k€ 4 membres |
| 2014–2019 | ANR 🇫🇷 | PACS Parametric analyses of concurrent systems |
Porteur | 450k€ 8 membres |
| 2018 | DIM RFSI 🇫🇷 | ASTREI Analyse de systèmes temps-réel modélisés par Time4sys en présence d’incertitude |
Porteur | 10k€ 1 membres |
| 2014–2015 | CNRS–PAN 🇫🇷 🇵🇱 | BehaPPi-BMC Behavior preserving parametric bounded model checking |
Co-porteur | 8k€ 4 membres |
| 2014 | BQR 🇫🇷 | SynPaTiC Synthèse de paramètres temporels distribuée et multi-cœurs |
Porteur | 15k€ 2 membres |
| 2013 | Actions émergentes GDR GPL 🇫🇷 | IOP Intégration d’outils à la plate-forme CosyVerif |
Porteur | 2k€ 1 membres |
| 2012–2014 | PHC Merlion 🇫🇷 🇸🇬 | BRAVOS Software Verification from Design to Implementation |
Co-porteur | 30k€ 6 membres |
Participant à des projets
| Année | Appel | Projet | Porteur | Budget |
|---|---|---|---|---|
| 2025–2029 | ANR 🇫🇷 | TAPAS Time-Aware Proof ASsistants |
Frédéric Mallet | < 700k€ (?) 16 membres |
| 2023–2027 | ANR 🇫🇷 | BisoUS Better Synthesis for Underspecified Quantitative Systems |
Didier Lime | 409k€ 15 membres |
| 2018–2019 | ERATO 🇯🇵 | MMSD Metamathematics for Systems Design |
Ichiro Hasuo (蓮尾 一郎) | 10000k€ >20 membres |
| 2019–2020 | PICS 🇫🇷 🇵🇱 | PARTIES verification of PARametric TIme constrained strategic abilitiES for agents acting under incomplete information |
Laure Petrucci | 8k€ 7 membres |
| 2018–2019 | PHC Van Gogh 🇫🇷 🇳🇱 | PAMPAS Parallel algorithms for model-checking and parameter synthesis |
Laure Petrucci | 7k€ 11 membres |
| 2018 | BQR 🇫🇷 | AMoJAS Arbres attaque-défense et Modèles de Jeux pour l’Analyse de la Sécurité |
Laure Petrucci | 6k€ 7 membres |
| 2015 | PEPS JCJC 🇫🇷 | PSyCoS Parallel SYnthesis for COncurrent Systems |
Camille Coti | 10k€ 2 membres |
| 2013–2014 | STIC Asie 🇫🇷 🇸🇬 🇻🇳 | CATS Compositional analysis of timed systems |
Laure Petrucci | 34k€ 6 membres |
| 2013 | PHC Merlion 🇫🇷 🇸🇬 | FSFMA French Singaporean Workshop on Formal Methods and Applications |
Christine Choppy + Sun Jun | 8k 9 membres |
| 2010 | PHC Galilée 🇫🇷 🇮🇹 | Synthèse et contraintes | Laurent Fribourg | 12k€ 3 membres |
| 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 membres |
| 2007–2009 | Institut Farman 🇫🇷 | SIMOP Simulation et model-checking paramétré |
Laurent Fribourg | 20k€ 6 membres |
Comités de programme et évaluations
Comités de pilotage
GT AFSEC (2025-…) · SynCoP: 2014, 2015, 2016, 2017, 2018, 2019, 2022, 2023, 2024, 2025, 2026. · MeFoSyLoMa (2017-2019, 2023-2025) · Petri Nets (2024-2026)
Organisation de congrès
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)
Rapporteur de thèses de doctorat
- 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 🇸🇬
Expert scientifique
| Année | Institution | |
|---|---|---|
| 2020 | 🇯🇵 | EIG CONCERT-Japan |
| 2015, 2016 | 🇫🇷 | Agence nationale de la recherche |
| 2014 | 🇳🇱 | Nederlandse Organisatie voor Wetenschappelijk Onderzoek |
