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
2018 PHC Van Gogh
🇫🇷 🇳🇱
PAMPAS
Parallel Algorithms for Model-Checking and Parallel Synthesis
7k€
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 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 1110k€

Participant in projects

Year Call Project name PI Budget
2014–2018
active
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

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
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
2017-... CPN GEII/RT🇫🇷
Commission Pédagogique Nationale
2019 HCERES🇫🇷
Haut Conseil de l'Évaluation de la Recherche et de l'Enseignement
2017, 2018 AmSud
South America
2006, 2017 ANR🇫🇷
Agence Nationale de la Recherche
2004-... ISO
International Standards Organisation
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
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
2013 Thomas Chatain ENS Cachan
2013 KlaÏs Klai Paris 13
2012 Faouzi Boufares Paris 13
2009 Franck Pommereau Paris 12

Interns

Year Name Duration Origin
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
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 UMPC
2009 Xavier Renault UPMC
2009 Jean-Baptiste Voron UMPC
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 Andreea 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