Professeur visiteur à :
- IPI-PAN, Varsovie, Pologne, du 26 octobre au 1er novembre 2024 ; 18 au 23 août 2024.
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fiévet, Laure Petrucci et Jaco van de Pol. Controller Synthesis for Parametric Timed Games. QEST+FORMATS'25, Août 2025. |
Davide Catta, Wojciech Penczek et Laure Petrucci. Formal models are magic. PeNGE workshop, Juin 2025. |
Sami Evangelista, Lars Michael Kristensen et Laure Petrucci. Evaluation of Distributed Explicit State Space Exploration Algorithms with State Reconstruction for RDMA Networks. STTT, 2025. |
Yan Kim, Wojciech Jamroga, Wojciech Penczek et Laure Petrucci. Practical Abstractions for Model Checking Continuous-Time Multi-Agent Systems. AAMAS, Mai 2025. |
Wojciech Jamroga, Marta Kwiatkowska, Wojciech Penczek, Laure Petrucci et Teofil Sidoruk. Probabilistic Timed ATL. AAMAS, Mai 2025. |
Wojciech Penczek, Laure Petrucci et Teofil Sidoruk. Satisfiability Checking for (Strategic) Timed CTL Using IMITATOR. ICAART, Février 2025. |
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Ölveczky et 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 et Teofil Sidoruk. Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logics. PPDP'24, Septembre 2024. |
J'enseigne en BUT 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. |
Principes et architecture des réseaux (R102)
Initiation aux technologies web (R109)
Administration système et fondamentaux de la virtualisation (R202)