Programme

lundi 5 juin 2023

Heures événement (+)
12:00 - 13:45 Accueil et déjeuner - Accueil et déjeuner  
13:45 - 14:00 Ouverture des journées (Amphithéatre TA) - Direction GDR  
14:00 - 15:00 Conférences invités (Amphithéatre TA) (+)  
14:00 - 15:00 › Software Supply Chain - Benoît Baudry, KTH Royal Institute of Technology  
15:00 - 16:00 GT IDM (TD2) - Ingénierie Dirigée par les Modèles (+)  
15:00 - 15:35 › 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:35 - 16:00 › 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:00 - 16:00 GT VL (Amphithéatre TA) - Vélocité Logicielle (+)  
15:00 - 15:30 › HyperAST: Enabling Efficient Analysis of Software Histories at Scale - Quentin Le Dilavrec, Institut de Recherche en Informatique et Systèmes Aléatoires  
15:30 - 16:00 › Une théorie des organisations communautaires de maintenance de paquets - Théo Zimmerman, Télécom Paris  
16:00 - 16:30 Pause café (Amphithéatre TA)  
16:30 - 17:30 GT IDM (TD2) - Ingénierie Dirigée par les Modèles (+)  
16:30 - 17:10 › Model-Aided Engineering of Cyber-Physical and Socio-Technical Systems - Thuy Nguyen, EDF  
17:10 - 17:25 › Collaborative Security-by-Design Platform with Model-Driven Engineering approach - Othmane El Karmy, Université Toulouse - Jean Jaurès  
16:30 - 17:30 GT VL (Amphithéatre TA) - Vélocité Logicielle (+)  
16:30 - 17:00 › 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  
17:00 - 17:30 › Guiding Feature Models Synthesis from User-Stories: An Exploratory Approach - Thomas Georges, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier  
16:30 - 18:30 GT HiFi (TD2) - Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergents (+)  
16:30 - 17:00 › Stimulus : un langage de programmation synchrone à contrainte appliqué à la simulation d'exigences temps-réel fonctionnelles - Bertrand JEANNET, 3DS  
17:00 - 17:30 › 10 ans de "Precision Tuning" - Matthieu Martel, Université Perpignan Via Domitia  
20:30 - 22:30 Debate in pub (by Eclipse) - Delirium cafe - Eclipse  

mardi 6 juin 2023

Heures événement (+)
09:00 - 10:30 Conférences invités (Diapason) (+)  
09:00 - 10:30 › Sustainable digitalization: Why we need to shift away from Big Tech business models - Hugues Ferreboeuf, The Shift Project  
10:30 - 11:00 Pause café (Amphithéatre TA)  
11:00 - 12:30 Nouvelles du CNRS (Amphithéatre TA) (+)  
11:00 - 12:30 › Nouvelles du CNRS - Olivier Serre, CNRS  
12:30 - 14:00 Déjeuner (Amphithéatre TA)  
14:00 - 16:00 GT IE (TD2) - Ingénierie des Exigences (+)  
14:00 - 14:30 › Fouille des avis d'applications bilingues avec des modèles pré-entraînés et ChatGPT - Jialiang Wei, IMT Mines Ales  
14:30 - 15:00 › Exigences et conception globale de l'avion et sa chaîne d'assemblage - Anouck Chan, ONERA / DTIS / Université de Toulouse  
15:00 - 15:30 › Validations d'exigences au plus tôt - Jean-Michel Bruel, IRIT  
15:30 - 16:00 › Les défauts dans la spécification du logiciel de commande du LGS (Landing Gear System) - Thuy Nguyen, EDF  
14:00 - 16:00 GT MTV2 AFADL (Amphithéatre TA) - Méthodes de test pour la validation et la vérification + AFADL (+)  
14:00 - 14:05 › Ouverture - Natalia Kushik, Télécom SudParis  
14:05 - 14:35 › Pairwise Testing Revisited for Structured Data with Constraints - Hélène Waeselynck, LAAS-CNRS  
14:35 - 15:00 › On race detection in distributed systems using state models - Evgenii Vinarskii, Télécom SudParis, Institut Polytechnique de Paris  
15:00 - 15:30 › Energy Büchi Problems - Uli Fahrenberg, LRE, EPITA  
15:30 - 16:00 › Un support efficace des critères de couverture de test avancés pour Klee - Nikolai Kosmatov, Thales Research & Technology  
14:00 - 16:00 GT GLIA (TD6) - Génie Logiciel et Intelligence Artificielle (+)  
14:00 - 14:30 › MLinter: Learning Coding Practices from Examples - Dream or Reality? - Corentin Latappy, LaBRI  
14:30 - 15:00 › Performance prediction of configurable systems using machine learning - Paul Temple, Irisa  
15:00 - 15:30 › Benchmarks for ML4Code - Romain Robbes, LaBri  
16:00 - 17:00 Pause posters et démos (Amphithéatre TA)  
16:00 - 17:00 Posters et DEMO (+)  
16:00 - 17:00 › 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 › An extensible production-level debugger - Adrien Vanègue, Inria Lille - Nord Europe  
16:00 - 17:00 › 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 › 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 › 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 › From processes to automata: compactification theorem - Benoît Ballenghien, Laboratoire Méthodes Formelles  
16:00 - 17:00 › 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 › Interoperability and formal semantic proofs - Amélie Ledein, Laboratoire Méthodes Formelles, Inria, Deducteam  
16:00 - 17:00 › Revealing contextuality of quantum configurations with a SAT solver - Axel Muller - Université de Franche-Comté, CNRS, institut FEMTO-ST  
16:00 - 17:00 › Safe Dynamic Reconfiguration of Concurrent Component-based Applications - Salman Farhat, Inria Lille - Nord Europe  
16:00 - 17:00 › 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  
17:00 - 18:30 Prix de Thèse (Amphithéatre TA) (+)  
17:00 - 18:30 › Prix de thèse du GDR GPL 2022 - Pascal Poizat, LIP6  
20:00 - 23:00 Banquet - La Halle de la Brasserie  

mercredi 7 juin 2023

Heures événement (+)
09:30 - 10:30 Conférences invités (Amphithéatre TA) (+)  
09:30 - 10:30 › Revisiting Program Analysis through the Security Lens - Sébastien Bardin, CEA LIST  
10:30 - 11:00 Pause café (Amphithéatre TA)  
11:00 - 12:30 GT GLSec (TD2) - Salah Sadou (IRISA, UBS) (+)  
11:00 - 11:30 › Collaborative Security-by-Design Platform with Model-Driven Engineering approach - Othmane El Karm, IRIT  
11:30 - 12:00 › 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  
12:00 - 12:30 › Feature-based software architecture analysis to identify safety and security interactions - Oum El Kheir Aktouf, LCIS  
11:00 - 12:20 AFADL (Amphithéatre TA) (+)  
11:00 - 11:20 › Décider la contextualité de configurations quantiques avec un solveur SAT - Axel Muller, Université de Franche-Comté, CNRS, Institut FEMTO-ST  
11:20 - 11:50 › 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:50 - 12:20 › Vérification de modèles relationnels et temporels avec Pardinus - David Chemouil, ONERA DTIS, Université de Toulouse - Alcino Cunha, INESC TEC, University of Minho  
12:30 - 14:00 Déjeuner (Amphithéatre TA)  
14:00 - 15:15 Conférences invités (Amphithéatre TA) - Médaille d'argent du CNRS 2023 (+)  
14:00 - 15:15 › How to provide proof that software is bug-free? Verified compilation to the rescue - Sandrine Blazy, IRISA  
15:15 - 15:45 Pause café (Amphithéatre TA)  
15:45 - 17:15 GT LVP AFADL (Amphithéatre TA) - Langages et vérification de programmes + AFADL (+)  
15:45 - 16:15 › Une logique de séparation de haut niveau pour l'espace de tas en présence d'un glaneur de cellule - Alexandre Moine, Inria  
16:15 - 16:45 › Génération automatique de tests d'égalité corrects en Coq, en pratique - Jean-Christophe Léchenet, INRIA  
16:45 - 17:15 › Nondeterministic, Recursive, and Impure Programs in Coq - Ludovic Henrio, LIP  
17:15 - 18:30 AG du GDR GPL (temps d'échanges) (Amphithéatre TA)  
18:30 - 21:30 Food Trucks @ Diapason && Art Performance (by Disnovation) - Food Trucks @ Diapason && Art Performance (by Disnovation)  

jeudi 8 juin 2023

Heures événement (+)
09:00 - 10:30 Conférences invités (Diapason) (+)  
09:00 - 10:30 › 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)  
10:30 - 11:00 Pause café (Amphi P ISTIC)  
11:00 - 12:30 GT CLAP (i50 ISTIC) - Compilation, Langages, Analyses, Parallélisme (+)  
11:00 - 11:30 › RT-DFI : Optimizing Data-Flow Integrity for Real-Time Systems - Nicolas Bellec, Pushing Architecture and Compilation for Application Performance  
11:30 - 12:00 › Polymorphic Types with Polynomial Sizes - Jean-Louis Colaço, ANSYS  
12:00 - 12:30 › Co-optimizing Dataflow Graphs and Actors with MLIR - Pedro Ciambra, Institut d'Électronique et des Technologies du numéRique, Computer Systems Laboratory [Campinas]  
11:00 - 11:50 AFADL (Amphi P ISTIC) (+)  
11:00 - 11:20 › Cybersécurité pour les systèmes embarqués critiques à base d'Intelligence Artificielle - Céline Bellanger, enac  
11:20 - 11:50 › 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  
12:30 - 14:00 Déjeuner (Amphi P ISTIC)  
14:00 - 15:30 GT Debugging (i50 ISTIC) (+)  
14:00 - 14:30 › Finding Faults of Executable Models: Manually and Automatically - Faezeh Khorram, Huawei Technologies  
14:30 - 15:00 › Protocol-Based Interactive Debugging for Domain-Specific Languages - Josselin Enet, NaoMod  
15:00 - 15:30 › 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  
14:00 - 15:30 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 AFADL (Amphi P ISTIC) (+)  
14:00 - 14:30 › Approche Formelle Dirigée par les Modèles pour la Collaboration de DSLs - Salim Chehida, LIG, CNRS  
14:30 - 15:00 › Débogage Multivers de Modèles UML - Matthias Pasquier, Ertosgener  
15:00 - 15:10 › Clôture - Frédéric Mallet, Université Côte d'Azur  
15:30 - 16:00 Pause café (Amphithéatre TA)  
16:00 - 17:30 GT Debugging (i50 ISTIC) (+)  
16:00 - 16:30 › 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:30 - 17:00 › Comment faciliter le processus de debugging en tracant la compilation - Bruno Mateu, IMT Atlantique  
16:00 - 17:30 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.  

vendredi 9 juin 2023

Heures événement (+)
Personnes connectées : 2 Vie privée
Chargement...