GDR-GPL-2023 : Journées nationales du GDR GPL 2023

12:00 - 13:45 (1h45)

Accueil et déjeuner

13:45 - 14:00 (15min)

Ouverture des journées

Amphithéatre TA

Direction GDR

14:00 - 15:00 (1h)

Invités

Amphithéatre TA

› Software Supply Chain - Benoît Baudry, KTH Royal Institute of Technology 14:00-15:00 (1h)

15:00 - 16:00 (1h)

GT IDM

TD2

Ingénierie Dirigée par les Modèles

› Ongoing Work on Domain-Specific Modeling for Early Design Evaluation with the Help of Formal Methods for Correctness and Completeness Guarantees - Gurvan Le Guernic, DGA Maîtrise de l'information & Université de Rennes 15:00-15:35 (35min)

› FaST: A Model-Driven Framework For Efficient Visualization Of Large-Scale Time Series - Manele Ait Habouche, Université de Bretagne Occidentale - UFR Sciences et Techniques 15:35-16:00 (25min)

15:00 - 16:00 (1h)

GT VL

Amphithéatre TA

Vélocité Logicielle

› HyperAST: Enabling Efficient Analysis of Software Histories at Scale - Quentin Le Dilavrec, Institut de Recherche en Informatique et Systèmes Aléatoires 15:00-15:30 (30min)

› Une théorie des organisations communautaires de maintenance de paquets - Théo Zimmerman, Télécom Paris 15:30-16:00 (30min)

16:00 - 16:30 (30min)

Pause café

Amphithéatre TA

16:30 - 17:30 (1h)

GT IDM

TD2

Ingénierie Dirigée par les Modèles

› Model-Aided Engineering of Cyber-Physical and Socio-Technical Systems - Thuy Nguyen, EDF 16:30-17:10 (40min)

› Collaborative Security-by-Design Platform with Model-Driven Engineering approach - Othmane El Karmy, Université Toulouse - Jean Jaurès 17:10-17:25 (15min)

16:30 - 17:30 (1h)

GT VL

Amphithéatre TA

Vélocité Logicielle

› On the Benefits and Limits of Incremental Build of Software Configurations: An Exploratory Study - Georges Aaron Randrianaina, Institut de Recherche en Informatique et Systèmes Aléatoires 16:30-17:00 (30min)

› Guiding Feature Models Synthesis from User-Stories: An Exploratory Approach - Thomas Georges, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier 17:00-17:30 (30min)

16:30 - 18:30 (2h)

GT HiFi

TD2

Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergents

› Stimulus : un langage de programmation synchrone à contrainte appliqué à la simulation d'exigences temps-réel fonctionnelles - Bertrand JEANNET, 3DS 16:30-17:00 (30min)

› 10 ans de Precision Tuning - Matthieu Martel, Université Perpignan Via Domitia 17:00-17:30 (30min)

20:30 - 22:30 (2h)

Debate in pub (by Eclipse) - Delirium cafe

Eclipse

Programme