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 : 1 Vie privée
Chargement...