Thématique de recherche

Ma thématique de recherche concerne la spécification et la vérification formelles de systèmes concurrents pour garantir leur bon fonctionnement, en utilisant des modèles d'automates ou de réseaux de Petri, et des modèles paramétrés. Pour combattre le problème classique de l'explosion combinatoire de l'espace des états accessibles, mes travaux exploitent la modularité des modèles, proposent des approches distribuées, des algorithmes pour la synthèse de paramètres.

Projets de recherche

Porteur de projets

Année Appel Nom du projet Budget
2022-2023
en cours
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
Arbres attaque-défense et Modèles de Jeux pour l'Analyse de la Sécurité
6k€
2013–2014 STIC Asie
🇫🇷 🇸🇬 🇻🇳
CATS
Compositional analysis of timed systems
34k€
2012 SREI Paris 13
🇫🇷 🇳🇴
Collaboration avec l'Universté technologique de Bergen, Norvège 3k€
2009-2011 FEDER
🇫🇷
NEOPPOD
Vérification du protocole de bases de données distribuées NEO
1000k€
2008 SREI Paris 13
🇫🇷 🇦🇺
Collaboration avec l'Université d'Adelaide, Australie 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 avec l'Université d'Århus, Danemark 2k€
2000–2001 CNRS–SNF
🇫🇷 🇩🇰
Collaboration avec les universités d'Århus et Aalborg, Danemark 20k€
Total 1133k€

Participant à des projets

Année Appel Nom du projet Porteur Budget
2023-2024
en cours
PHC Aurora
🇫🇷 🇳🇴
AESIR
Timed strAtegies for rEwrite-based Symbolic analysIs of Real-time systems
Carlos Olarte 7k€
2023
en cours
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
Modèle de jEux pour l'improvisAtion muSicale strUcturée et inteRactivE
Jaime Arias 6k€
2014–2019
ANR
🇫🇷
PACS
Parametric analyses of concurrent systems
Étienne André 450k€
2014–2015 CNRSPAN
🇫🇷 🇵🇱
BehaPPi-BMC
Behavior preserving parametric bounded model checking
Étienne André 8k€

Comités (journaux et conférences)

Comités de programme

2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
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

Comités d'organisation

Année Conférence Lieu
2023 ETAPS et SPIN
European Joint Conferences on Theory and Practice of Software
International Symposium on Model Checking of Software
Paris, France
2021 Petri Nets (virtuel)
International Conference on Application and Theory of Petri Nets and Concurrency
Paris-Saint-Denis, France
2020 Petri Nets (virtuel)
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 d'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

Comités de pilotage

Années Conférence
2022-... ETAPS
European joint conferences on Theory and Pratice of Software
2014-... SynCoP
Workshop on Synthesis of complex Parameters (satellite d'ETAPS)
1994-1997 STACS
Symposium on Theoretical Aspects of Computer Science

Comités de rédaction

Année Journal
2008-... ToPNoC
Transactions on Petri Nets and Other Models of Concurrency
2013 Numéro spécial de FI
Fundamenta Informaticae
2008 Numéro spécial de FI
Fundamenta Informaticae

Expert scientifique

Années Organisme
2021, 2019 HCERES🇫🇷
Haut Conseil de l'Évaluation de la Recherche et de l'Enseignement
2020-2022 IUF🇫🇷
Institut Universitaire de France
2020-...
2000-2003
CNU 27🇫🇷
Conseil National des universités
2017-... CPN GEII/RT🇫🇷
Commission Pédagogique Nationale
2004-... ISO
International Standards Organisation
2017-2019 AmSud
Amérique du Sud
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

Encadrement d'étudiants

Doctorants

Année Nom Titre Co-encadrant Taux
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-2018 Thi Thanh Huyen Nguyen Quasi optimal model checking for concurrent systems Camille Coti & César Rodríguez 30%
2009-2013 Naïm Aber Abstraction et analyse de l’espace des états des réseaux de Petri temporels 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 Vérification Distribuée (thèse d'État USTHB, Algérie)
2009-2012 Alfred Sanogo Méthodologie de conception de modèles exprimés en réseaux de Petri ; Raffinement des réseaux de Petri colorés Christine Choppy 50%
2003-2007 Hager Karoui Système coopératif de type égal-à-égal pour la recommandation : application à la gestion et la recommandation de références bibliographiques Rushed Kanawati 50%
2002-2005 Sébastien Bardin Vers un Model Checking avec accélération plate des systè̀mes hétérogènes Alain Finkel 50%

Post-docs

Année Nom Durée Co-encadrant
2017-2018 Louis Fippo-Fitime 12 mois Étienne André
2010-2011 Samir Youcef 12 mois Sami Evangelista
2009-2010 Sami Evangelista 12 mois
2009 Olivier Bertrand 7 mois
2000-2001 Suman Roy 6 mois Alain Finkel

Jurys d'habilitations à diriger les recherches

Année Impétrant Institution Président Rapporteur
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

Stagiaires

Année Nom Durée Origine
2018 Giann Karlo Aguirre Samboní 4 mois M2 Javeriana
2017 Émilie Piquionne 4 mois L3 Pro
2016 The-Anh Pham 6 mois M2 USTH
2016 Paul Panganiban 2 mois M1 UPMC
2016 Nizar Hdadech 2 mois M1 UPMC
2015 Sofiane Achouba 6 mois M2 UPMC
2014 Viet Hai Nguyen 6 mois M2 Bordeaux/HCMUT
2014 Idrissa Sokhona 6 mois M2 UPMC
2013 Hénoc Christian Khouilla 6 mois M2 Paris 13
2013 Giuseppe Pellegrino 6 mois Ingénieur Ancone
2012 Shweta Garg 2 mois M1 IIT Bombay
2009 Myriam Ghodbane 6 mois M2 UVSQ
2008 Jean-Marc Mensah 6 mois M2 UPMC
2008 Yibei Yu 6 mois M2 Paris 13
2007 Rabih Chahine 6 mois M2 INPT
2007 Steven Gay 3 mois M1 ENS Cachan
2007 Nabil Ghozlane 6 mois M2 Paris 13
2006 Wei Luo 6 mois M2 Paris 13
2005 Lom Hillah 6 mois M2 UPMC
2004 Mustapha Bounif 6 mois DEA Paris 13
2002 Sébastien Bardin 6 mois DEA Évry

Jurys de thèse

Année Impétrant Institution Président Rapporteur
2023 Florian Renkin Sorbonne Université
2022 Igor Khmelnitsky ENS Paris-Saclay
2021 Jawher Jerray Univ. Paris 13
2021 Govind Rajanbabu Univ. de Bordeaux & CMI, Inde
2021 Benjamin Dauphin Telecom Paris
2020 Rui Wang HVL, Bergen, Norvège
2020 Ran Bao Univ. de Nantes
2019 Vincent Bloemen Univ. de Twente, Pays-Bas
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, Maroc
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, Australie
2005 Andrea Barbu Paris 12 & Univ. Oldenburg, Allemagne
2004 Cécile Bui Paris 12
2004 Sébastien Grivet Bordeaux 1
2004 Benoît Gaudin Rennes 1
2004 Bing Han Univ. South Australia, Australie
2004 Marcellin Nkenlifack Univ. Youndé, Cameroun
2004 Yan Jin Univ. Adelaide, Australie
2004 Yann Thierry-Mieg UPMC
2003 Samir Chouali Besançon
2003 Kaïs Klai UPMC