News

Visiting Professor at:

  • University of Twente, Enschede, The Netherlands, from February 11th to April 10th, 2018
  • IPI-PAN, Varsovie, Pologne, from April 25th to June 23rd, 2018

Last publications

Laure Petrucci and Jaco van de Pol. Parameter Synthesis Algorithms for Parametric Interval Markov Chains. FORTE'18, LNCS, Springer, June 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.

Christine Choppy, Jörg Desel and Laure Petrucci. Specialisation and Generalisation of Processes. Enterprise Modelling and Information Systems Architectures, 35–46, GI – German Informatics Society, 1, 13, February 2018.

Teaching

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

Videos

Tutorial on Parametric verification

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

Tutorial on Symmetric nets