Programme

Téléchargement du programme : XML ICAL HTML

Détail du programme

Conferences AFADL, CIEL

Mardi, 9 juin

08:15 - 09:00
Enregistrement

AFADL

9h - 10h30
Session 1 - Ouverture et articles
  • Accueil et présentation des journées : Pascale Le Gall, Frédéric Dadeau.
  • Vérification parallélisée de propriétés temporelles sur des traces d’exécution, par analyse dynamique formelle (papier long). Antoine Ferlin, Philippe Bon, Virginie Wiels et Simon Collart-Dutilleul.
  • Une argumentation pour des exigences temps réel (papier long). Thomas Polacsek, Virginie Wiels et Frédéric Boniol.
  • Vers un outil de vérification formelle légère pour OCaml (papier court). Thomas Genet, Barbara Kordy et Amaury Vansyngel.
10h30 - 11h
Pause Café
11h - 12h30
Session 5 – Conférence invitée (Commune avec CIEL)
14h - 15h30
Session 2 - Papier court, présentation de projets et travaux en cours
  • La composition de services dans le monde asynchrone – Formalisation et vérification en TLA+ (papier court). Florent Chevrou, Aurélie Hurault, Philippe Mauran, Meriem Ouederni, Philippe Quéinnec et Xavier Thirioux.
  • Rétro ingénierie des modèles pour l’étude des Smart Grids dans le cadre du projet SESAM Grids. Gabriel Pedroza.
  • Projet MBT_Sec – Model-Based Testing for Security Components. Elizabeta Fourneret.
  • Des réels aux flottants : préservation automatique de preuves de stabilité de Lyapunov. Olivier Hermant et Vivien Maisonneuve.
15h30 - 16h
Pause café
16h - 17h30
Session 3 - Travaux en cours/discussions
  • Proving soundness of a procedure for verifying RL Formulas in Coq. Andrei Arusoaie.
  • Configuration en langue naturelle du fonctionnement d’une maison intelligente. Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane et Brigitte Grau.
  • Evaluation de l’impact de fautes matérielles sur le logiciel par Model Checking. Didier Bassole, Jean-Louis Lanet et Axel Legay.
  • Testium : outil de génération automatique de données de test pour les systèmes synchrones. Mouna Tka, Christophe Deleuze, Ioannis Parissis.
  • Clôture de la journée AFADL.
18h - 20h00
Dégustation de vin – ENSEIRB-Matmeca (espace ingénieur)

CIEL

9h - 9h10
Ouverture
  • Accueil et présentation de la journée : Jean-Michel Bruel et Salah Sadou.
9h10 - 10h30
Session 1 – Reconfiguration et Monitoring
  • Reconfiguration of software architecture: the nature of communication among components. Ngoc-Tho Huynh, Maria-Teresa Segarra and Antoine Beugnard.
  • Une Approche Orientée Pattern pour la Reconfiguration de Système de Systèmes. Franck Petitdemange, Jérémy Buisson and Isabelle Borne.
  • Efficiently Monitoring Dynamic Data-Streams in Smart Cities. Hassan Loulou, Sébastien Saudrais, Hassan Soubra and Cherif Larouci.
10h30 - 11h
Pause café
11h - 12h30
Session 5 – Conférence invitée (Commune avec AFADL)
13h - 14h
Déjeuner
14h - 15h30
Session 2 – IDM & Sécurité
  • Comprendre la nature exécutable des modèles. Eric Cariou, Olivier Le Goaer and Franck Barbier.
  • Template Based MDE. Matthieu Allon, Gilles Vanwormhoudt, Bernard Carré and Olivier Caron.

  • Framework pour la responsabilisation. Walid Benghabrit.

  • Une démarche pour l’assistance à l’utilisation des patrons de sécurité. Loukmen Regainia, Cédric Bouhours and Sébastien Salva.
15h30 - 16h
Pause café
16h - 17h30
Session 3 – Inter-opérabilité
  • IDM appliquée à l’observation des modèles socio-environnementaux. Hasina Lalaina Rakotonirainy, Jean-Pierre Müller and Bertin Olivier Ramamonjisoa.
  • O’Jacaré : un pont entre OCaml et Java. Emmmanuel Chailloux, Xavier Clerc and Grégoire Henry.
  • A proposition to solve heterogeneous model matching problems [30 mn]. Mahmoud El Hamlaoui, Sophie Ebersold, Adil Anwar, Taoufiq Dkaki, Bernard Coulette and Mahmoud Nassar.
18h - 20h00
Dégustation de vin – ENSEIRB-Matmeca (espace ingénieur)

Journées GDR-GPL

Mercredi 10 juin 2015

9h - 10h30
Session 1 - Accueil (Plénière)
  • Mot d’accueil : Xavier Blanc, Laurence Duchien.
  • Génie logiciel et outils de distribution pour les systèmes répartis de très grande taille. François Taiani, Université de Rennes, IRISA.
10h30 - 11h
Pause Café
11h - 12h30
Session 2 – RIMEL, MFDL
  • RIMEL
    • Fine-grained and accurate source code differencing. Jean-Rémy Falleri, Floréal Morandat, Xavier Blanc, Matias Martinez, Martin Monperrus (ASE 2014).
    • Easing software component repository evolution. Jérôme Vouillon, Mehdi Dogguy, Roberto Di Cosmo (ICSE 2014).
    • On Analyzing the Topology of Commit Histories in Decentralized Version Control Systems. Marco Biazzini, Martin Monperrus, Benoit Baudry (ICSME 2014).
  • MFDL
    • Validation du standard RBAC ANSI 2012 avec B, Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau and Jules Desharnais.
    • Construction de programmes parallèles en Coq avec des homomorphismes de listes. Frederic Loulergue, Wadoud Bousdira and Julien Tesson.
    • A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C. Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre and Frédéric Loulergue.
    • Verifying Reachability-Logic Properties on Rewriting-Logic Specifications. Andrei Arusoaie, Dorel Lucanu, David Nowak and Vlad Rusu.
12h30 - 14h
Repas
14h - 15h30
Session 3 – MTV2, IDM
  • MTV2
    • Instrumentation de programmes C annotés pour la génération de tests. Guillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov and Julien Signoles.
    • Sound and Quasi-Complete Detection of Infeasible Test Requirements. Sebastien Bardin, Mickaël Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis, Yves Le Traon and Jean-Yves Marion.
    • Montre-moi d’autres contre-exemples : une approche basée sur les chemins. Kalou Cabrera Castillos, Helene Waeselynck and Virginie Wiels.
  • IDM
    • Adaptation d’exécution de modèles. Olivier Le Goaër, LIUPPA, Université de Pau et Pays de l’Adour.
    • Génération de modèles, une approche basée sur les CSP. Adel Ferdjoukh, LIRMM, Université de Montpellier.
    • Processus flexible de configuration pour lignes de produits logiciels complexes. Simon Urli, MODALIS, Université de Nice Sophia-Antipolis.
15h30 - 16h
Pause café
16h00- 17h30
Session 4 – Posters et Démos GDR GPL (Plénière)
18h - 19h
Réunion de bureau, conseil scientifique et responsables de groupe GDR GPL
18h
Apéro – ENSEIRB-Matmeca (espace ingénieur)

Jeudi 11 juin 2015

9h - 10h30
Session 5 – Conférence invitée (Plénière)
  • Conférence invitée : Scalable Software Testing and Verification Through Heuristic Search and Optimization: Experiences and Lessons Learned. Lionel Briand, Université du Luxembourg.
10h30 - 11h
Pause café
11h- 12h30
Session 6 – Remise de prix de thèse GDR GPL + Nouvelles du CNRS (Plénière)
  • Prix du GDR GPLs : Clément Quinton, Cloud Environment Selection and Configuration: A Software Product Lines-Based Approach. Université Lille- LIFL-Inria et Politecnico di Milano.
  • Accessit : Julien Henry, Static Analysis by Abstract Interpretation and Decision Procedures, Université de Grenoble-VERIMAG.
  • Nouvelles du CNRS : Jean Mairesse, CNRS.
12h30 - 14h
Repas
14h - 15h30
Session 7 - Table ronde (Plénière)
  • “Génie de la programmation et du logiciel” et Agilité : un mariage heureux ? animée par Mireille Blay-Fornarino, I3S, Jean-Michel Bruel, IRIT & Christel Seguin, ONERA. Participants : Agusti Canals, C-S, Yves Ledru, Université de Grenoble, Frédéric Bonnot, Thales Avionics, Patrice Petit, Coach Agile.
15h30 - 16h
Pause café
16h - 17h30
Session 8 - Compilation, LTP
  • Compilation
    • Refinement of Worst-Case Execution Time Bounds by Graph Pruning. Florian Brandner, ENSTA ParisTech.
    • Platform-Neutral Compute Intermediate Language for DSL Compilers and Domain Experts. Riyadh Baghdadi, Inria/UPMC.
  • LTP
    • A formally-verified C static analyzer. Jacques-Henri Jourdan, Vincent Laporte, Sandrine Blazy, Xavier Leroy, David Pichardie (POPL 2015).
    • A Coq formalization of the relational data model. Véronique Benzaken, Evelyne Contejean, Stefania Dumbrava (ESOP 2014).
    • Type soundness and race freedom for Mezzo. Thibaut Balabonski, François Pottier, Jonathan Protzenko (FLOPS 2014).
17h30 - 19h
AG GDR GPL
20h-
Repas de Gala – Cité Mondiale (7ème étage)

Vendredi 12 juin 2015

9h - 10h30
Session 9 - Conférence invitée (Plénière)
  • Aspects juridiques de la création logicielle. F. Pelligrini, Université Bordeaux.
10h30 - 11h
Pause café
11h - 12h30
Session 10 COSMAL, AFSEC, LAHMA
  • COSMAL
    • Towards a continuum for COMPOnent-based development. Christophe Dony, Petr Spacek, Chouki Tibermacine, Frederic Verdier, Antony Ferran.
    • Reasoning at Runtime using time-distorted Contexts: A Models@run.time based Approach. Thomas Hartmann, François Fouquet, Grégory Nain, Brice Morin, Jacques Klein, Yves Le Traon (SEKE 2014:586-591).
    • Retours et discussions autour de l’atelier GLACE organisé au LIP6 en avril 2015.
  • AFSEC
    • Calcul d’ordonnancement hors-ligne sur plateformes multi/pluri-coeurs à base de méthodes formelles. Claire Pagetti.
    • SCADE Hybrid: une extension de SCADE avec des ODEs. Marc Pouzet.
    • Processus de branchement des réseaux de Petri avec reset arcs. Maurice Comlan.
  • LAMHA
    • Présentation invitée : Programmation BSP chez Huawei. Gaétan Hains, Huawei, Paris.
    • Vérification de composants distribués : le modèle pNets et son utilisation en pratique. Ludovic Henrio et Eric Madelaine, CNRS/INRIA/I3S, Nice.
    • Modèles fonctionnels de MapReduce en Coq. Frederic Loulergue, Inria & LIFO, Université d’Orléans, Kiminori Matsuzaki, Kochi University of Technology.
12h30
Remise du prix du meilleur poster
12h30 - 14h
Repas
14h
Fin des journées du GDR GPL

News

Organization: