Laure Petrucci
LIPN, CNRS UMR 7030
Professeur des Universités, IUT de Villetaneuse, Université Paris 13
LIPN, CNRS UMR 7030
Professeur des Universités, IUT de Villetaneuse, Université Paris 13
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 |
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 |
---|---|---|---|---|
2024-2028 en cours |
IRP CNRS
🇫🇷 🇵🇱 |
Le Trójkąt | Nathanaël Fijalkow | |
2024-2028 en cours |
IR CNRS
🇫🇷 🇩🇰 |
CLoVe | Thomas Seiller | |
2024-2025 en cours |
PHC Polonium
🇫🇷 🇵🇱 |
MoCca
Analyses of multi-agent systems |
Étienne André | 12k€ |
2023–2027 en cours |
ANR
🇫🇷 |
BisoUS
Better synthesis for underspecified quantitative systems |
Didier Lime | 409k€ |
2023-2024 en cours |
PHC Aurora
🇫🇷 🇳🇴 |
AESIR
Timed strAtegies for rEwrite-based Symbolic analysIs of Real-time systems |
Carlos Olarte | 7k€ |
2023 |
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 | CNRS–PAN
🇫🇷 🇵🇱 |
BehaPPi-BMC
Behavior preserving parametric bounded model checking |
Étienne André | 8k€ |
Comités (journaux et conférences)
Comités de programme
- 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
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 |
---|---|
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 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 |
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 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 | 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. 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 |