Journées Nationales du GDR GPL 2024

9:00 - 10:15 (1h15)

The How and Why of Higher-Order SMT for Prospective Users

GAM - Grand Amphi de Math

Sophie Tourret

https://gdrgpl2024.sciencesconf.org/data/program/tourret_hosmt_user.pdf

9:00 - 10:15 (1h15)

Conférences invitées

GAM - Grand Amphi de Math

Sophie Tourret - The How and Why of Higher-Order SMT for Prospective Users

› The How and Why of Higher-Order SMT for Prospective Users - Sophie Tourret, Max-Planck-Institut für Informatik, Laboratoire Lorrain de Recherche en Informatique et ses Applications 09:00-10:15 (1h15)

10:15 - 10:45 (30min)

Pause

10:45 - 12:15 (1h30)

AFADL

GAM - Grand Amphi de Math

Sophie Ebersold et Idir Ait Sadoune

› Compilation avec l'interprétation abstraite - Dorian Lesbre and Matthieu Lemerre, Université Paris-Saclay, CEA List 10:45-11:15 (30min)

› Approche Dirigée par les Modèles pour la Sécurité Auto-adaptative des Systèmes Cyber-physiques - Salim Chehida, Eric Rutten, Guillaume Giraud and Stéphane Mocanu, Univ. Grenoble Alpes, INRIA, RTE 11:15-11:45 (30min)

› Utilisation conjointe de SysML et Reo en vue de modeliser et de valider les CPS - Perla Tannoury and Ahmed Hammad, FEMTO-ST Institute / University of Bourgogne Franche-Comté (UBFC) 11:45-12:15 (30min)

12:15 - 14:00 (1h45)

Déjeuner

14:00 - 15:00 (1h)

AFADL

GAM - Grand Amphi de Math

Sophie Ebersold et Idir Ait Sadoune

› Model-Based Fuzz Testing for GNSS Receiver - Nina Haag, Daniel Prun and Antoine Blais, Fédération ENAC ISAE-SUPAERO ONERA, Université de Toulouse, France & Collins Aerospace 14:00-14:20 (20min)

› Implémentation des Bigraphes dans Coq - Cécile Marcon, Xavier Thirioux, Celia Picard and Cyril Allignol, ISAE SupAero, ENAC 14:20-14:40 (20min)

› Spécification et Vérification de propriétés Typestates avec Frama-C - 14:40-15:00 (20min)

15:00 - 16:00 (1h)

Posters et Démos

Salle C03

› Qontextium : estimation du degré de contextualité de configurations quantiques - Axel Muller, Université de Franche-Comté 15:00-15:15 (15min)

› TAGAda - Delphine Longuet, Thales Research & Technology 15:15-15:30 (15min)

› Un outil pour la manipulation d'hamiltoniens ... et de comptage des couplages parfaits - Mathieu Nguyen, Laboratoire Méthodes Formelles, Institut de Recherche en Informatique Fondamentale 15:30-15:45 (15min)

› Clôture des journées - Catherine Dubois, Ecole Nationale Supérieure dÍnformatique pour lÍndustrie et lÉntreprise 15:45-16:00 (15min)

16:00 - 16:30 (30min)

Pause

Programme