Projets de recherche
Porteur de projets
| Année | Appel | Projet | Rôle | Membres | Budget |
|---|---|---|---|---|---|
| 2024–2025 | PHC Polonium 🇫🇷 🇵🇱 |
MoCcA Analyses of multi-agent systems |
Porteur | 6 | 3k€ (*2) |
| 2020–2024 | ANR-NRF 🇫🇷 🇸🇬 |
ProMiS Provable Mitigation of Side Channel through Parametric Verification |
Porteur | 5 | 276k€ (*2) |
| 2020 | IFD 🇫🇷 🇩🇰 |
SECReTS Synthesis of Energy-optimal Constraints for REal-Time Systems |
Porteur | 4 | 3k€ |
| 2014–2019 | ANR 🇫🇷 |
PACS Parametric analyses of concurrent systems |
Porteur | 8 | 450k€ |
| 2018 | DIM RFSI 🇫🇷 |
ASTREI Analyse de systèmes temps-réel modélisés par Time4sys en présence d’incertitude |
Porteur | 1 | 10k€ |
| 2014–2015 | CNRS–PAN 🇫🇷 🇵🇱 |
BehaPPi-BMC Behavior preserving parametric bounded model checking |
Co-porteur | 4 | 8k€ |
| 2014 | BQR 🇫🇷 |
SynPaTiC Synthèse de paramètres temporels distribuée et multi-cœurs |
Porteur | 2 | 15k€ |
| 2013 | Actions émergentes GDR GPL 🇫🇷 |
IOP Intégration d’outils à la plate-forme CosyVerif |
Porteur | 1 | 2k€ |
| 2012–2014 | PHC Merlion 🇫🇷 🇸🇬 |
BRAVOS Software Verification from Design to Implementation |
Co-porteur | 6 | 30k€ |
Participant à des projets
| Année | Appel | Projet | Porteur | Membres | Budget |
|---|---|---|---|---|---|
| 2025–2029 | ANR 🇫🇷 |
TAPAS Time-Aware Proof ASsistants |
Frédéric Mallet | 16 | < 700k€ (?) |
| 2023–2027 | ANR 🇫🇷 |
BisoUS Better Synthesis for Underspecified Quantitative Systems |
Didier Lime | 15 | 409k€ |
| 2018–2019 | ERATO 🇯🇵 |
MMSD Metamathematics for Systems Design |
Ichiro Hasuo (蓮尾 一郎) | >20 | 10000k€ |
| 2019–2020 | PICS 🇫🇷 🇵🇱 |
PARTIES verification of PARametric TIme constrained strategic abilitiES for agents acting under incomplete information |
Laure Petrucci | 7 | 8k€ |
| 2018–2019 | PHC Van Gogh 🇫🇷 🇳🇱 |
PAMPAS Parallel algorithms for model-checking and parameter synthesis |
Laure Petrucci | 11 | 7k€ |
| 2018 | BQR 🇫🇷 |
AMoJAS Arbres attaque-défense et Modèles de Jeux pour l’Analyse de la Sécurité |
Laure Petrucci | 7 | 6k€ |
| 2015 | PEPS JCJC 🇫🇷 |
PSyCoS Parallel SYnthesis for COncurrent Systems |
Camille Coti | 2 | 10k€ |
| 2013–2014 | STIC Asie 🇫🇷 🇸🇬 🇻🇳 |
CATS Compositional analysis of timed systems |
Laure Petrucci | 6 | 34k€ |
| 2013 | PHC Merlion 🇫🇷 🇸🇬 |
FSFMA French Singaporean Workshop on Formal Methods and Applications |
Christine Choppy + Sun Jun | 9 | 8k |
| 2010 | PHC Galilée 🇫🇷 🇮🇹 |
Synthèse et contraintes | Laurent Fribourg | 3 | 12k€ |
| 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 | 7 | 572k€ |
| 2007–2009 | Institut Farman 🇫🇷 |
SIMOP Simulation et model-checking paramétré |
Laurent Fribourg | 6 | 20k€ |
Comités de programme et évaluations
Comités de programme
- 2027
- 2026
-
- 🇯🇵FM 2026 (artifact evaluation co-chair)
HSCC/ICCPS 2026- 🏴ICFEM 2026 (PC co-chair)
- 🏴QEST+FORMATS 2026
- 🇨🇳RTCSA 2026
- 🇬🇷SAC 2026
- 🇮🇹TACAS 2026
- 🇮🇪TIME 2026
- 2025
- 2024
- 2023
-
- 🇫🇷ABZ 2023
- 🇸🇬ATVA 2023 (PC co-chair)
- 🇵🇹FTSCS 2023
- 🇺🇸HSCC 2023
- 🇫🇷ICECCS 2023
- 🇦🇺ICFEM 2023
- 2022
- 2021
- 2020
- 2019
- 2018
- 2017
- 2016
- 2015
-
- 🇳🇴ESSS 2015
- 🏴SynCoP 2015 (PC co-chair)
- 🇨🇭ICOST 2015
- 🇨🇳PRDC 2015
- 🇫🇷ICFEM 2015 (+ workshop chair)
- 🇫🇷FTSCS 2015
- 🇻🇳ACOMP 2015
- 🇮🇳FOR-MOVES 2015
- 🇦🇺ICECCS 2015 (+ publicity chair)
- 🇦🇺ICECCS 2015 doctoral symposium
- 2014
-
- 🇸🇬FSFMA 2014 (general chair)
- 🇸🇬ESSS 2014
- 🇫🇷SynCoP 2014 (PC co-chair)
- 🇨🇳ICECCS 2014 (PC chair)
- 🇸🇬PRDC 2014
- 🇻🇳ACOMP 2014
- 🇮🇹LOPSTR 2014
- 🇫🇷FOR-MOVES 2014
- 2013
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
| Année | Doctorant⋅e | Institution |
|---|---|---|
| 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 |