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

Participant à des projets

Année Appel Nom du projet Porteur Budget
2014–2018
en cours
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

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
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
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
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

Encadrement d'étudiants

Doctorants

Année Nom Titre Co-encadrant Taux
2015-... Hoàng Gia Nguyễn Efficient Parametric Verification of Real-Time Systems É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 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
2013 Thomas Chatain ENS Cachan
2013 KlaÏs Klai Paris 13
2012 Faouzi Boufares Paris 13
2009 Franck Pommereau Paris 12

Stagiaires

Année Nom Durée Origine
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
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 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, Australie
2005 Andreea 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