Actualités

Dernières publications

Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Ölveczky, Laure Petrucci et Fredrik Rømming. Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. PN'23, Juin 2023.
Jaime Arias, Wojciech Jamroga, Wojciech Penczek, Laure Petrucci et Teofil Sidoruk. Strategic (Timed) Computation Tree Logic. AAMAS'23, Mai 2023.
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Ölveczky, Laure Petrucci et Fredrik Rømming. Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata. FTSCS'22, Décembre 2022.
Étienne André, Hoang Gia Nguyen, Laure Petrucci et Jun Sun. Distributed parametric model checking timed automata under non-Zenoness assumption. FMSD, Novembre 2022.
Jaime Arias, Michał Knapik, Wojciech Penczek et Laure Petrucci. Modular Analysis of Tree-Topology Models. ICFEM'22, Octobre 2022.
Étienne André, Dylan Marinho, Laure Petrucci et Jaco van de Pol. Efficient Convex Zone Merging in Parametric Timed Automata. FORMATS'22, Septembre 2022.
Ruben Dobler Strand, Lars Michael Kristensen et Laure Petrucci. Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction. PNSE'22, Juin 2022.
Camille Coti, Laure Petrucci et Daniel Alberto Torres Gonzalez. A Formal Model for Fault Tolerant Parallel Matrix Factorization. ICECCS'22, Mars 2022.
Sami Evangelista, Lars M. Kristensen et Laure Petrucci. Distributed Explicit State Space Exploration with State Reconstruction for RDMA Networks. ICECCS'22, Mars 2022.
Jaime Arias, Łukasz Maśko, Wojciech Penczek, Laure Petrucci et Teofil Sidoruk. Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees. ICECCS'22, Mars 2022.

Enseignement

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.

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.

Principes et architecture des réseaux (R102)

Initiation aux technologies web (R109)

Administration système et fondamentaux de la virtualisation (R202)

Sources de données (R207)

Se présenter sur Internet (SAÉ14)

Vidéos

Présentation de CosyVerif

Présentation de ADT2AMAS

Tutorial on Parametric verification

Tutorial on Symmetric nets

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