Actualités

Conférences

  • Organisation de Petri Nets 2021, 21-25 juin 2021, Paris-Saint-Denis, France

Professeur visiteur à :

  • Aarhus University, Danemark, du 20 au 26 septembre 2020
  • University of Twente, Enschede, Pays-Bas, du 7 au 13 juillet 2019
  • IPI-PAN, Varsovie, Pologne, du 5 au 11 mai 2019 ; du 27 mai au 14 juin 2019 et du 15 au 31 août 2019
  • Pontificia Universidad Javeriana, Cali, Colombie, du 16 novembre au 1er décembre 2019

Dernières publications

Camille Coti, Laure Petrucci, César Rodríguez et Marcello Sousa Quasi-Optimal Partial Order Reduction. FMSD. Octobre 2020.
Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk et 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 et Laure Petrucci. Parametric Verification: An Introduction. Transactions on Petri Nets and Other Models of Concurrency, volume 14, LNCS, Springer, Novembre 2019.
Michał Knapik, Wojciech Penczek, Laure Petrucci et Teofil Sidoruk. Squeezing State Spaces of (Attack-Defence) Trees. ICECCS'19, IEEE, Novembre 2019.
Étienne André, Wojciech Jamroga, Michał Knapik, Wojciech Penczek et Laure Petrucci. Timed ATL: Forget Memory, Just Count. Journal of Artificial Intelligence Research, volume 66, Septembre 2019.

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.

Supports de cours

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.

Initiation au développement web (M1106)

Bases de données (M2104)

Technologies de l'Internet (M2103)

Vidéos

Tutorial on Parametric verification

Tutorial on Symmetric nets

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