12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
20:00
21:00
22:00
›12:00 (1h45)
12:00 - 13:45 (1h45)
Accueil et déjeuner
Accueil et déjeuner
13:45 - 14:00 (15min)
Ouverture des journées
Amphithéatre TA
Direction GDR
14:00 - 15:00 (1h)
Conférences 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 (2h)
› TD2
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 (2h)
20:30 - 22:30 (2h)
Debate in pub (by Eclipse) - Delirium cafe
Eclipse
