| 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. |
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)