Actualités

Conférences

  • Organisation de Petri Nets 2020, 22-26 juin 2020, Paris-Aubervilliers, France
  • Organisation de SynCoP 2019, workshop affilié à ETAPS, 6-7 avril 2019, Prague, République Tchèque

Professeur visiteur à :

  • Aarhus University, Danemark, du 28 février au 14 mars 2019
  • University of Twente, Enschede, Pays-Bas, du 11 au 22 septembre 2018 et du 7 au 13 juillet 2019
  • IPI-PAN, Varsovie, Pologne, du 25 avril au 23 juin 2018 ; du 14 au 27 octobre 2018 ; du 5 au 11 mai 2019 ; du 27 mai au 14 juin 2019 et du 15 au 31 août 2019

Chapitre de livre

Handbook of Parallel Constraint Reasoning, 2018 Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol et Étienne Renault. Parallel Model Checking Algorithms for Linear-Time Temporal Logic. Dans Handbook of Parallel Constraint Reasoning, Springer, 2018.

Dernières publications

Étienne André, Vincent Bloemen, Laure Petrucci et Jaco van de Pol. Minimal-Time Synthesis for Parametric Timed Automata. TACAS'19, LNCS, Springer, avril 2019.
Laure Petrucci et Jaco van de Pol. Pruning NDFS for Parametric Timed Automata. SynCoP'19, avril 2019.
Camille Coti, Laure Petrucci et Daniel Torres. Fault-tolerant matrix factorisation: a formal model and proof. SynCoP'19, avril 2019.
Hoang Gia Nguyen, Laure Petrucci et Jaco van de Pol. Layered and Collecting NDFS with Subsumption for Parametric Timed Automata. ICECCS'18, IEEE, décembre 2018.
Camille Coti, Sami Evangelista et Laure Petrucci. State Compression Based on One-Sided Communications for Distributed Model Checking. ICECCS'18, IEEE, décembre 2018.
Camille Coti, Sami Evangelista et Laure Petrucci. One-Sided Communications for more Efficient Parallel State Space Exploration over RDMA Clusters. Euro-Par'18, LNCS, Springer, août 2018.
Huyen Nguyen, César Rodríguez, Marcello Sousa, Camille Coti et Laure Petrucci. Quasi-Optimal partial Order Reductions. CAV'18, LNCS, Springer, juillet 2018.
Laure Petrucci et Jaco van de Pol. Parameter Synthesis Algorithms for Parametric Interval Markov Chains. FORTE'18, LNCS, Springer, juin 2018.

Enseignement

J'enseigne en DUT au département Réseaux et Télécommunications de l’IUT de Villetaneuse, Université Paris 13, ainsi qu'en Master STIC à l'Université de Sciences et Technologies de Hanoï (USTH), Vietnam.

Module Nom Cours TD TP Polycopié
M1104 Principes et architecture des réseaux


cours_M1104
TD_M1104
TP_M1104
M2104 Bases de données




cours_M2104
slides_M2104
TD_M2104
R2 Réseaux locaux


cours_R2
TD_R2
TP_R2
R3 Administration système et réseau
cours_R3
TP_R3
R4 Réseaux (routage)
TD_R4
TP_R4
TR2 Technologies de l'Internet
slides_TR2
TD_TR2
Sécurité et surveillance des réseaux (introduction) cours_secu
I1 Introduction aux systèmes informatiques
slides_I1
TP_I1
I3 Programmation

cours_I3
TD_I3
RPCI01 Programmation Java avancée
slides_RPCI01.pdf
TP_RPCI01.pdf
MI2.03(1) Advanced Modelling Techniques - part 1 slides_MI2_03-1.pdf
Les corrigés des exercices sont disponibles sur demande pour les enseignants.

Vidéos

Tutorial on Parametric verification

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

Tutorial on Symmetric nets