Visiting Professor at:
- IPI-PAN, Warsaw, Poland, from October 26th to November 1st 2024 ; August 18th to 23rd, 2024.
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fiévet, Laure Petrucci and Jaco van de Pol. Controller Synthesis for Parametric Timed Games. QEST+FORMATS'25, August 2025. |
Davide Catta, Wojciech Penczek and Laure Petrucci. Formal models are magic. PeNGE workshop, June 2025. |
Sami Evangelista, Lars Michael Kristensen and Laure Petrucci. Evaluation of Distributed Explicit State Space Exploration Algorithms with State Reconstruction for RDMA Networks. STTT, 2025. |
Yan Kim, Wojciech Jamroga, Wojciech Penczek and Laure Petrucci. Practical Abstractions for Model Checking Continuous-Time Multi-Agent Systems. AAMAS, May 2025. |
Wojciech Jamroga, Marta Kwiatkowska, Wojciech Penczek, Laure Petrucci and Teofil Sidoruk. Probabilistic Timed ATL. AAMAS, May 2025. |
Wojciech Penczek, Laure Petrucci and Teofil Sidoruk. Satisfiability Checking for (Strategic) Timed CTL Using IMITATOR. ICAART, February 2025. To appear. |
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Ölveczky and Laure Petrucci. A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets. Fundamenta Informaticae, 2024. |
Jaime Arias, Carlos Olarte, Wojciech Penczek, Laure Petrucci and Teofil Sidoruk. Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logics. PPDP'24, September 2024. |
I teach in the BUT 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).