|
7-10 juin 2022 Vannes (France)
|
|
|
|
Programme
mardi 7 juin 2022
| Heures | événement | (+) |
| 08:30 - 09:00 | Accueil | |
| 09:00 - 09:30 | Ouverture des journées (Amphithéatre ENSIBS) | |
| 09:30 - 10:30 | Invité (Amphithéatre ENSIBS) | (+) |
| 09:30 - 10:30 | › The upcoming wall of software complexity in computational sciences - Vincent Reverdy, Laboratoire d'Annecy de Physique des Particules | |
| 10:30 - 11:00 | Pause café | |
| 11:00 - 12:30 | Session GT CLAP (D010) | (+) |
| 11:00 - 11:30 | › Modern Compiler Technology to Optimize Code from Ionic Models - Tiago Trevisan Jost, Laboratoire des sciences de língénieur, de línformatique et de límagerie | |
| 11:30 - 12:00 | › Macle : un langage dédié à l'accélération de programmes OCaml sur FPGA - Loic Sylvestre, LIP6 | |
| 12:00 - 12:30 | › Optimisations dans le compilateur formellement vérifié CompCert - David Monniaux, VERIMAG | |
| 11:00 - 12:30 | Session GT HIFI (A105) | (+) |
| 11:00 - 11:30 | › Business Processes Meet Spatial Concerns: the sBPMN Verification Framework - Pascal Poizat, Université Paris Nanterre | |
| 11:30 - 12:00 | › Philosophers may Dine - Definitively! - Safouan Taha, Laboratoire Méthodes Formelles | |
| 12:00 - 12:30 | › Formal Methods in Practice: Model Checking in the Railway Industry - Nicolas Aucouturier, Prover Technology | |
| 11:00 - 12:30 | Atelier Préparation au Concours CNRS (Amphithéatre ENSIBS) | (+) |
| 11:00 - 12:30 | › Atelier de préparation aux concours CNRS - Catherine Dubois, Dubois | |
| 12:30 - 14:00 | Déjeuner | |
| 14:00 - 15:30 | Session GT Eco-Responsable (D010) | |
| 14:00 - 15:30 | Session GT GLIA (A105) | (+) |
| 14:00 - 14:30 | › What's new about Wise Object - Flavien Vernier, Laboratoire dÍnformatique, Systèmes, Traitement de lÍnformation et de la Connaissance | |
| 14:30 - 15:00 | › Adversarial retraining pour les systèmes configurables - Paul Temple, PReCISE research center, University of Namur | |
| 15:00 - 15:30 | › Extraction de la variabilité depuis les schémas de données des entrées/sorties de simulateurs de systèmes d'aide à la décision dans le domaine agricole - Thomas Georges, Laboratoire dÍnformatique de Robotique et de Microélectronique de Montpellier | |
| 15:30 - 16:00 | POSTER/DEMO - Nicolas Magaud | (+) |
| 15:30 - 16:00 | › A Contract and Facet Based Method for Modelling and Verification of Heterogeneous Systems - A. Abdelkader Khouass, Nantes University | |
| 15:30 - 16:00 | › A qualitative pilot for complex systems simulation - Baptiste Gueuziec, CEA - Frédéric Boulanger, Laboratoire Méthodes Formelles - Jean-Pierre Gallois, CEA | |
| 15:30 - 16:00 | › ADT4HPC: Algebraic Data Types for High Performance Computing - Thaïs Baudon, LIP | |
| 15:30 - 16:00 | › ClassName Distribution Visualization: detecting inconsistencies in class names - Nour Jihene Agouf - Inria Lille - Nord Europe | |
| 15:30 - 16:00 | › Ensuring open and scalable interoperability for smart information system - Boubou Thiam NIANG, DISP, EA4570, 69676 Bron, France | |
| 15:30 - 16:00 | › Fédération de modèles, une solution d'assemblage de modèles pour l'interopérabilité de sources d'information hétérogènes : l'approche FML / Openflexo - Sylvain Guérin, ensta bretagne | |
| 15:30 - 16:00 | › Guaranteeing Timed Opacity using Parametric Timed Model Checking - Dylan Marinho, Université de Lorraine, LORIA | |
| 15:30 - 16:00 | › Mitten, A Scenario-Based Consensus Protocols Testing Tool - Çagdas Bozman, Functori | |
| 15:30 - 16:00 | › Model-driven deployment of Digital Twins for Smart Environments - The Human at home projecT case study - Caroline Cao, Lab-STICC, UMR CNRS 6285 | |
| 15:30 - 16:00 | › Time-Traveling Queries for Faster Debugging and Program Comprehension - Maximilian Ignacio Willembrinck Santander, Steven Costiou, Anne Etien, Stéphane Ducasse | |
| 15:30 - 16:00 | Pause café | |
| 16:00 - 18:00 | Session Prix de Thèse (A105) - Pascal Poizat | |
| 18:00 - 19:00 | Réunion Resp. GT et comité scientifique (D010) |
mercredi 8 juin 2022
| Heures | événement | (+) |
| 08:30 - 09:00 | Accueil | |
| 09:00 - 10:30 | Invité (Amphithéatre ENSIBS) - Jérémy Buisson | (+) |
| 09:00 - 10:00 | › Du génie logiciel pour le domaine militaire - Jérémy Buisson, Centre de recherche des écoles de Saint-Cyr Coëtquidan [Guer], Institut de Recherche en Informatique et Systèmes Aléatoires | |
| 10:30 - 11:00 | Pause café | |
| 11:00 - 12:30 | AFADL (Amphithéatre ENSIBS) - Modélisation (Chair : Pascal Poizat) | (+) |
| 11:00 - 11:20 | › xDSLs dirigés par les Modèles Formels : Tour d'horizon de l'outil Meeduse - Akram Idani, Laboratoire d'Informatique de Grenoble | |
| 11:30 - 11:45 | › An Incremental Model-Based Design Methodology to Develop CPS with SysML/OCL/Reo - Perla Tannoury, Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) | |
| 12:00 - 12:20 | › Spécification semi-formelle et formelle d'une application de téléréhabilitation : retour d'expérience - Farid ARFI, EuroMov - Digital Health in Motion | |
| 11:00 - 12:30 | Session GT YODA (D010) | (+) |
| 11:00 - 12:00 | › Models and Verification for Composition and Reconfiguration of Web of Things Applications - Gwen Salaün, Univ. Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG | |
| 12:00 - 12:30 | › Reusability of Autonomic Controllers in High Performance Computing - Quentin Guilloteau, Universiteé Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG | |
| 11:00 - 12:30 | CAL (A105) | |
| 12:30 - 14:00 | Déjeuner | |
| 14:00 - 15:30 | Session AFADL & MTV2 (Amphithéatre ENSIBS) | (+) |
| 14:00 - 14:25 | › Test aléatoire et énumératif pour OCaml et Why3 - Alain Giorgetti, Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) - Jérome Ricciardi, CEA - List, Laboratoire Méthodes Formelles | |
| 14:25 - 14:50 | › De l'adaptation de Caseine pour l'évaluation des tests des étudiants - Yves Ledru | |
| 14:50 - 15:05 | › Présentation des résultats du Projet ANR AAPG 2018 – PHILAE From Model-Based Testing to Cognitive Test Automation - Roland Groz | |
| 15:10 - 15:30 | › Analyse automatisée de binaires à la recherche de vulnérabilités matérielles - Théo De Castro Pinto, Laboratoire Bordelais de Recherche en Informatique | |
| 14:00 - 15:30 | Session GT Debugging (D010) | (+) |
| 14:00 - 14:15 | › Bug Stories - Steven Costiou, CRIStAL | |
| 14:15 - 14:30 | › SciHook: A Language-Agnostic Python-Based Instrumentation Library for Scientific Computing - Benoit Combemale, Diverse | |
| 14:30 - 15:00 | › Deboguage du compilateur C vérifié CompCert - David Monniaux, VERIMAG | |
| 15:00 - 15:30 | › Debuggable test cases for domain-specific models - Gerson Sunyé, NaoMod - Nantes Software Modeling Group | |
| 14:00 - 15:30 | CAL (A105) | |
| 15:30 - 16:00 | Pause café | |
| 16:00 - 17:30 | Session Nouvelles du CNRS (Amphithéatre ENSIBS) - Anne Siegel | |
| 18:15 - 18:15 | Départ vers le port - Départ vers le port pour l'excursion du soir | |
| 19:00 - 23:55 | Départ du port - - Promenade en mer + dîner |
jeudi 9 juin 2022
| Heures | événement | (+) |
| 08:30 - 09:00 | Accueil | |
| 09:00 - 10:30 | Invité (Amphithéatre ENSIBS) - Gwen Salaün | (+) |
| 09:00 - 10:30 | › Modelling, analysis and optimisation of BPMN processes - Gwen Salaün, Laboratoire d'Informatique de Grenoble | |
| 10:30 - 11:00 | Pause café | |
| 11:00 - 12:30 | AFADL (Amphithéatre ENSIBS) - Vérification de systèmes (Chair : Aurélie Hurault) | (+) |
| 11:00 - 11:20 | › Etude comparative des méthodes pour la vérification des systèmes cyber-physiques basés machine learning - Arthur Clavière - Collins Aerospace | |
| 11:30 - 11:50 | › Vérification formelle d'une carte à puce pour une certification Critères Communs - Nikolai Kosmatov - Thales Research and Technology | |
| 11:00 - 12:30 | Atelier Practical Debugging (D010) - Steven Costiou | (+) |
| 11:00 - 12:30 | › Practical Debugging: a hands on tutorial with Pharo - Maximilian Ignacio Willembrinck Santander, CRIStAL - Steven Costiou, CRIStAL | |
| 11:00 - 12:30 | Atelier Dissémination (A105) - Mathieu Acher | (+) |
| 11:00 - 12:30 | › Dissémination en science du logiciel - Mathieu Acher - Diversity-centric Software Engineering | |
| 12:30 - 14:00 | Déjeuner | |
| 14:00 - 15:30 | Session AFADL & LVP (Amphithéatre ENSIBS) - Alain Giorgetti et Julien Signoles | (+) |
| 14:00 - 14:30 | › Knit&Frog: Pattern matching compilation for custom memory representations - Thaïs Baudon, Laboratoire de l'Informatique du Parallélisme | |
| 14:30 - 15:00 | › Typage avancé de langages dynamiques - Mickaël Laurent, Université Paris Cité | |
| 15:00 - 15:30 | › Vérification de l'algorithme de calcul des ordres d'appel dans Parcoursup - Hugo Gimbert, Laboratoire Bordelais de Recherche en Informatique | |
| 14:00 - 15:30 | Session GT IE & AFSEC (D010) - Régine Laleau | (+) |
| 14:00 - 14:45 | › Automatic Support for Requirements Validation - Rabéa Ameur-Boulifa, Télécom Paris | |
| 14:45 - 15:30 | › Couplage des approches MBSE et MDAO pour le dimensionnement d'une batterie de drone - Ombeline Aïello, Institut Supérieur de lÁéronautique et de lÉspace, DTIS, ONERA [Toulouse] | |
| 15:30 - 16:00 | Pause café | |
| 16:00 - 17:30 | AFADL (Amphithéatre ENSIBS) - Systèmes temporisés (chair : Akram Idani) | (+) |
| 16:00 - 16:20 | › Étude de propriétés d'opacité temporisée à l'aide de vérification temporisée paramétrée - Dylan Marinho, Laboratoire Lorrain de Recherche en Informatique et ses Applications | |
| 16:30 - 16:50 | › Illustration de spécifications temporisées paramétrées sur des signaux continus - Etienne André, Laboratoire Lorrain de Recherche en Informatique et ses Applications | |
| 16:00 - 17:30 | Session GT IE & AFSEC (D010) - Régine Laleau | (+) |
| 16:00 - 16:45 | › Spécification formelle de systèmes cyber-physiques et Ingénierie système assistée par la simulation - Thuy Nguyen, EDF | |
| 17:30 - 18:30 | AG (Amphithéatre ENSIBS) - Mireille Blay-Fornarino & Catherine Dubois |
vendredi 10 juin 2022
| Heures | événement | (+) |
| 08:30 - 09:00 | Accueil | |
| 09:00 - 10:30 | Session GLSEC (D010) | |
| 09:00 - 10:30 | Session GT IDM (A105) | (+) |
| 09:00 - 09:30 | › Self-Adaptable Languages - Gwendal Jouneaux, Université de Rennes 1 | |
| 09:30 - 10:00 | › Les notions clés de l'assistance à la modélisation logicielle - Maxime Savary-Leblanc, Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189, Inria | |
| 10:00 - 10:30 | › Moose : une plate-forme IDM pour l'exploration et la visualisation de programmes et de modèles - Vincent Aranega, CRIStAL | |
| 10:30 - 11:00 | Pause café | |
| 11:00 - 12:30 | Session GT VL (D010) | (+) |
| 11:00 - 11:30 | › Empirical Assessment of Multimorphic Testing - Paul Temple, University of Namur | |
| 11:30 - 12:00 | › Rotten green tests in Java, Pharo and Python - Vincent Aranega, CRIStAL | |
| 12:00 - 12:30 | › Breaking bad? Semantic versioning and impact of breaking changes in Maven Central - Thomas Degueule, Laboratoire Bordelais de Recherche en Informatique | |
| 12:30 - 13:45 | Déjeuner |
| Personnes connectées : 2 | Vie privée |
|
