• PC-chair of Formats 2023, 18-23 September 2023, Antwerp, Belgium
  • PC-chair of Petri Nets 2022, 19-24 June 2022, Bergen, Norway
  • Organisation of ETAPS 2023 , 22-27 april 2023, Paris, France

Visiting Professor at:

  • IPI-PAN, Warsaw, Poland, from February 6th to 9th February 2023 ; from November 1st to 4th, 2022 ; from August 19th to 26th 2022

Last publications

Étienne André, Hoang Gia Nguyen, Laure Petrucci and Jun Sun. Distributed parametric model checking timed automata under non-Zenoness assumption. FMSD, November 2022.
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Ölveczky, Laure Petrucci and Fredrik Rømming. Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata. FTSCS'22, December 2022.
Jaime Arias, Michał Knapik, Wojciech Penczek and Laure Petrucci. Modular Analysis of Tree-Topology Models. ICFEM'22, October 2022.
Étienne André, Dylan Marinho, Laure Petrucci and Jaco van de Pol. Efficient Convex Zone Merging in Parametric Timed Automata. FORMATS'22, September 2022.
Ruben Dobler Strand, Lars Michael Kristensen and Laure Petrucci. Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction. PNSE'22, June 2022.
Camille Coti, Laure Petrucci and Daniel Alberto Torres Gonzalez. A Formal Model for Fault Tolerant Parallel Matrix Factorization. ICECCS'22, March 2022.
Sami Evangelista, Lars M. Kristensen and Laure Petrucci. Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks. ICECCS'22, March 2022.
Jaime Arias, Łukasz Maśko, Wojciech Penczek, Laure Petrucci and Teofil Sidoruk. Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees. ICECCS'22, March 2022.


I teach in the DUT technology bachelor programme at the Networks and Telecommunications department of the Technology Institute of Villetaneuse, Université Paris 13, as well as in the Master ICT at the University of Science and Technology in Hanoï (USTH), Vietnam. For more information about my lectures, refer to the relevant section on the french version of my web page (enseignement).


Presentation of the CosyVerif platform

Presentation of the ADT2AMAS tool

Tutorial on Parametric verification

Tutorial on Symmetric nets

Conférence: Sécurité, Sûreté et Confidentialité
10 mai 2016, Université Paris 13 (in french)