Journées Nationales du GDR GPL 2025

9:00 - 10:15 (1h15)

Conférences invités

Amphi A

Frédéric Loulergue

10:15 - 10:30 (15min)

Poster Teasers

Amphi A

10:30 - 11:00 (30min)

Pause

11:00 - 12:30 (1h30)

GT IDM

Salle 1 Palassou

› Intégration d'Exigences Exécutables dans le Prototypage - Yann Le Goff, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance, Thales DMS France, SAS 11:00-11:18 (18min)

› 10 years of Model Federation with Openflexo: Challenges and Lessons Learned - Sylvain Guérin, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance 11:18-11:36 (18min)

› Continuous Secure Evolution of Software Models - Chahrazed Boudjemila, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance 11:36-11:54 (18min)

› BridgeSec: Facilitating effective communication between security engineering and systems engineering - Nan Messe, Smart Modeling for softw@re Research and Technology 11:54-12:12 (18min)

11:00 - 12:30 (1h30)

GT MTV2 - AFADL

Salle 2 Palassou

› Apprentissage et test pour les machines à états finis temporisées avec délais de sortie - Evgenii Vinarskii, Télécom SudParis 11:00-11:25 (25min)

› Experimental Evaluation of LLMs for Test Generation - Yves Ledru, Laboratoire d'Informatique de Grenoble 11:25-11:50 (25min)

› Projet ASMA VéDySec : Vérification Dynamique de Propriétés de Sécurité - Nikolai Kosmatov, Thales Research and Technology, cortAIx Labs 11:50-12:10 (20min)

› Projet ANR RAPID VVaMIA - Vérification et Validation des systèmes embarqués augmentés par les Modèles et l'IA générative - Dorine Tabary, FEMTO-ST Institute 12:10-12:30 (20min)

12:30 - 14:00 (1h30)

Déjeuner (+ posters)

Restaurant Universitaire

14:00 - 15:00 (1h)

Nouvelles du CNRS

Amphi A

15:00 - 15:30 (30min)

Notre défi en 180s

Jean-Michel Bruel

15:30 - 16:00 (30min)

Pause

Hall Sciences

16:00 - 16:30 (30min)

Notre défi en 180s

16:30 - 17:30 (1h)

Assemblée Générale du GDR

Amphi A

19:30 - 22:00 (2h30)

Gala @ AYGO

Programme