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
23:00
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 - 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
9:00 - 10:30 (1h30)
Conférences invités
Diapason
› Sustainable digitalization: Why we need to shift away from Big Tech business models
- Hugues Ferreboeuf, The Shift Project
09:00-10:30 (1h30)
10:30 - 11:00 (30min)
Pause café
Amphithéatre TA
11:00 - 12:30 (1h30)
Nouvelles du CNRS
Amphithéatre TA
› Nouvelles du CNRS
- Olivier Serre, CNRS
11:00-12:30 (1h30)
12:30 - 14:00 (1h30)
Déjeuner
Amphithéatre TA
14:00 - 16:00 (2h)
GT IE
TD2
Ingénierie des Exigences
› Fouille des avis d'applications bilingues avec des modèles pré-entraînés et ChatGPT
- Jialiang Wei, IMT Mines Ales
14:00-14:30 (30min)
› Exigences et conception globale de l'avion et sa chaîne d'assemblage
- Anouck Chan, ONERA / DTIS / Université de Toulouse
14:30-15:00 (30min)
› Validations d'exigences au plus tôt
- Jean-Michel Bruel, IRIT
15:00-15:30 (30min)
› Les défauts dans la spécification du logiciel de commande du LGS (Landing Gear System)
- Thuy Nguyen, EDF
15:30-16:00 (30min)
14:00 - 16:00 (2h)
GT MTV2 AFADL
Amphithéatre TA
Méthodes de test pour la validation et la vérification + AFADL
› Ouverture
- Natalia Kushik, Télécom SudParis
14:00-14:05 (05min)
› Pairwise Testing Revisited for Structured Data with Constraints
- Hélène Waeselynck, LAAS-CNRS
14:05-14:35 (30min)
› On race detection in distributed systems using state models
- Evgenii Vinarskii, Télécom SudParis, Institut Polytechnique de Paris
14:35-15:00 (25min)
› Energy Büchi Problems
- Uli Fahrenberg, LRE, EPITA
15:00-15:30 (30min)
› Un support efficace des critères de couverture de test avancés pour Klee
- Nikolai Kosmatov, Thales Research & Technology
15:30-16:00 (30min)
14:00 - 16:00 (2h)
GT GLIA
TD6
Génie Logiciel et Intelligence Artificielle
› MLinter: Learning Coding Practices from Examples - Dream or Reality?
- Corentin Latappy, LaBRI
14:00-14:30 (30min)
› Performance prediction of configurable systems using machine learning
- Paul Temple, Irisa
14:30-15:00 (30min)
› Benchmarks for ML4Code
- Romain Robbes, LaBri
15:00-15:30 (30min)
16:00 - 17:00 (1h)
Pause posters et démos
Amphithéatre TA
16:00 - 17:00 (1h)
Posters et DEMO
› A Collaborative Security-by-Design approach using Model-Driven Engineering
- Othmane El Karmy, Institut de recherche en informatique de Toulouse - Sophie Ebersold, Institut de recherche en informatique de Toulouse - nan messe, Institut de recherche en informatique de Toulouse - Mahmoud El Hamlaoui, Institut de recherche en informatique de Toulouse - Mahmoud Nassar, Institut de recherche en informatique de Toulouse
16:00-17:00 (1h)
› An extensible production-level debugger
- Adrien Vanègue, Inria Lille - Nord Europe
16:00-17:00 (1h)
› Analyse statique incrémentale pour la vérification de programmes par interprétation abstraite
- Mamy Razafintsialonina, Laboratoire d'Intégration des Systèmes et des Technologies
16:00-17:00 (1h)
› Animation of formal specifications of information systems with RoZ and JazaGUIv3 (demo)
- Yves Ledru, Validation de Systèmes, Composants et Objets logiciels
16:00-17:00 (1h)
› FML : un langage d'assemblage de modèles pour l'interopérabilité sémantique de sources d'information hétérogènes
- Sylvain Guérin, École Nationale Supérieure de Techniques Avancées Bretagne
16:00-17:00 (1h)
› From processes to automata: compactification theorem
- Benoît Ballenghien, Laboratoire Méthodes Formelles
16:00-17:00 (1h)
› HyperAST: Analyser efficacement de grands historiques de code
- Quentin Le Dilavrec, Institut de Recherche en Informatique et Systèmes Aléatoires - Djamel Eddine Khelladi, Institut de Recherche en Informatique et Systèmes Aléatoires - Arnaud Blouin, Institut de Recherche en Informatique et Systèmes Aléatoires - Jean-Marc Jézéquel, Institut de Recherche en Informatique et Systèmes Aléatoires
16:00-17:00 (1h)
› Interoperability and formal semantic proofs
- Amélie Ledein, Laboratoire Méthodes Formelles, Inria, Deducteam
16:00-17:00 (1h)
› Revealing contextuality of quantum configurations with a SAT solver
- Axel Muller - Université de Franche-Comté, CNRS, institut FEMTO-ST
16:00-17:00 (1h)
› Safe Dynamic Reconfiguration of Concurrent Component-based Applications
- Salman Farhat, Inria Lille - Nord Europe
16:00-17:00 (1h)
› Simplify interactions with models in MDE through instrumentation of model-based applications
- Asbathou Biyalou-Sama, Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
16:00-17:00 (1h)
17:00 - 18:30 (1h30)
Prix de Thèse
Amphithéatre TA
› Prix de thèse du GDR GPL 2022
- Pascal Poizat, LIP6
17:00-18:30 (1h30)
20:00 - 23:00 (3h)
Banquet - La Halle de la Brasserie
9:30 - 10:30 (1h)
Conférences invités
Amphithéatre TA
› Revisiting Program Analysis through the Security Lens
- Sébastien Bardin, CEA LIST
09:30-10:30 (1h)
10:30 - 11:00 (30min)
Pause café
Amphithéatre TA
11:00 - 12:30 (1h30)
GT GLSec
TD2
Salah Sadou (IRISA, UBS)
› Collaborative Security-by-Design Platform with Model-Driven Engineering approach
- Othmane El Karm, IRIT
11:00-11:30 (30min)
› Améliorer la confiance dans la chaine d'approvisionnement du logiciel avec les gestionnaires de paquets fonctionnels et la compilation reproductible
- Julien Malka, Telecom Paris
11:30-12:00 (30min)
› Feature-based software architecture analysis to identify safety and security interactions
- Oum El Kheir Aktouf, LCIS
12:00-12:30 (30min)
11:00 - 12:20 (1h20)
AFADL
Amphithéatre TA
› Décider la contextualité de configurations quantiques avec un solveur SAT
- Axel Muller, Université de Franche-Comté, CNRS, Institut FEMTO-ST
11:00-11:20 (20min)
› Vérification de propriétés interactives sur des systèmes réactifs interactifs
- Cécile Marcon, Institut Supérieur de lÁéronautique et de lÉspace
11:20-11:50 (30min)
› Vérification de modèles relationnels et temporels avec Pardinus
- David Chemouil, ONERA DTIS, Université de Toulouse - Alcino Cunha, INESC TEC, University of Minho
11:50-12:20 (30min)
12:30 - 14:00 (1h30)
Déjeuner
Amphithéatre TA
14:00 - 15:15 (1h15)
Conférences invités
Amphithéatre TA
Médaille d'argent du CNRS 2023
› How to provide proof that software is bug-free? Verified compilation to the rescue
- Sandrine Blazy, IRISA
14:00-15:15 (1h15)
15:15 - 15:45 (30min)
Pause café
Amphithéatre TA
15:45 - 17:15 (1h30)
GT LVP AFADL
Amphithéatre TA
Langages et vérification de programmes + AFADL
› Une logique de séparation de haut niveau pour l'espace de tas en présence d'un glaneur de cellule
- Alexandre Moine, Inria
15:45-16:15 (30min)
› Génération automatique de tests d'égalité corrects en Coq, en pratique
- Jean-Christophe Léchenet, INRIA
16:15-16:45 (30min)
› Nondeterministic, Recursive, and Impure Programs in Coq
- Ludovic Henrio, LIP
16:45-17:15 (30min)
17:15 - 18:30 (1h15)
AG du GDR GPL (temps d'échanges)
Amphithéatre TA
18:30 - 21:30 (3h)
Food Trucks @ Diapason && Art Performance (by Disnovation)
Food Trucks @ Diapason && Art Performance (by Disnovation)
9:00 - 10:30 (1h30)
Conférences invités
Diapason
› Global Warming: The need for a new model of development and the key role of higher education
- Jean Jouzel, Scientific Working Group of the Intergovernmental Panel on Climate Change (IPCC)
09:00-10:30 (1h30)
10:30 - 11:00 (30min)
Pause café
Amphi P ISTIC
11:00 - 12:30 (1h30)
GT CLAP
i50 ISTIC
Compilation, Langages, Analyses, Parallélisme
› RT-DFI : Optimizing Data-Flow Integrity for Real-Time Systems
- Nicolas Bellec, Pushing Architecture and Compilation for Application Performance
11:00-11:30 (30min)
› Polymorphic Types with Polynomial Sizes
- Jean-Louis Colaço, ANSYS
11:30-12:00 (30min)
› Co-optimizing Dataflow Graphs and Actors with MLIR
- Pedro Ciambra, Institut d'Électronique et des Technologies du numéRique, Computer Systems Laboratory [Campinas]
12:00-12:30 (30min)
11:00 - 11:50 (50min)
AFADL
Amphi P ISTIC
› Cybersécurité pour les systèmes embarqués critiques à base d'Intelligence Artificielle
- Céline Bellanger, enac
11:00-11:20 (20min)
› Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique
- Romain Pascual, MICS, CentraleSupélec, Université Paris-Saclay
11:20-11:50 (30min)
12:30 - 14:00 (1h30)
Déjeuner
Amphi P ISTIC
14:00 - 15:30 (1h30)
GT Debugging
i50 ISTIC
› Finding Faults of Executable Models: Manually and Automatically
- Faezeh Khorram, Huawei Technologies
14:00-14:30 (30min)
› Protocol-Based Interactive Debugging for Domain-Specific Languages
- Josselin Enet, NaoMod
14:30-15:00 (30min)
› Prototypage IHM pour la défense : déboguage et correctifs distribués à chaud et sans interruption de système collaboratifs en cours d'exécution
- Pierre Laborde, Thales DMS
15:00-15:30 (30min)
14:00 - 15:30 (1h30)
GT Logiciel Eco-Responsable
i51 ISTIC
Adel Noureddine - Nous ferons le bilan des activités du GT depuis l'année dernière, présenterons les défis et les actions à venir, et discuterions avec la communauté pour planifier les travaux à venir.
14:00 - 15:10 (1h10)
AFADL
Amphi P ISTIC
› Approche Formelle Dirigée par les Modèles pour la Collaboration de DSLs
- Salim Chehida, LIG, CNRS
14:00-14:30 (30min)
› Débogage Multivers de Modèles UML
- Matthias Pasquier, Ertosgener
14:30-15:00 (30min)
› Clôture
- Frédéric Mallet, Université Côte d'Azur
15:00-15:10 (10min)
15:30 - 16:00 (30min)
Pause café
Amphithéatre TA
16:00 - 17:30 (1h30)
GT Debugging
i50 ISTIC
› Détection des anomalies d'ordonnancement dans un système temps réel
- Blandine Djika, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
16:00-16:30 (30min)
› Comment faciliter le processus de debugging en tracant la compilation
- Bruno Mateu, IMT Atlantique
16:30-17:00 (30min)
16:00 - 17:30 (1h30)
GT Logiciel Eco-Responsable
i51 ISTIC
Adel Noureddine - Nous ferons le bilan des activités du GT depuis l'année dernière, présenterons les défis et les actions à venir, et discuterions avec la communauté pour planifier les travaux à venir.
