Category Archives: AFSEC

AFSEC : Approches Formelles des Systèmes Embarqués Communicants

Journée commune AFSEC-SED

Posted on by

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

Réunion commune GT AFSEC (Approches Formelles des Systèmes Embarqués Communicants) et IE (Ingénierie des Exigences)

Posted on by

La prochaine journée de notre groupe de travail aura lieu le mercredi 6 avril 2022 à Nantes.

Cela sera une journée particulière puisqu’elle sera commune aux GT AFSEC (Approches Formelles des Systèmes Embarqués Communicants) et IE. Les exposés seront donc plutôt centrés sur des travaux relevant à la fois des thématiques des deux GT.

Vous pouvez donc noter dès à présent la journée du 6 avril dans vos agendas! 

Pour cette journée nous sommes à la recherche d’oratrices et d’orateurs. Si vous souhaitez présenter vos travaux, n’hésitez pas à nous contacter.