Visiting Professor at:
- University of Twente, Enschede, The Netherlands, from February 11th to April 10th, 2018
- IPI-PAN, Warsaw, Poland, from April 25th to June 23rd, 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.|
|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.|
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).