Mardi 11 avril de 9h30 à 16h à l’ENSAM de Paris se tiendra une journée commune au GT AFSEC et au CT SED du GDR MACS.

L’inscription est gratuite mais obligatoire et peut se faire à l’adresse suivante : https://forms.gle/P6uH3Zz5Kjr4a1H17

Cinq exposés seront proposés.

• Moving Block System: Verification Framework. par Rim Saddem (LIS, Aix-Marseille Université)
• Analyse d’atteignabilité directe des systèmes (max,+)-linéaires à l’aide des polyèdres tropicaux : application à la sûreté. par Guilherme Espindola Winck (LARIS, Université d’Angers)
• Fuzzing de systèmes à états. par Rémi Parrot (IT Department, Uppsala University)
• Model-Bounded Monitoring of Hybrid Systems. par Étienne André (LIPN, Université Sorbonne Paris Nord)
• Computing Linear Inductive Invariants for Petri Nets using Property Directed Reachability. par Nicolas Amat (LAAS-CNRS, INSA Toulouse)

Date: Mardi, 11 Avril, 2023