Actualités

Conférences

Professeur visiteur à :

  • IPI-PAN, Varsovie, Pologne, du 18 au 23 août 2024 ; du 27 août au 2 septembre 2023.

Dernières publications

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.
Étienne André, Jaime Arias, Benoît Barbot, Francis Hulin-Hubard, Fabrice Kordon, Van-François Le et Laure Petrucci. CosyVerif: the Path to Formalisms Cohabitation. PN'24, Juin 2024.
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Ölveczky, Laure Petrucci et Fredrik Rømming. Symbolic Analysis and Parameter Synthesis for Networks of Parametric Timed Automata with Global Variables using Maude and SMT Solving. Science of Computer Programming, Mars 2024.
Mikael Bisgaard Dahlsen-Jensen, Baptiste Fiévet, Laure Petrucci et Jaco van de Pol. On-The-Fly Algorithm for Reachability in Parametric Timed Games. TACAS'24, Avril 2024.
Jaime Arias, Carlos Olarte, Łukasz Maśko, Wojciech Penczek, Laure Petrucci et Teofil Sidoruk. Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models. IEEE Transactions on Reliability, Janvier 2024.
Nicolas Amat, Elvio G. Amparore, Bernard Berthomieu, Pierre Bouvier, Silvano Dal Zilio, P.G. Jensen, Loïg Jezequel, Fabrice Kordon, S. Li, Emmanuel Paviot-Adet, Laure Petrucci, Jiri Srba, Yann Thierry-Mieg et Karsten Wolf. Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023. Toolympics 2023, à paraître.
Ruben Dobler Strand, Lars Michael Kristensen et Laure Petrucci. Development and Verification of a Microservice Architecture for a Fire Risk Notification System. ToPNoC, vol. 17, pp. 27-53, Novembre 2023.

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