- Organisation of Petri Nets 2021, 21-25 June 2021, Paris-Saint-Denis, France
|É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).