Programme
| Heures |
événement |
(+)
|
|
08:30 - 09:00
|
Accueil des participants (Espace d'interaction et de convivialité) |
|
|
09:00 - 11:00
|
Exposés invités (Salle Principale ) - Président de session : Jean-Michel Bruel |
(+)
|
|
09:00 - 10:30 |
› Réparation Automatique des Logiciels: le Rêve et la Fantaisie - Tegawandé BISSYANDE, Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] |
|
|
11:00 - 12:00
|
Nouvelles du CNRS (Salle Principale ) - Adeline NAZARENKO |
|
|
12:00 - 13:30
|
Déjeuner (Espace d'interaction et de convivialité) |
|
|
13:30 - 15:30
|
Session GT GLIA (Salle Principale ) - David Delahaye et Anne Etien |
(+)
|
|
13:30 - 14:00 |
› Bug or not bug? That is the question. - Quentin Perez, EuroMov - Digital Health in Motion |
|
|
14:00 - 14:30 |
› Transfer learning of Kernel configuration performance across Linux versions - Hugo Martin, Institut de Recherche en Informatique et Systèmes Aléatoires |
|
|
14:30 - 15:00 |
› Planification automatique des reconfigurations des systèmes distribués - Simon Robillard, IMT Atlantique Bretagne-Pays de la Loire |
|
|
15:00 - 15:30 |
› Wise Object - Ilham Alloui, Laboratoire dÍnformatique, Systèmes, Traitement de lÍnformation et de la Connaissance - Flavien Vernier, Laboratoire dÍnformatique, Systèmes, Traitement de lÍnformation et de la Connaissance |
|
|
15:30 - 16:00
|
Pause café (Espace d'interaction et de convivialité) |
|
|
16:00 - 17:30
|
EJCP (Salle EJCP) - Programme |
|
| Heures |
événement |
(+)
|
|
08:30 - 09:00
|
Pause café (Espace d'interaction et de convivialité) |
|
|
09:00 - 11:00
|
Prix de Thèse du GDR GPL (Salle Principale ) - Président.e.s de séance : Pascale Legall et Pascal Poizat |
(+)
|
|
09:05 - 09:50 |
› Procédures de décision pour l'analyse de vulnérabilités - Benjamin Farinier - CEA LIST |
|
|
09:50 - 10:20 |
› EMI: Une approche pour unifier l'analyse et l'exécution embarquée à l'aide d'un interpréteur de modèles pilotable - Valentin Besnard - ESEO-Tech |
|
|
10:20 - 10:50 |
› Sémantique Mécanisée et Compilation Vérifiée pour un Langage Synchrone à Flots de Données avec Réinitialisation - Lélio Brun - Ecole Normale Supérieure Paris-Saclay |
|
|
11:00 - 12:00
|
AG du GDR GPL (Salle Principale ) |
|
|
12:00 - 13:30
|
Déjeuner (Espace d'interaction et de convivialité) |
|
|
13:30 - 15:30
|
Session GT Secu-GL (Salle 1) - Salah Sadou, Nicole Levy et Isabelle Borne |
(+)
|
|
13:30 - 14:10 |
› Présentation DU GT Secu-GL - Salah Sadou, Institut de Recherche en Informatique et Systèmes Aléatoires |
|
|
14:10 - 14:40 |
› Identification automatique des vulnérabilités de sécurité dans les systèmes logiciels - Raounak Benabidallah, Institut de Recherche en Informatique et Systèmes Aléatoires |
|
|
14:40 - 15:10 |
› RAICC: Revealing Atypical Inter-Component Communication in Android Apps - Jordan Samhi, Université du Luxembourg |
|
|
15:10 - 15:30 |
› Discussion sur l'organisation et les actions du GT Secu-GL - Salah Sadou, Institut de Recherche en Informatique et Systèmes Aléatoires, Institut de Recherche en Informatique et Systèmes Aléatoires |
|
|
13:30 - 15:30
|
Session GT Debugging (Salle 2) |
(+)
|
|
13:30 - 14:00 |
› Présentation du GT debugging - Steven Costiou - CRIStAL, Benoit Combemale - Diverse |
|
|
14:00 - 14:30 |
› Monilogging for Executable DSLs - Dorian Leroy, Diverse |
|
|
14:30 - 15:00 |
› Sub-method, partial behavioral reflection with Reflectivity - Marcus Denker, CRIStAL |
|
|
15:00 - 15:30 |
› GT debugging: table ronde - Steven Costiou - CRIStAL, Benoit Combemale - Diverse |
|
|
13:30 - 15:30
|
Session GT Yoda (Salle 3) |
(+)
|
|
13:30 - 13:45 |
› Presentation of GT Yoda - Rabéa Ameur-Boulifa, Télécom Paris - Simon Bliudze, INRIA Lille - Nord Europe, Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 - Hélène Coullon, IMT Atlantique Bretagne-Pays de Loire |
|
|
13:45 - 14:20 |
› Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies - Olga Kouchnarenko - FEMTO-ST Institute |
|
|
14:20 - 14:55 |
› CoSim20: un environnement pour la simulation collaborative et distribuée - Julien Deantoni, Laboratoire dÍnformatique, Signaux, et Systèmes de Sophia Antipolis |
|
|
14:55 - 15:30 |
› On Reducing the Energy Consumption of Software Product Lines - Édouard Guegain, Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189, Inria Lille - Nord Europe - Clément Quinton, Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189, Inria Lille - Nord Europe |
|
|
15:30 - 16:00
|
Pause café (Espace d'interaction et de convivialité) |
|
|
16:00 - 17:30
|
EJCP (Salle EJCP) - Programme |
|
| Heures |
événement |
(+)
|
|
08:30 - 09:00
|
Pause café (Espace d'interaction et de convivialité) |
|
|
09:00 - 11:00
|
Exposés invités (Salle Principale ) - Oratrice : Patricia Bouyer-Decitre - Présidente Session : Catherine Dubois |
(+)
|
|
09:00 - 10:30 |
› De l'analyse automatique de systèmes temporisés au contrôle de systèmes dynamiques - Patricia Bouyer-Decitre, Laboratoire Méthodes Formelles |
|
|
11:00 - 12:00
|
Session posters et démos (Salle des Posters) |
|
|
12:00 - 13:30
|
Déjeuner (Espace d'interaction et de convivialité) |
|
|
13:30 - 15:30
|
Session GT Logiciel Éco-Responsable (Salle 2) - Programme : présentation, talks, table ronde |
(+)
|
|
13:30 - 14:00 |
› Présentation et activités du GT - Adel Noureddine, LIUPPA |
|
|
14:00 - 14:20 |
› Green Is the New Clean - Olivier Le Goaer, LIUPPA |
|
|
14:30 - 14:50 |
› Retour d'expérience sur l'enseignement du Green IT - Adel Noureddine, LIUPPA |
|
|
14:50 - 15:30 |
› Table ronde - Adel Noureddine, LIUPPA |
|
|
13:30 - 15:30
|
AFADL et GT LVP (Salle 1) - Session GT LVP
Président de session : Julien Signoles.
Voir le site d'AFADL pour accéder à l'ensemble des actes. |
(+)
|
|
13:30 - 14:00 |
› Pas de Pannes, Pas d'Exploits: Vérification Automatique de Noyaux Embarqués - Sébastien Bardin, CEA LIST |
|
|
14:00 - 14:30 |
› Modèle de fuite structurée & applications à la compilation sécurisée - Vincent Laporte |
|
|
14:30 - 15:00 |
› Un prouveur automatique pour la géométrie projective et son intégration à Coq - Nicolas Magaud |
|
|
15:00 - 15:30 |
› Unsolvability of the Quintic Formalized in Dependent Type Theory - Cyril Cohen |
|
|
13:30 - 15:30
|
AFSEC (Salle 3) - Mehdi Lhommeau, Loïg Jezequel |
(+)
|
|
13:30 - 14:10 |
› Une approche polyédrique pour la vérification SMT de réseaux de Petri - Nicolas Amat, Laboratoire dánalyse et dárchitecture des systèmes |
|
|
14:10 - 14:50 |
› SMT-Based Bounded Model Checking of Max-Plus Linear Systems - Muhammad Syifa'ul Mufid, Institut Teknologi Sepuluh Nopember Surabaya |
|
|
14:50 - 15:30 |
› DEPS : A language for modeling and solving system synthesis problem - Pierre-Alain Yvars, Laboratoire QUARTZ - Laurent Zimmer, Dassault Aviation |
|
|
15:30 - 16:00
|
Pause café (Espace d'interaction et de convivialité) |
|
|
16:00 - 17:30
|
EJCP (Salle EJCP) - Programme |
|
| Heures |
événement |
(+)
|
|
08:30 - 09:00
|
Pause café (Espace d'interaction et de convivialité) |
|
|
09:00 - 11:00
|
Atelier "Préparer votre dossier de Candidature" (Salle 3) - Laurence Duchien et Sandrine Blazy |
(+)
|
|
09:00 - 11:00 |
› Atelier pour les jeunes chercheurs de préparation aux concours CNRS - Sandrine Blazy, Institut de Recherche en Informatique et Systèmes Aléatoires |
|
|
09:00 - 11:30
|
AFADL (Salle 1) - Session 2
Président de session : Yves Ledru
Programme sur le site AFADL |
|
|
09:00 - 11:30
|
CIEL (Salle 2) - Site de Ciel; Présidente de session : Anne Etien |
|
|
11:30 - 13:30
|
Pause café (Espace d'interaction et de convivialité) |
|
|
13:30 - 15:30
|
AFADL et GT MTV2 (Salle 1) - Session GT MTV2
Voir le site d'AFADL pour accéder à l'ensemble des actes. |
(+)
|
|
13:30 - 14:00 |
› Binsec/Rel : Exécution Symbolique Relationnelle Efficace pour Analyse de Binaire Constant-Time - Lesly-Ann Daniel, CEA LIST |
|
|
14:00 - 14:25 |
› Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities - Manh-Dung Nguyen - CEA LIST |
|
|
14:25 - 14:50 |
› Détection d'objectifs de test polluants pour les critères de flot de données - Thibault Martin, CEA LIST |
|
|
14:50 - 15:20 |
› Identifying and Generating Missing Tests using Machine Learning on Execution Traces - Frédéric Tamagnan, Orange, Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) |
|
|
13:30 - 15:30
|
Session GT CLAP et HIFI (Salle 2) - - E. Saillard - S. Conchon - A. Hurault - L. Henrio - K. Martin |
(+)
|
|
13:30 - 14:10 |
› Sound Semantic Static Analysis for Multiple Languages in the MOPSA Project - Antoine Miné, Laboratoire dÍnformatique de Paris 6 |
|
|
14:10 - 14:50 |
› Verification of FIFO systems - Etienne Lozes, Laboratoire dÍnformatique, Signaux, et Systèmes de Sophia Antipolis |
|
|
14:50 - 15:30 |
› Model-Bounded Monitoring of Hybrid Systems - Etienne André, Laboratoire Lorrain de Recherche en Informatique et ses Applications |
|
|
13:30 - 15:30
|
Session GT IDM (Salle 3) - Sophie Ebersold - Eric CARIOU |
(+)
|
|
13:30 - 14:15 |
› L'IDM a 20 ans ! - Jean-Michel Bruel, Institut de recherche en informatique de Toulouse |
|
|
14:15 - 14:45 |
› CoSim20: un environnement pour la simulation collaborative et distribuée - Julien Deantoni, Laboratoire dÍnformatique, Signaux, et Systèmes de Sophia Antipolis |
|
|
14:45 - 15:15 |
› L'Industrie du futur et le jumeau numérique, une opportunité pour l'IDM - Antoine BEUGNARD, IMT Atlantique Bretagne-Pays de la Loire - Joël Champeau, École Nationale Supérieure de Techniques Avancées Bretagne |
|
|
15:15 - 15:30 |
› Discussion sur le GT IDM - Eric Cariou, Laboratoire Informatique de lÚniversité de Pau et des Pays de lÁdour - Sophie Ebersold, Institut de recherche en informatique de Toulouse |
|
|
15:30 - 16:00
|
Pause café (Espace d'interaction et de convivialité) |
|
|
16:00 - 17:30
|
EJCP (Salle EJCP) - Programme |
|
|
