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

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 - 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

Programme