|
|
|
Programme
 |
Lun. 16 | Mar. 17 | Mer. 18 | Jeu. 19 |
|
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)
› A quel point les assistants de code comme GitHub Copilot consomment-il de l'énergie?
- Tristan Coignion, Inria Lille - Nord Europe
14:20-14:40 (20min)
› AndroWatts: Unpacking the Power Consumption of Mobile Device's Components
- Édouard Guégain, R&D GREENSPECTOR
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)
Démos
Amphi A
|
9:00 - 10:15 (1h15)
Conférences invités
Amphi A
Franck Barbier
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 - Valentin Bourcier, Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 - Benoit Combemale, Diversity-centric Software Engineering
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
- Benoit Combemale, 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
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
- Julien Brunel, 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
17:30 - 19:00 (1h30)
Atelier préparation concours
Salle 4 Palassou
|
9:00 - 10:15 (1h15)
Conférences invités
Amphi A
Frédéric Loulergue
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:18 (18min)
› 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:18-11:36 (18min)
› Continuous Secure Evolution of Software Models
- Chahrazed Boudjemila, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
11:36-11:54 (18min)
› BridgeSec: Facilitating effective communication between security engineering and systems engineering
- Nan Messe, Smart Modeling for softw@re Research and Technology
11:54-12:12 (18min)
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és
Amphi A
Federica Sarro
10:15 - 10:30 (15min)
Prix du meilleur poster
Amphi A
10:30 - 11:00 (30min)
Pause
11:00 - 12:30 (1h30)
GT IE + HIFI
Salle 1 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 Defense and Space, 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)
GT CLAP + YODA
Salle 2 Palassou
14:00 - 15:30 (1h30)
Atelier Défi IPP
Salle 1 Palassou
IPP
14:00 - 15:30 (1h30)
Atelier Défi PAE
Salle 2 Palassou
15:30 - 16:00 (30min)
Pause
Hall Sciences
16:00 - 17:30 (1h30)
Atelier Défis
Salle 1 Palassou
16:00 - 17:30 (1h30)
Atelier Défis
Salle 2 Palassou
16:00 - 17:30 (1h30)
Atelier Défis
Salle 3 Palassou
17:30 - 17:45 (15min)
Cloture des journées
Amphi A
|
