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
12:30 - 13:45 (1h15)
Accueil
Hall Sciences
13:45 - 14:00 (15min)
Ouverture des journées
Amphi A
14:00 - 15:30 (1h30)
GT GLSec
Salle 1 Palassou
Chouki Tibermacine
› A Model-based Approach for Assessing the Security of Cyber-Physical Systems
- Dominique Blouin, Laboratoire Traitement et Communication de l'Information
14:00-14:30 (30min)
› Gestion automatisée des consentements pour la protection des données personnelles
- Selena Lamari, MaReL
14:30-15:00 (30min)
› Lutte Informatique d'Influence - Une approche conceptuelle pour la détection de Fakes News
- Nicolas Belloir, IRISA
15:00-15:30 (30min)
14:00 - 15:30 (1h30)
GT Logiciel Eco-Responsable
Salle 2 Palassou
› Prédiction de bornes paramétriques de consommation énergétique : point de vue et perspectives de l'interprétation abstraite
- Louis Rustenholz, Universidad Politecnica de Madrid, IMDEA Software Institute
14:00-14:20 (20min)
› AndroWatts: Unpacking the Power Consumption of Mobile Device's Components
- Édouard Guégain, R&D GREENSPECTOR
14:20-14:40 (20min)
› A quel point les assistants de code comme GitHub Copilot consomment-ils de l'énergie?
- Tristan Coignion, Inria Lille - Nord Europe
14:40-15:00 (20min)
› Investigating the Impact of Software Design Patterns on Energy Consumption
- Adel Noureddine, IUT des Pays de l'Adour - Olivier Le Goaer, LIUPPA
15:00-15:20 (20min)
14:00 - 15:30 (1h30)
AFADL
Salle 3 Palassou
› Langage de spécification de contexte pour vérifier formellement des propriétés de consentement sur des modèles et du code
- Myriam Clouet, Université d'Orléans, LIFO
14:00-14:25 (25min)
› Project & Conquer : Élimination de quantificateurs pour la vérification de problèmes d'accessibilité dans les réseaux de Petri
- Nicolas Amat, ONERA
14:25-14:50 (25min)
› Transformations automatisés de preuves Coq
- Alexandre Jean, ICube UMR 7357 CNRS - Université de Strasbourg
14:50-15:05 (15min)
› Approche neuro-symbolique pour générer un référentiel de test
- Eléa Jacquin, Université Marie et Louis Pasteur - FEMTO-ST
15:05-15:20 (15min)
15:30 - 16:00 (30min)
Pause
Hall Sciences
16:00 - 17:30 (1h30)
Posters et démos
Amphi A
› TAF : un outil de génération de cas de test supportant les structures définies récursivement
- Valentin Bouziat, Laboratoire d'analyse et d'architecture des systèmes
16:00-16:30 (30min)
› Test de programmes apprenant en ligne : une approche à base de scénarios
- Maxence Demougeot, Institut de recherche en informatique de Toulouse
16:30-17:00 (30min)
› ML pipelines profiling for variability-aware exploration and FATES evaluation
- Nicolas Lacroix, Scalable and Pervasive softwARe and Knowledge Systems
17:00-17:30 (30min)
9:00 - 10:15 (1h15)
Conférences invitées
Amphi A
Franck Barbier
› Économie de la Programmation et du Logiciel
- Franck Barbier, Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour
09:00-10:15 (1h15)
10:15 - 10:30 (15min)
Poster Teasers
Amphi A
10:30 - 11:00 (30min)
Pause
11:00 - 12:30 (1h30)
GT VL
Salle 1 Palassou
› Exploring Performance of Configurable Software Systems: the JHipster Case Study
- Édouard Guégain, Self-adaptation for distributed services and large software systems
11:00-11:22 (22min)
› Does Functional Package Management Enable Reproducible Builds at Scale? Yes
- Théo Zimmermann, Laboratoire Traitement et Communication de lÍnformation
11:22-11:44 (22min)
› Roseau: Fast, Accurate, Source-based API Breaking Change Analysis in Java
- Corentin Latappy, Laboratoire Bordelais de Recherche en Informatique
11:44-12:06 (22min)
› Fingerprinting and Building Large Reproducible Datasets
- Romain Lefeuvre, Diversity-centric Software Engineering
12:06-12:28 (22min)
11:00 - 12:30 (1h30)
Jumeaux Numériques (EDT)
Salle 2 Palassou
11:00 - 12:30 (1h30)
GT LVP - AFADL
Salle 3 Palassou
› Prouvez vos coloriages: vérification formelle du coloriage de cache de l'hyperviseur Bao
- Nikolai Kosmatov, cortAIx Labs
11:00-11:25 (25min)
› BICOQ : une formalisation des bigraphes dans Coq
- Cécile Marcon, ISAE-SUPAERO
11:25-11:50 (25min)
› Une sémantique mécanisée d'un langage FRP avec effets
- Jordan Ischard, LIFO
11:50-12:15 (25min)
› Langage Chips : Modélisation et contrôle de systèmes distribués à base de composants
- Anna Gallone, FEMTO-ST
12:15-12:30 (15min)
12:30 - 14:00 (1h30)
Déjeuner (+ posters)
Restaurant Universitaire
14:00 - 15:30 (1h30)
GT DevX
Salle 1 Palassou
Benoit Combemale, Valentin Bourcier, Steven Costiou
› DevX : introduction du groupe de travail
- Steven Costiou, Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
14:00-14:20 (20min)
› Gamifying model-based engineering: The PapyGame tool
- Jean-Michel Bruel, Smart Modeling for softw@re Research and Technology
14:20-14:40 (20min)
› On Polyglot Program Testing
- Philémon Houdaille, Diversity-centric Software Engineering
14:40-15:00 (20min)
› What the Fix? A Study of ASATs Rule Documentation
- Jean-Rémy Falleri, Laboratoire Bordelais de Recherche en Informatique
15:00-15:20 (20min)
14:00 - 15:30 (1h30)
GT GLIA
Salle 2 Palassou
Romain Robbes
› Présentation du projet WestOps
- Paul Temple, Institut de Recherche en Informatique et Systèmes Aléatoires
14:00-14:22 (22min)
› Présentation du projet AdaptiveMLOps
- Christelle Urtado, IMT - MINES ALES
14:23-14:45 (22min)
› Présentation du projet PROFIL
- Nicolas Lacroix, Scalable and Pervasive softwARe and Knowledge Systems
14:45-15:07 (22min)
› Présentation du projet FATES-MLOps
- Jean-Michel Bruel, Smart Modeling for softw@re Research and Technology
15:08-15:30 (22min)
14:00 - 15:30 (1h30)
AFADL
Salle 3 Palassou
› Découverte de processus probabiliste avec des arbres de processus stochastiques
- Pierre Cry, Université Paris-Saclay, CentraleSupélec, Laboratoire MICS
14:00-14:25 (25min)
› Tail Modulo Async-Await
- Emma Nardino, ENS Lyon, Univ Lyon, UCBL, CNRS, Inria, LIP, France
14:25-14:50 (25min)
› Model Checking de LTL sur Traces Finies et Infinies avec Domaines Concrets
- David Doose, DTIS, ONERA, Université de Toulouse
14:50-15:15 (25min)
› VASSAL Project: Verification and Analysis for Safety and Security of Applications in Life
- Julien Signoles, Université Paris-Saclay, CEA, List
15:15-15:30 (15min)
15:30 - 16:00 (30min)
Pause
Hall Sciences
16:00 - 17:30 (1h30)
Prix de Thèse
Amphi A
› Prix de thèse
- Pascal Poizat, LIP6
16:00-17:30 (1h30)
17:30 - 19:00 (1h30)
Atelier préparation concours
Salle 4 Palassou
9:00 - 10:15 (1h15)
Conférences invitées
Amphi A
Frédéric Loulergue
› Approches formelles pour les composants et outils système
- Frédéric Loulergue, LIFO
09:00-10:15 (1h15)
10:15 - 10:30 (15min)
Poster Teasers
Amphi A
10:30 - 11:00 (30min)
Pause
11:00 - 12:30 (1h30)
GT IDM
Salle 1 Palassou
› Intégration d'Exigences Exécutables dans le Prototypage
- Yann Le Goff, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance, Thales DMS France, SAS
11:00-11:20 (20min)
› 10 years of Model Federation with Openflexo: Challenges and Lessons Learned
- Sylvain Guérin, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
11:20-11:40 (20min)
› Continuous Secure Evolution of Software Models
- Chahrazed Boudjemila, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
11:40-12:00 (20min)
› BridgeSec: Facilitating effective communication between security engineering and systems engineering
- Nan Messe, Smart Modeling for softw@re Research and Technology
12:00-12:20 (20min)
11:00 - 12:30 (1h30)
GT MTV2 - AFADL
Salle 2 Palassou
› Apprentissage et test pour les machines à états finis temporisées avec délais de sortie
- Evgenii Vinarskii, Télécom SudParis
11:00-11:25 (25min)
› Experimental Evaluation of LLMs for Test Generation
- Yves Ledru, Laboratoire d'Informatique de Grenoble
11:25-11:50 (25min)
› Projet ASMA VéDySec : Vérification Dynamique de Propriétés de Sécurité
- Nikolai Kosmatov, Thales Research and Technology, cortAIx Labs
11:50-12:10 (20min)
› Projet ANR RAPID VVaMIA - Vérification et Validation des systèmes embarqués augmentés par les Modèles et l'IA générative
- Dorine Tabary, FEMTO-ST Institute
12:10-12:30 (20min)
12:30 - 14:00 (1h30)
Déjeuner (+ posters)
Restaurant Universitaire
14:00 - 15:00 (1h)
Nouvelles du CNRS
Amphi A
15:00 - 15:30 (30min)
Notre défi en 180s
Jean-Michel Bruel
15:30 - 16:00 (30min)
Pause
Hall Sciences
16:00 - 16:30 (30min)
Notre défi en 180s
16:30 - 17:30 (1h)
Assemblée Générale du GDR
Amphi A
19:30 - 22:00 (2h30)
Gala @ AYGO
9:00 - 10:15 (1h15)
Conférences invitées
Amphi A
Federica Sarro
› Search-Based Software Engineering for Greener and Fairer Artificial Intelligence Systems
- Federica Sarro, University College, London
09:00-10:15 (1h15)
10:15 - 10:30 (15min)
Prix du meilleur poster
Amphi A
10:30 - 11:00 (30min)
Pause
11:00 - 12:30 (1h30)
GT CLAP + YODA
Salle 1 Palassou
Frédéric Dabrowski
› Simulations et compilation vérifiée
- Nicolas Chappe, Verimag
11:00-11:30 (30min)
› Vérification formelle de propriétés interactives: retours d'expérience
- Cécile Marcon, Fédération ENAC ISAE-SUPAERO ONERA
11:30-12:00 (30min)
11:00 - 12:30 (1h30)
GT IE + HIFI
Salle 2 Palassou
› Exigences de qualité extra-fonctionnelles des LLMs
- Jean-Michel Bruel, IRIT
11:00-11:45 (45min)
› Leveraging Verification to Enhance Formal Explainable AI for Neural Networks
- Ryma Boumazouza, Airbus S.A.S., Toulouse
11:45-12:15 (30min)
› Discussion
- Sylvain CONCHON, Laboratoire Méthodes Formelles - Aurélie Hurault, Université de Toulouse, IRIT-ENSEEIHT - Régine Laleau, Laboratoire d'Algorithmique Complexité et Logique - Thomas Polacsek, ONERA, Université de Toulouse [Toulouse]
12:15-12:30 (15min)
12:30 - 14:00 (1h30)
Déjeuner (+ posters)
Restaurant Universitaire
14:00 - 15:30 (1h30)
Atelier Défi TRUSTED
Salle 1 Palassou
Thomas Degueule
14:00 - 15:30 (1h30)
Atelier Défi IPP
Salle 2 Palassou
IPP
14:00 - 15:30 (1h30)
Atelier Défi PAE
Salle 3 Palassou
14:00 - 15:30 (1h30)
Atelier Défis ADAPT
Salle 4 Palassou
14:00 - 15:30 (1h30)
Atelier Défis IA
Salle 4 Palassou
14:00 - 15:30 (1h30)
Atelier Défi GL4Sec
Nikolai Kosmatov
14:00 - 15:30 (1h30)
Atelier Défi FadingICT
Hall Sciences
15:30 - 15:45 (15min)
Cloture des journées
Amphi A
