Programme
| 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 |
|
| 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 |
|
| 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) |
|
| 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. |
|
|
Chargement...