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
active
IEA CNRS-PAN
🇫🇷 🇵🇱
MoSART
Model-checking Strategic Abilities of Real-Time Asynchronous Agents
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
2023
BQR Paris 13
🇫🇷 🇧🇪
AFoDOP
Approche Formelle pour un Déploiement Optimisé des Processus
Samir Youcef 5k€
2022
active
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 CNRSPAN
🇫🇷 🇵🇱
BehaPPi-BMC
Behavior preserving parametric bounded model checking
Étienne André 8k€

Committees (journals and conferences)

Programme committees

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

Organising committees

Year Conference Location
2023 ETAPS
European Joint Conferences on Theory and Practice 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
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
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
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
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
2023 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