12:00
13:00
14:00
15:00
16:00
17: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)
