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
9:00 - 10:30 (1h30)
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 (2h)
› Amphithéatre TA
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 (1h)
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 (3h)
20:00 - 23:00 (3h)
Banquet - La Halle de la Brasserie
