09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
20:00
21:00
22:00
9:00 - 10:15 (1h15)
Conférences invitées
Amphi A
Frédéric Loulergue
› Approches formelles pour les composants et outils système
- Frédéric Loulergue, LIFO
09:00-10:15 (1h15)
10:15 - 10:30 (15min)
Poster Teasers
Amphi A
›10:30 (30min)
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:20 (20min)
› 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:20-11:40 (20min)
› Continuous Secure Evolution of Software Models
- Chahrazed Boudjemila, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
11:40-12:00 (20min)
› BridgeSec: Facilitating effective communication between security engineering and systems engineering
- Nan Messe, Smart Modeling for softw@re Research and Technology
12:00-12:20 (20min)
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 (30min)
15:00 - 15:30 (30min)
Notre défi en 180s
Jean-Michel Bruel
15:30 - 16:00 (30min)
Pause
Hall Sciences
›16:00 (30min)
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 (2h30)
19:30 - 22:00 (2h30)
Gala @ AYGO
