Programme

Semaine Lun. 05 Mar. 06 Mer. 07 Jeu. 08 Ven. 09 Liste

	Lun. 05	Mar. 06	Mer. 07	Jeu. 08	Ven. 09
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	Accueil et déjeuner 12:00 - 13:45 (1h45) Accueil et déjeuner Accueil et déjeuner Ouverture des journées 13:45 - 14:00 (15min) Ouverture des journées Amphithéatre TA Direction GDR Invités 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) GT IDM GT VL 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) Pause café 16:00 - 16:30 (30min) Pause café Amphithéatre TA GT IDM GT VL GT HiFi 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) Debate in pub (by Eclipse) - Delirium cafe 20:30 - 22:30 (2h) Debate in pub (by Eclipse) - Delirium cafe Eclipse	Invités 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) Pause café 10:30 - 11:00 (30min) Pause café Amphithéatre TA Nouvelles du CNRS 11:00 - 12:30 (1h30) Nouvelles du CNRS Amphithéatre TA › Nouvelles du CNRS - Olivier Serre, CNRS 11:00-12:30 (1h30) Déjeuner 12:30 - 14:00 (1h30) Déjeuner Amphithéatre TA GT IE GT MTV2 AFADL GT GLIA 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) Pause posters et démos Posters et DEMO 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) Prix de Thèse 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) Banquet - La Halle de la Brasserie 20:00 - 23:00 (3h) Banquet - La Halle de la Brasserie	Invités 9:30 - 10:30 (1h) Invités Amphithéatre TA › Revisiting Program Analysis through the Security Lens - Sébastien Bardin, CEA LIST 09:30-10:30 (1h) Pause café 10:30 - 11:00 (30min) Pause café Amphithéatre TA GT GLSec AFADL 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) Déjeuner 12:30 - 14:00 (1h30) Déjeuner Amphithéatre TA Invités 14:00 - 15:15 (1h15) 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) Pause café 15:15 - 15:45 (30min) Pause café Amphithéatre TA GT LVP AFADL 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) AG du GDR GPL (temps d'échanges) 17:15 - 18:30 (1h15) AG du GDR GPL (temps d'échanges) Amphithéatre TA Food Trucks @ Diapason && Art Performance (by Disnovation) 18:30 - 21:30 (3h) Food Trucks @ Diapason && Art Performance (by Disnovation) Food Trucks @ Diapason && Art Performance (by Disnovation)	Invités 9:00 - 10:30 (1h30) 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) Pause café 10:30 - 11:00 (30min) Pause café Amphi P ISTIC GT CLAP AFADL 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) Déjeuner 12:30 - 14:00 (1h30) Déjeuner Amphi P ISTIC GT Debugging GT Logiciel Eco-Responsable AFADL 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) Pause café 15:30 - 16:00 (30min) Pause café Amphithéatre TA GT Debugging GT Logiciel Eco-Responsable 16:00 - 17:30 (1h30) GT Debugging i50 ISTIC › 2 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.

Personnes connectées : 1

Vie privée