• Organisation of Petri Nets 2021, 21-25 June 2021, Paris-Saint-Denis, France

Visiting Professor at:

  • Aarhus University, Denmark, from September 20th to 16th, 2020
  • IPI-PAN, Warsaw, Poland, from from May 5th to 11th, 2019 ; From May 27th to June 14th, 2019 and from August 15th to 31st, 2019
  • Pontificia Universidad Javeriana, Cali, Colombia, from November 16th to December 1st 2019

Last publications

Étienne André, Jaime Arias, Laure Petrucci and Jaco van de Pol. Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata. TACAS'21, Springer, March 2021.
Camille Coti, Laure Petrucci, CĂ©sar Rodríguez and Marcello Sousa Quasi-Optimal Partial Order Reduction. FMSD. October 2020.
Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk and Mariëlle Stoelinga. Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems. ICFEM'20, Springer, Mars 2021.
Étienne André, Michał Knapik, Didier Lime, Wojciech Penczek and Laure Petrucci. Parametric Verification: An Introduction. Transactions on Petri Nets and Other Models of Concurrency, volume 14, LNCS, Springer, November 2019.
Michał Knapik, Wojciech Penczek, Laure Petrucci and Teofil Sidoruk. Squeezing State Spaces of (Attack-Defence) Trees. ICECCS'19, IEEE, November 2019.
Étienne André, Wojciech Jamroga, Michał Knapik, Wojciech Penczek and Laure Petrucci. Timed ATL: Forget Memory, Just Count. Journal of Artificial Intelligence Research, volume 66, September 2019.


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

Tutorial on Symmetric nets

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