Research area
My area of expertise is formal specification and verification of concurrent systems so as to guarantee their appropriate behaviour, using automata or Petri nets models, as well as parametric models. In order to tackle the well-known state space explosion problem, the research I develop exploits modularity in the models, proposes distributed approaches, and algorithms for parameter synthesis.
Projects
Principal Investigator
| Year | Call | Project Name | Budget |
|---|---|---|---|
| 2022-2023 |
IEA CNRS-PAN
🇫🇷 🇵🇱 |
MoSART
Model-checking Strategic Abilities of Real-Time Asynchronous Agents |
13k€ |
| 2020-2021 |
CNRS-INS2I
🇫🇷 🇩🇰 |
TrAVAIL
Transversal Approaches of Verification, Abstract Interpretation, and Logic |
17k€ |
| 2019-2021 |
PICS CNRS-PAN
🇫🇷 🇵🇱 |
PARTIES
Verification of parametric time constrained strategic abilities of agents acting under incomplete information |
10k€ |
| 2018-2019 |
PHC Van Gogh
🇫🇷 🇳🇱 |
PAMPAS
Parallel Algorithms for Model-Checking and Parallel Synthesis |
9k€ |
| 2018 | BQR Paris 13 🇫🇷 🇳🇱 🇵🇱 |
AMoJAS
Attack-Defence Trees and Games Models for Security Analysis |
6k€ |
| 2013–2014 | STIC Asie
🇫🇷 🇸🇬 🇻🇳 |
CATS
Compositional analysis of timed systems |
34k€ |
| 2012 | SREI Paris 13 🇫🇷 🇳🇴 |
Collaboration with the University of Technology in Bergen, Norway | 3k€ |
| 2009-2011 | FEDER 🇫🇷 |
NEOPPOD
Verification of the NEO distributed data bases protocol |
1000k€ |
| 2008 | SREI Paris 13 🇫🇷 🇦🇺 |
Collaboration with the University of Adelaide, Australia | 4k€ |
| 2008 | BQR Paris 13 |
PROVISO
Plate-foRme d'Outils de VérIfication pour les Systèmes cOmplexes |
10k€ |
| 2004-2006 | PAI 🇫🇷 🇦🇺 |
Modular Analysis Techniques | 30k€ |
| 2004 | SREI Paris 13 🇫🇷 🇩🇰 |
Collaboration with the University of Århus, Denmark | 2k€ |
| 2000–2001 | CNRS–SNF
🇫🇷 🇩🇰 |
Collaboration with the universities of Århus and Aalborg, Denmark | 20k€ |
| Total | 1133k€ | ||
Participant in projects
| Year | Call | Project name | PI | Budget |
|---|---|---|---|---|
| 2024-2028 active |
IRP CNRS
🇫🇷 🇵🇱 |
Le Trójkąt | Nathanaël Fijalkow | |
| 2024-2028 en cours |
IR CNRS
🇫🇷 🇩🇰 |
CLoVe | Thomas Seiller | |
| 2024-2025 active |
PHC Polonium
🇫🇷 🇵🇱 |
MoCca
Analyses of multi-agent systems |
Étienne André | 12k€ |
| 2023–2027 active |
ANR
🇫🇷 |
BisoUS
Better synthesis for underspecified quantitative systems |
Didier Lime | 409k€ |
| 2023-2024 active |
PHC Aurora
🇫🇷 🇳🇴 |
AESIR
Timed strAtegies for rEwrite-based Symbolic analysIs of Real-time systems |
Carlos Olarte | 7k€ |
| 2023 active |
BQR Paris 13 🇫🇷 🇧🇪 |
AFoDOP
Approche Formelle pour un Déploiement Optimisé des Processus |
Samir Youcef | 5k€ |
| 2022 |
CNRS-INS2I
🇫🇷 🇳🇴 |
ESPRiTS
Extending Synthesis of Parameters to RewrIting Timed Systems |
Carlos Olarte | 9k€ |
| 2022 |
BQR Paris 13 🇫🇷 🇨🇴 |
SEMANTIQUE
Spécification et vÉrification des systèMes multimédiAs iNteracTifs : une approche basée sur la logIQue de réécritUrE |
Carlos Olarte | 7k€ |
| 2020-2021 |
IFD
🇫🇷 🇩🇰 |
SECReTS
Synthesis of energy-optimal constraints for real-time systems |
Étienne André | |
| 2019 | BQR Paris 13 🇫🇷 🇨🇴 |
MEASURE
Games model for structured and interactive musical improvisation |
Jaime Arias | 6k€ |
| 2014–2019 |
ANR
🇫🇷 |
PACS
Parametric analyses of concurrent systems |
Étienne André | 450k€ |
| 2014–2015 | CNRS–PAN
🇫🇷 🇵🇱 |
BehaPPi-BMC
Behavior preserving parametric bounded model checking |
Étienne André | 8k€ |
Committees (journals and conferences)
Programme committees
- 2024
-
- QEST+FORMATS 2024
- PENGE 2024 (PC chair)
- PNSE 2024
- 2023
-
- EAEEIE 2023
- FORMATS 2023 (PC chair)
- ICECCS 2023
- MSR 2023
- PENGE 2023 (PC chair)
- PetriNets 2023
- PNSE 2023
- 2022
-
- EAEEIE 2022
- PetriNets 2022 (PC chair)
- 2021
- 2020
- 2019
- 2018
- 2017
-
- EAEEIE 2017
- FMICS-AvoCS 2017 (PC chair)
- MSR 2017
- PNSE 2017
- WETICE 2017
- 2016
- 2015
- 2014
-
- FSFMA 2014 (PC chair)
- PNSE 2014
- WETICE 2014
- 2013
-
- PNSE 2013
- WETICE 2013
- 2012
-
- Monterey 2012
- CompoNet 2012
- Petri Nets 2012
- PNSE 2012
- WooPS 2012
- 2011
-
- CompoNet 2011
- Petri Nets 2011 (PC chair)
- PNSE 2011
- 2010
- 2009
-
- ACSD 2009
- ADA-Europe/RST 2009
- CPN 2009
- ISPS 2009
- Petri Nets 2009
- PNSE 2009
- 2008
-
- ACSD 2008
- ADA-Europe/RST 2008
- CPN 2008
- ECMS 2008
- ICCSA 2008
- PNDS 2008
- PNTAP 2008 (PC chair)
- VECOS 2008
- 2007
-
- ACSD 2007
- ADA-Europe/RST 2007
- CPN 2007
- ISPS 2007
- Petri Nets 2007
- PNS 2007 (PC chair)
- TeaConc 2007
- 2006
-
- ACSD 2006 (PC chair)
- CPN 2006
- Petri Nets 2006
- PNML 2006
- TeaConc 2006
- 2005
-
- ACSD 2005
- CooPN 2005
- CPN 2005
- IFPN 2005
- ISPS 2005
- 2004
-
- ACSD 2004
- CPN 2004
- IFPN 2004
- 2002
-
- CPN 2002
- 2001
-
- CPN 2001
- 2000
-
- CPN 2000
- 1999
-
- CPN 1999
- 1998
-
- CPN 1998
- 1996
-
- Petri Nets 1996
Organising committees
| Year | Conference | Location |
|---|---|---|
| 2023 | ETAPS and SPIN European Joint Conferences on Theory and Practice of Software International Symposium on Model Checking of Software |
Paris, France |
| 2021 | Petri Nets (virtual) International Conference on Application and Theory of Petri Nets and Concurrency |
Paris-Saint-Denis, France |
| 2020 | Petri Nets (virtual) International Conference on Application and Theory of Petri Nets and Concurrency |
Paris-Aubervilliers, France | 2019 | SynCoP International Workshop on Synthesis of Complex Parameters |
Prague, Czech Republic |
| 2016 | OSIS Sécurité Journée OSIS - Sécurité, sûreté et confidentialité |
Villetaneuse, France |
| 2012 | FM International Symposium on Formal Methods |
Paris, France |
| 2009 | Petri Nets International Conference on Application and Theory of Petri Nets |
Paris, France |
| 2008 | PMC Workshop on Process Model Construction |
Klagenfurt, Autriche |
| 2005 | MOMPES Workshop on Model-based Methodologies for Pervasive and Embedded Software (satellite event of ACSD 2005) |
Saint-Malo, France |
| 2002 | Petri Nets International Conference on Application and Theory of Petri Nets |
Adelaide, Australia |
| 2001 | CAV International Conference on Computer-Aided Verification |
Paris, France |
| 1992 | STACS International Symposium on Theoretical Aspects of Computer Science |
Cachan, France |
Steering committees
| Years | Conference |
|---|---|
| 2023-... | PetriNets International conference on Petri nets and other models of concurrency |
| 2022-... | ETAPS European joint conferences on Theory and Pratice of Software |
| 2014-... | SynCoP Workshop on Synthesis of complex Parameters (satellite event of ETAPS) |
| 1994-1997 | STACS Symposium on Theoretical Aspects of Computer Science |
Editorial boards
| Year | Journal |
|---|---|
| 2008-... | ToPNoC Transactions on Petri Nets and Other Models of Concurrency |
| 2013 | Special issue of FI Fundamenta Informaticae |
| 2008 | Special issue of FI Fundamenta Informaticae |
Expert for organisations
| Years | Organisation |
|---|---|
| 2021, 2019 | HCERES🇫🇷 Haut Conseil de l'Évaluation de la Recherche et de l'Enseignement |
| 2020-2022 | IUF🇫🇷 Institut Universitaire de France |
| 2019-... 2000-2003 |
CNU 27🇫🇷 Conseil National des universités |
| 2017-2023 | CPN GEII/RT🇫🇷 Commission Pédagogique Nationale |
| 2004-... | ISO International Standards Organisation |
| 2017-2019 | AmSud South America |
| 2006, 2017 | ANR🇫🇷 Agence Nationale de la Recherche |
| 2012, 2014, 2016 | ANRT🇫🇷 Agence Nationale de la Recherche et de la Technologie |
| 2004, 2005, 2012 | NWO🇳🇱 Netherlands Organisation for Scientific Research |
| 2009 | INRIA🇫🇷 Institut National de Recherche en Informatique et en Automatique |
| 2006 | CRSNG🇨🇦 Conseil de Recherches en Sciences Naturelles et en Génie du Canada |
| 2004 | FQRNT🇨🇦 Fonds Québecquois de la Recherche sur la Nature et les Technologies |
| 2001 | ANVAR🇫🇷 Agence Nationale de Valorisation de la Recherche |
Students supervision
Doctoral students
| Year | Name | Subject | Co-supervisor | |
|---|---|---|---|---|
| 2022-... | Baptiste Fiévet | SYNthesis in PArametric TImed games with Concurrency and data | Jaco van de Pol | 50% |
| 2018-2021 | Daniel Torres | Application-based fault tolerance for numerical linear algebra at large scale | Camille Coti | 50% |
| 2015-2018 | Hoàng Gia Nguyễn | Efficient Parametric Verification of Parametric Timed Automata | Étienne André | 50% |
| 2015-... | Thi Thanh Huyen Nguyen | Distributed Model Checking of Concurrent Systems | Camille Coti & César Rodríguez | 30% |
| 2009-2013 | Naïm Aber | Abstraction and anlysis of the state space of Time Petri nets | Kaïs Klai | 30% |
| 2009-2012 | Anna Dedova | Specification and verification of the NEO distributed storage protocol | Sami Evangelista | 70% |
| 2004-2012 | Mohand Cherif Boukala | Distributed verification | (thèse d'État USTHB, Algérie) | |
| 2009-2012 | Alfred Sanogo | Design methodology for Petri net models ; Coloured Petri nets refinement | Christine Choppy | 50% |
| 2003-2007 | Hager Karoui | Peer-to-peer cooperative recommendation systems: application to bibliographic references management and recommendation | Rushed Kanawati | 50% |
| 2002-2005 | Sébastien Bardin | Towards model checking with flat acceleration of heterogeneous systems | Alain Finkel | 50% |
Post-docs
| Year | Name | Duration | Co-supervisor |
|---|---|---|---|
| 2017-2018 | Louis Fippo-Fitime | 12 months | Étienne André |
| 2010-2011 | Samir Youcef | 12 months | Sami Evangelista |
| 2009-2010 | Sami Evangelista | 12 months | |
| 2009 | Olivier Bertrand | 7 months | |
| 2000-2001 | Suman Roy | 6 months | Alain Finkel |
Habilitation committees
| Year | Candidate | Institution | President | Reviewer |
|---|---|---|---|---|
| 2024 | Thomas Seiller | Paris 13 | ||
| 2021 | Saadi Boudjit | Paris 13 | ||
| 2013 | Thomas Chatain | ENS Cachan | ||
| 2013 | Kaïs Klai | Paris 13 | ||
| 2012 | Faouzi Boufares | Paris 13 | ||
| 2009 | Franck Pommereau | Paris 12 |
Interns
| Year | Name | Duration | Origin |
|---|---|---|---|
| 2018 | Giann Karlo Aguirre Samboní | 4 m. | M2 Javeriana |
| 2017 | Émilie Piquionne | 4 m. | L3 Pro |
| 2016 | The-Anh Pham | 6 m. | M2 USTH |
| 2016 | Paul Panganiban | 2 m. | M1 UPMC |
| 2016 | Nizar Hdadech | 2 m. | M1 UPMC |
| 2015 | Sofiane Achouba | 6 m. | M2 UPMC |
| 2014 | Viet Hai Nguyen | 6 m. | M2 Bordeaux/HCMUT |
| 2014 | Idrissa Sokhona | 6 m. | M2 UPMC |
| 2013 | Hénoc Christian Khouilla | 6 m. | M2 Paris 13 |
| 2013 | Giuseppe Pellegrino | 6 m. | Engineer Ancone |
| 2012 | Shweta Garg | 2 m. | M1 IIT Bombay |
| 2009 | Myriam Ghodbane | 6 m. | M2 UVSQ |
| 2008 | Jean-Marc Mensah | 6 m. | M2 UPMC |
| 2008 | Yibei Yu | 6 m. | M2 Paris 13 |
| 2007 | Rabih Chahine | 6 m. | M2 INPT |
| 2007 | Steven Gay | 3 m. | M1 ENS Cachan |
| 2007 | Nabil Ghozlane | 6 m. | M2 Paris 13 |
| 2006 | Wei Luo | 6 m. | M2 Paris 13 |
| 2005 | Lom Hillah | 6 m. | M2 UPMC |
| 2004 | Mustapha Bounif | 6 m. | DEA Paris 13 |
| 2002 | Sébastien Bardin | 6 m. | DEA Évry |
PhD committees
| Year | Candidate | Institution | President | Reviewer |
|---|---|---|---|---|
| 2024 | Nour Souid | Univ. Paris 13 | ||
| 2024 | Thibault Hilaire | Univ. de Bordeaux | ||
| 2024 | Nicolas Méric | Univ. Paris-Saclay | ||
| 2023 | Anissa Kheireddine | Sorbonne Université | ||
| 2023 | Nicolas Amat | Univ. de Toulouse | ||
| 2022 | Florian Renkin | Sorbonne Université | ||
| 2022 | Igor Khmelnitsky | ENS Paris-Saclay | ||
| 2021 | Jawher Jerray | Univ. Paris 13 | ||
| 2021 | Govind Rajanbabu | Univ. Bordeaux & CMI, India | ||
| 2021 | Benjamin Dauphin | Telecom Paris | ||
| 2020 | Rui Wang | HVL, Bergen, Norway | ||
| 2020 | Ran Bao | Univ. Nantes | ||
| 2019 | Vincent Bloemen | Univ. Twente, The Netherlands | ||
| 2019 | Damien Busatto-Gaston | Univ. Aix-Marseille | ||
| 2019 | Hakan Metin | Sorbonne Université | ||
| 2019 | Hiba Ouni | Univ. Paris 13 | ||
| 2019 | The-Anh Pham | ENS Rennes | ||
| 2019 | Mathias Ramparison | Univ. Paris 13 | ||
| 2019 | Xin Ye | Univ. Paris 13 | ||
| 2018 | Réhan Noordally | Univ. La Réunion | ||
| 2016 | Mahdi Benmoussa | Paris 13 | ||
| 2016 | Anthony Gélibert | Univ. Grenoble-Alpes | ||
| 2016 | Amira Methni | CNAM | ||
| 2016 | Michał Knapik | Univ. Varsovie, Pologne | ||
| 2015 | Pierre-Alain Bourdil | INSA Toulouse | ||
| 2015 | Laure Millet | UPMC | ||
| 2014 | Salim Allal | Paris 13 | ||
| 2014 | Ariane Piel | Paris 13 | ||
| 2014 | Étienne Renault | UPMC | ||
| 2014 | Viet Van Pham | Univ. Évry | ||
| 2013 | Yann Ben Maïssa | UPMC & Univ. Rabat, Morocco | ||
| 2013 | Syed Hussein Syed Alwi | UPMC | ||
| 2014 | Łukasz Fronc | Univ. Évry | ||
| 2012 | Michaël Guedj | Paris 12 | ||
| 2011 | Mathilde Arnaud | ENS Cachan | ||
| 2010 | Julien Delange | Télécom ParisTech | ||
| 2009 | Olivier Bertrand | Paris 13 | ||
| 2009 | Lom Hillah | UPMC | ||
| 2009 | Xavier Renault | UPMC | ||
| 2009 | Jean-Baptiste Voron | UPMC | ||
| 2009 | Florent Bouchy | ENS Cachan | ||
| 2009 | Awatef Hicheur | CNAM | ||
| 2009 | Demba Coulibaly | Univ. Paris-Dauphine | ||
| 2006 | Vincent Beaudenon | UPMC | ||
| 2006 | Lin Liu | Univ. South Australia, Australia | ||
| 2005 | Andrea Barbu | Paris 12 & Univ. Oldenburg, Germany | ||
| 2004 | Cécile Bui | Paris 12 | ||
| 2004 | Sébastien Grivet | Bordeaux 1 | ||
| 2004 | Benoît Gaudin | Rennes 1 | ||
| 2004 | Bing Han | Univ. South Australia, Australia | ||
| 2004 | Marcellin Nkenlifack | Univ. Youndé, Cameroon | ||
| 2004 | Yan Jin | Univ. Adelaide, Australia | ||
| 2004 | Yann Thierry-Mieg | UPMC | ||
| 2003 | Samir Chouali | Besançon | ||
| 2003 | Kaïs Klai | UPMC |