• Organisation of Petri Nets 2020, 22-26 June 2020, Paris-Aubervilliers, France
  • Organisation of SynCoP 2019, workshop affiliated to ETAPS, 6-7 April 2019, Prague, Czech Republic

Visiting Professor at:

  • Aarhus University, Denmark, from February 28th to March 14th, 2019
  • University of Twente, Enschede, The Netherlands, from September 11th to 22nd, 2018 and from July 7th to July 13th 2019
  • IPI-PAN, Warsaw, Poland, from April 25th to June 23rd, 2018; from October 14th to 27th, 2018; from May 5th to 11th, 2019 ; From May 27th to June 14th, 2019 and from August 15th to 31st, 2019

Book chapter

Handbook of Parallel Constraint Reasoning, 2018 Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol and Étienne Renault. Parallel Model Checking Algorithms for Linear-Time Temporal Logic. In Handbook of Parallel Constraint Reasoning, Springer, 2018.

Last publications

Étienne André, Vincent Bloemen, Laure Petrucci and Jaco van de Pol. Minimal-Time Synthesis for Parametric Timed Automata. TACAS'19, LNCS, Springer, April 2019.
Laure Petrucci et Jaco van de Pol. Pruning NDFS for Parametric Timed Automata. SynCoP'19, avril 2019.
Camille Coti, Laure Petrucci et Daniel Torres. Fault-tolerant matrix factorisation: a formal model and proof. SynCoP'19, avril 2019.
Hoang Gia Nguyen, Laure Petrucci et Jaco van de Pol. Layered and Collecting NDFS with Subsumption for Parametric Timed Automata. ICECCS'18, IEEE, December 2018.
Camille Coti, Sami Evangelista et Laure Petrucci. State Compression Based on One-Sided Communications for Distributed Model Checking. ICECCS'18, IEEE, December 2018.
Camille Coti, Sami Evangelista and Laure Petrucci. One-Sided Communications for more Efficient Parallel State Space Exploration over RDMA Clusters. Euro-Par'18, LNCS, Springer, August 2018.
Huyen Nguyen, CĂ©sar Rodríguez, Marcello Sousa, Camille Coti and Laure Petrucci. Quasi-Optimal partial Order Reductions. CAV'18, LNCS, Springer, July 2018.
Laure Petrucci and Jaco van de Pol. Parameter Synthesis Algorithms for Parametric Interval Markov Chains. FORTE'18, LNCS, Springer, June 2018.


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


Tutorial on Parametric verification

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

Tutorial on Symmetric nets