Programme

Semaine Mar. 07 Mer. 08 Jeu. 09 Ven. 10 Liste

	Mar. 07	Mer. 08	Jeu. 09	Ven. 10
08:00 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 23:00	Accueil 8:30 - 9:00 (30min) Accueil Ouverture des journées 9:00 - 9:30 (30min) Ouverture des journées Amphithéatre ENSIBS Invité 9:30 - 10:30 (1h) Invité Amphithéatre ENSIBS › The upcoming wall of software complexity in computational sciences - Vincent Reverdy, Laboratoire d'Annecy de Physique des Particules 09:30-10:30 (1h) Pause café 10:30 - 11:00 (30min) Pause café Session GT CLAP Session GT HIFI Atelier Préparation au Concours CNRS 11:00 - 12:30 (1h30) Session GT CLAP D010 › 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:00-11:30 (30min) › Macle : un langage dédié à l'accélération de programmes OCaml sur FPGA - Loic Sylvestre, LIP6 11:30-12:00 (30min) › Optimisations dans le compilateur formellement vérifié CompCert - David Monniaux, VERIMAG 12:00-12:30 (30min) 11:00 - 12:30 (1h30) Session GT HIFI A105 › Business Processes Meet Spatial Concerns: the sBPMN Verification Framework - Pascal Poizat, Université Paris Nanterre 11:00-11:30 (30min) › Philosophers may Dine - Definitively! - Safouan Taha, Laboratoire Méthodes Formelles 11:30-12:00 (30min) › Formal Methods in Practice: Model Checking in the Railway Industry - Nicolas Aucouturier, Prover Technology 12:00-12:30 (30min) 11:00 - 12:30 (1h30) Atelier Préparation au Concours CNRS Amphithéatre ENSIBS › Atelier de préparation aux concours CNRS - Catherine Dubois, Dubois 11:00-12:30 (1h30) Déjeuner 12:30 - 14:00 (1h30) Déjeuner Session GT Eco-Responsable Session GT GLIA 14:00 - 15:30 (1h30) Session GT Eco-Responsable D010 14:00 - 15:30 (1h30) Session GT GLIA A105 › What's new about Wise Object - Flavien Vernier, Laboratoire dÍnformatique, Systèmes, Traitement de lÍnformation et de la Connaissance 14:00-14:30 (30min) › Adversarial retraining pour les systèmes configurables - Paul Temple, PReCISE research center, University of Namur 14:30-15:00 (30min) › 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:00-15:30 (30min) POSTER/DEMO Pause café 15:30 - 16:00 (30min) POSTER/DEMO Nicolas Magaud › A Contract and Facet Based Method for Modelling and Verification of Heterogeneous Systems - A. Abdelkader Khouass, Nantes University 15:30-16:00 (30min) › 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 (30min) › ADT4HPC: Algebraic Data Types for High Performance Computing - Thaïs Baudon, LIP 15:30-16:00 (30min) › ClassName Distribution Visualization: detecting inconsistencies in class names - 15:30-16:00 (30min) › Ensuring open and scalable interoperability for smart information system - Boubou Thiam NIANG, DISP, EA4570, 69676 Bron, France 15:30-16:00 (30min) › 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 (30min) › Guaranteeing Timed Opacity using Parametric Timed Model Checking - Dylan Marinho, Université de Lorraine, LORIA 15:30-16:00 (30min) › Mitten, A Scenario-Based Consensus Protocols Testing Tool - Çagdas Bozman, Functori 15:30-16:00 (30min) › 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 (30min) › Time-Traveling Queries for Faster Debugging and Program Comprehension - Maximilian Ignacio Willembrinck Santander, Steven Costiou, Anne Etien, Stéphane Ducasse 15:30-16:00 (30min) 15:30 - 16:00 (30min) Pause café Session Prix de Thèse 16:00 - 18:00 (2h) Session Prix de Thèse A105 Pascal Poizat Réunion Resp. GT et comité scientifique 18:00 - 19:00 (1h) Réunion Resp. GT et comité scientifique D010	Accueil 8:30 - 9:00 (30min) Accueil Invité 9:00 - 10:30 (1h30) Invité Amphithéatre ENSIBS Jérémy Buisson › 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 09:00-10:00 (1h) Pause café 10:30 - 11:00 (30min) Pause café AFADL Session GT YODA CAL 11:00 - 12:30 (1h30) AFADL Amphithéatre ENSIBS Modélisation (Chair : Pascal Poizat) › xDSLs dirigés par les Modèles Formels : Tour d'horizon de l'outil Meeduse - Akram Idani, Laboratoire d'Informatique de Grenoble 11:00-11:20 (20min) › 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) 11:30-11:45 (15min) › 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 12:00-12:20 (20min) 11:00 - 12:30 (1h30) Session GT YODA D010 › Models and Verification for Composition and Reconfiguration of Web of Things Applications - Gwen Salaün, Univ. Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG 11:00-12:00 (1h) › Reusability of Autonomic Controllers in High Performance Computing - Quentin Guilloteau, Universiteé Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG 12:00-12:30 (30min) 11:00 - 12:30 (1h30) CAL A105 Déjeuner 12:30 - 14:00 (1h30) Déjeuner Session AFADL & MTV2 Session GT Debugging CAL 14:00 - 15:30 (1h30) Session AFADL & MTV2 Amphithéatre ENSIBS › 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:00-14:25 (25min) › De l'adaptation de Caseine pour l'évaluation des tests des étudiants - Yves Ledru 14:25-14:50 (25min) › Présentation des résultats du Projet ANR AAPG 2018 – PHILAE From Model-Based Testing to Cognitive Test Automation - Roland Groz 14:50-15:05 (15min) › Analyse automatisée de binaires à la recherche de vulnérabilités matérielles - Théo De Castro Pinto, Laboratoire Bordelais de Recherche en Informatique 15:10-15:30 (20min) 14:00 - 15:30 (1h30) Session GT Debugging D010 › Bug Stories - Steven Costiou, CRIStAL 14:00-14:15 (15min) › SciHook: A Language-Agnostic Python-Based Instrumentation Library for Scientific Computing - Benoit Combemale, Diverse 14:15-14:30 (15min) › Deboguage du compilateur C vérifié CompCert - David Monniaux, VERIMAG 14:30-15:00 (30min) › Debuggable test cases for domain-specific models - Gerson Sunyé, NaoMod - Nantes Software Modeling Group 15:00-15:30 (30min) 14:00 - 15:30 (1h30) CAL A105 Pause café 15:30 - 16:00 (30min) Pause café Session Nouvelles du CNRS 16:00 - 17:30 (1h30) Session Nouvelles du CNRS Amphithéatre ENSIBS Anne Siegel Départ vers le port 18:15 - 18:15 () Départ vers le port Départ vers le port pour l'excursion du soir Départ du port - 19:00 - 23:55 (4h55) Départ du port - Promenade en mer + dîner	Accueil 8:30 - 9:00 (30min) Accueil Invité 9:00 - 10:30 (1h30) Invité Amphithéatre ENSIBS Gwen Salaün › Modelling, analysis and optimisation of BPMN processes - Gwen Salaün, Laboratoire d'Informatique de Grenoble 09:00-10:30 (1h30) Pause café 10:30 - 11:00 (30min) Pause café AFADL Atelier Practical Debugging Atelier Dissémination 11:00 - 12:30 (1h30) AFADL Amphithéatre ENSIBS Vérification de systèmes (Chair : Aurélie Hurault) › Etude comparative des méthodes pour la vérification des systèmes cyber-physiques basés machine learning - 11:00-11:20 (20min) › Vérification formelle d'une carte à puce pour une certification Critères Communs - 11:30-11:50 (20min) 11:00 - 12:30 (1h30) Atelier Practical Debugging D010 Steven Costiou › Practical Debugging: a hands on tutorial with Pharo - Maximilian Ignacio Willembrinck Santander, CRIStAL - Steven Costiou, CRIStAL 11:00-12:30 (1h30) 11:00 - 12:30 (1h30) Atelier Dissémination A105 Mathieu Acher › Dissémination en science du logiciel - 11:00-12:30 (1h30) Déjeuner 12:30 - 14:00 (1h30) Déjeuner Session AFADL & LVP Session GT IE & AFSEC 14:00 - 15:30 (1h30) Session AFADL & LVP Amphithéatre ENSIBS Alain Giorgetti et Julien Signoles › Knit&Frog: Pattern matching compilation for custom memory representations - Thaïs Baudon, Laboratoire de l'Informatique du Parallélisme 14:00-14:30 (30min) › Typage avancé de langages dynamiques - Mickaël Laurent, Université Paris Cité 14:30-15:00 (30min) › Vérification de l'algorithme de calcul des ordres d'appel dans Parcoursup - Hugo Gimbert, Laboratoire Bordelais de Recherche en Informatique 15:00-15:30 (30min) 14:00 - 15:30 (1h30) Session GT IE & AFSEC D010 Régine Laleau › Automatic Support for Requirements Validation - Rabéa Ameur-Boulifa, Télécom Paris 14:00-14:45 (45min) › 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] 14:45-15:30 (45min) Pause café 15:30 - 16:00 (30min) Pause café AFADL Session GT IE & AFSEC 16:00 - 17:30 (1h30) AFADL Amphithéatre ENSIBS Systèmes temporisés (chair : Akram Idani) › É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:00-16:20 (20min) › 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:30-16:50 (20min) 16:00 - 17:30 (1h30) Session GT IE & AFSEC D010 Régine Laleau › Spécification formelle de systèmes cyber-physiques et Ingénierie système assistée par la simulation - Thuy Nguyen, EDF 16:00-16:45 (45min) AG 17:30 - 18:30 (1h) AG Amphithéatre ENSIBS Mireille Blay-Fornarino & Catherine Dubois	Accueil 8:30 - 9:00 (30min) Accueil Session GLSEC Session GT IDM 9:00 - 10:30 (1h30) Session GLSEC D010 9:00 - 10:30 (1h30) Session GT IDM A105 › Self-Adaptable Languages - Gwendal Jouneaux, Université de Rennes 1 09:00-09:30 (30min) › 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 09:30-10:00 (30min) › Moose : une plate-forme IDM pour l'exploration et la visualisation de programmes et de modèles - Vincent Aranega, CRIStAL 10:00-10:30 (30min) Pause café 10:30 - 11:00 (30min) Pause café Session GT VL 11:00 - 12:30 (1h30) Session GT VL D010 › Empirical Assessment of Multimorphic Testing - Paul Temple, University of Namur 11:00-11:30 (30min) › Rotten green tests in Java, Pharo and Python - Vincent Aranega, CRIStAL 11:30-12:00 (30min) › Breaking bad? Semantic versioning and impact of breaking changes in Maven Central - Thomas Degueule, Laboratoire Bordelais de Recherche en Informatique 12:00-12:30 (30min) Déjeuner 12:30 - 13:45 (1h15) Déjeuner

Personnes connectées : 3

Vie privée