You are here

Programme

 

Programme des journées GDR-GPL 2012

  1. Mercredi 20 juin 2012
  2. Jeudi 21 juin 2012
  3. Vendredi 22 juin 2012
  4. Détails des sessions

 

Mercredi 20 juin 2012
08h30-09h00 Accueil
09h00-10h30 Conférencier invité : Jean-Bernard Stefani, Inria
10h30-11h00 Pause
11h00-12h30

Session 1 : MTV2

  • Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, et Jacques Julliand, Le slicing améliore une méthode de vérification combinant l'analyse statique et l'analyse dynamique,
  • Abderrahmane Feliachi, Marie-Claude Gaudel, et Burkhart Wolff, Isabelle 
    Circus: A Process Specification and Verification Environment
  • Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, et Julien Botella ; Model-based filtering of large combinatorial test suite

Session 2 : Compilation

  • Erven Rohou, Inria/Irisa, Défis des architectures à venir, quelle compilation pour demain ?
  • Pierre Boulet, LIFL, Quels langages pour l'ère post-Moore ?
  • Antoine Miné CNRS/ENS, Analyses statiques de programmes multitâches.

Session 3 : LTP

  • Louis Bigo, Jean-Louis Giavitto, Antoine Spicher, Construction d'espaces topologiques pour la représentation d'objets musicaux
  • Michaël Armand, Germain Faure, Benjamin Grégoire, Chantal Keller, Laurent Théry, Benjamin Werner
    Une intégration des solveurs SMT dans l'assistant de preuve Coq à base de certificats.
  • Jean-David Génevaux, Julien Narboux, Pascal Schreck, Formalisation de la méthode de Wu en Coq.
12h30-14h00 Déjeuner
14h00-15h30

Session 4 : LAHMA

  • Wadoud Bousdira et Frédéric Loulergue (LIFO), Une bibliothèques vérifiée de squelettes algorithmiques sur tableaux équitablement répartis
  • Chong Li et Gaétan Hains (LACL), SGL: vers la programmation parallèlle hétérogène et hiérarchique
  • Jocelyn Sérot et François Berry (Institut Pascal, UMR 6602 U Clermont 2 / CNRS), CAPH un langage orienté acteurs pour la programmation d'applications sur circuits reconfigurables.
  • Mathias Bourgoin, Jean-Luc Lamotte et Emmanuel Chailloux (LIP6), Programmation GPGPU avec OCaml

Session 5 : retour sur les actions spécifiques 2011

  • Xavier Le Pallec, LIFL, Université Lille 1 – Sophie Dupuy-Chessa, LIG, Université Grenoble AS Expert-User Modelling,
     
  • Benoit Combemale, IRISA, Université Rennes AS Modélisation hétérogène: bilan, verrous et défis" 
     
  • Romain Rouvoy, LIFL, Université Lille 1
    AS Campagne de collecte de données et vie privée,
  • Jean-Michel Bruel, IRIT, Université Toulouse
    AS 2011 "SEE BOOK",

Session 6 : RIMEL

  • Xavier Dolques, Aymen Dogui, Jean-Rémy Falleri, Marianne Huchard, Clémentine Nebut et François Pfister.
    Easing Model Transformation Learning with Automatically Aligned Examples.
     
  • Jannik Laval, Simon Denier, Stéphane Ducasse and Jean-Rémy Falleri. Supporting simultaneous versions for software evolution assessment.
     
  • Mathieu Acher, Anthony Cleve, Philippe Collet, Philippe Merle, Laurence Duchien et Philippe Lahire Reverse Engineering Architectural Feature Models.
15h30-16h30 Pause + Session Poster
16h30-19h00 Evénement Social : Visite du Vieux Rennes
19h00-20h30 Réception à la Mairie de Rennes
20h30-22h30 Diner de Gala

 


 

Jeudi 21 juin 2012
08h30-09h00 Accueil
09h00-10h30 Conférencier invité : Robert France, Colorado State University
10h30-11h00 Pause
11h00-12h30

Session 7 : MFDL

  • Gregor Goessler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei.
    Apport des méthodes formelles dans l'exploitation de logs informatiques dans un contexte contractuel
  • Nora Cuppens (Telecom Bretagne): Calcul de points d’observation pour l’analyse dynamique de programmes 
  • Antoine Ferlin, Virginie Wiels, vérification de propriétés sur des traces d'exécution

Session 8 : Action IDM

  • Olivier Le Goaer, Université de Pau : Introduction à l'approche IDM
  • Antoine Beugnard et Fahad Golra, Télécom Bretagne : Gérer plusieurs niveaux d'abstraction en modélisation des processus logiciels
     
  • Benoît Combemale, Université Rennes 1 : Teaching MDE: An Experience Report

Session 9 : FORWAL

  • Jean-Michel Couvreur (LIFO), Denis Poitrenaud (LIP6), Pascal Weil (LaBRI) , Dépliage de réseaux de Petri généraux.
  • P.-C. Héam, V. Hugot et O. Kouchnarenko, Boucles et sur-boucle pour les automates d'arbre cheminants
  • Thomas Genet, Tristan Le Gall, Axel Legay, Abstract Tree Regular Model Checking for Lattice Based Automata
12h30-14h00 Déjeuner
14h00-15h00

Nouvelles de l’institut CNRS INS2I – Dialogue avec le GDR GPL –
Michel Bidoit, Directeur adjoint scientifique

15h00-16h30

Table Ronde gérée par Christel Seguin, Omera
Les industriels et l'ingénierie du logiciel.
Participants :

16h30-17h00 Pause
17h00-18h30 Assemblée Générale GDR GPL
18h30-19h00 Pause
19h00-21h00 BreizhJUG
21h00-22h30 Fête de la Musique

 


 

Vendredi 22 juin 2012
08h30-09h00 Accueil
09h00-10h00 Conférencier invité : Claude Jard, ENS Cachan, Antenne de Bretagne – INRIA/IRISA
10h00-10h30 Pause
10h30-12h30

Session 10 : AFSEC

  • Marc Pouzet : Une extension de Lustre avec du temps continu 
  • Loic Helouet :  Synthèse de protocoles à partir d'exigences - Garanties de correction par controle asynchrone. 
  • Thomas Chatain : Avoiding shared clocks in networks of timed automata 
  •  Fabrice Kordon : Exploitation de la Hiérarchies et des Symétries dans les systèmes répartis

Session 11 : COSMAL

  • Chouki Tibermacine, Salah Sadou, Christophe Dony and Luc Fabresse. Component-based Specification of Software Architecture Constraints. CBSE'11
  • Vaidas Gasiunas, Lucas Satabin, Mira Mezini, Angel Núñez, Jacques Noyé: EScala: modular event-driven object interactions in scala. AOSD'11
  • Gilles Perrouin, Brice Morin, Franck Chauvel, Franck Fleurey, Jacques Klein, Yves Le Traon, Olivier Barais, and Jean-Marc Jezequel. Towards Flexible Evolution of Dynamically Adaptive Systems. NIER @ ICSE'12

 

12h30 Proclammation du meilleur poster 2012
12h30-14h00 Déjeuner
14h00 Fin de la conférence

 


 

Détails des sessions

1- MTV2

  • Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, et Jacques Julliand, Le slicing améliore une méthode de vérification combinant l'analyse statique et l'analyse dynamique,
  • Abderrahmane Feliachi, Marie-Claude Gaudel, et Burkhart Wolff, Isabelle/Circus: A Process Specification and Verification Environment
  • Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, et Julien Botella ; Model-based filtering of large combinatorial test suites

2- Compilation

  • Erven Rohou, Inria/Irisa, Défis des architectures à venir, quelle compilation pour demain ?
  • Pierre Boulet, LIFL, Quels langages pour l'ère post-Moore ?
  • Antoine Miné CNRS/ENS, Analyses statiques de programmes multitâches.

3- LTP

  • Louis Bigo, Jean-Louis Giavitto, Antoine Spicher, Construction d'espaces topologiques pour la représentation d'objets musicaux
  • Michaël Armand, Germain Faure, Benjamin Grégoire, Chantal Keller, Laurent Théry, Benjamin Werner
    Une intégration des solveurs SMT dans l'assistant de preuve Coq à base de certificats.
  • Jean-David Génevaux, Julien Narboux, Pascal Schreck, Formalisation de la méthode de Wu en Coq

4- LAHMA

  • Wadoud Bousdira et Frédéric Loulergue (LIFO), Une bibliothèques vérifiée de squelettes algorithmiques sur tableaux équitablement répartis
  • Chong Li et Gaétan Hains (LACL), SGL: vers la programmation parallèlle
    hétérogène et hiérarchique
  • Jocelyn Sérot et François Berry (Institut Pascal, UMR 6602 U Clermont 2 / CNRS), CAPH un langage orienté acteurs pour la programmation d'applications sur circuits reconfigurables.
  • Mathias Bourgoin, Jean-Luc Lamotte et Emmanuel Chailloux (LIP6), Programmation GPGPU avec OCaml

5- Session Actions spécifiques

AS Expert-User Modelling,

Xavier Le pallec, LIFL, Université Lille 1 – Sophie Dupuy-Chessa, LIG, Université Grenoble

L’implication des utilisateurs finaux dans la conception des applications est une préoccupation de plus en plus grande en Ingénierie Dirigée par les Modèles. La composition de modèles et la conception de langages de modélisation orientés utilisateurs sont deux aspects concernés par cette problématique qui étaient à l’origine de l’AS Expert-user modelling. Celle-ci se focalise toutefois sur les experts métiers qui, pour un domaine donné, partage un vocabulaire spécifique et/ou un ensemble de concepts. L’AS a permis d’établir le constat suivant : nos travaux nécessitent des phases d’évaluation auprès d’experts métiers alors que nous maîtrisons mal les techniques d’expérimentations. Au sein de l’AS, l’activité s’est donc plutôt focalisée sur les pratiques expérimentales. Nous avons effectué l’inventaire des démarches expérimentales pouvant être adoptées pour la conception ou l’évaluation, et nous avons collaboré pour la réalisation d’expérimentations en cours. Enfin, un texte a été rédigé afin de guider tout chercheur lors de ses premiers pas en pratique expérimentale.

AS 2011 "SEE BOOK",

Jean-Michel Bruel, IRIT, Université Toulouse 

Les systèmes embarqués sont actuellement un intérêt majeur avec le développement de nouvelles classes d'applications dites « ubiquitaires ». Ainsi, d'un « marché de niche » avec des contraintes fortes de fiabilités impliquant des techniques de développement particulières (architectures statiques, OS dédiés, techniques de programmation spécifiques, langages de description souvent spécifiques aussi), on doit intégrer de nouvelles contraintes à celles déjà existantes : répartition, mobilité. Dans ce contexte, les techniques de modélisations jouent un rôle important et doivent évoluer pour suivre cette adaptation. Il est intéressant de disposer d'un état de l'art sur les principales approches de conceptions s'appuyant sur des langages de modélisation reconnus. Citons à titre d'exemple : AADL, SysML, MARTE. L'objectif de cette Action Spécifique a donc été de supporter la production d'une monographie traitant de la modélisation de ces systèmes. L'idée a été de partir d'une étude de cas commune et de présenter différents langages de modélisation pour traiter ce même cas. L'ouvrage, qui devrait être publié d'ici la rentrée 2012, vise typiquement un lectorat de type ingénieur ou étudiant de master (attention pour ces derniers au coût de l'ouvrage). L'objectif a été de donner des indications à la fois « théoriques » sur quelques langages émergents mais aussi une vision « pratique » (i.e. comment faire) pour des personnes souhaitant rapidement prendre en main ce type de démarche

AS Modélisation hétérogène: bilan, verrous et défis" 

Benoit Combemale, IRISA, Université Rennes

L’ingénierie dirigée par les modèles fournis des techniques et des outils pour manipuler les modèles directement, raisonner sur leur composition, les transformer et générer le code d’implantation. Ceci permet en particulier d’avoir un flot intégré où modèles d’analyse et de conception sont traités dans le même espace technologique. Appliquée à la conception et l’analyse de systèmes complexes, il est fondamental de dissocier les modèles fonctionnels (et leurs sémantiques associées) de ceux qui caractérisent la sémantique de calcul, de communication et de synchronisation. Chacun de ces modèles doit pouvoir être manipulé séparément avant assemblage/tissage, vérification et déploiement par génération ou interprétation.  L'objectif de l'action spécifique était d’avoir une réflexion sur les efforts actuellement menés en France dans le domaine de la modélisation hétérogène au regard de la compétition internationale. En particulier, nous dresserons un bilan sur l'état de l'art et de la pratique ainsi que sur les verrous restant à lever en terme de techniques et d’outils pour la composition formelle de modèles métiers et de leurs modèles de calcul associés. 

Campagne de collecte de données et vie privée,

Romain Rouvoy, LIFL, Université Lille 1

La nouvelle génération de smartphones (Android, iPhone), maintenant équipée d'une grande variété de capteurs (GPS, bluetooth, accéléromètre, etc.), offre de nouvelles perspectives à diverses communautés scientifiques afin de réaliser une campagne de collecte de données massives d'une population et de son environnement. Ces données, peuvent ainsi être exploitées pour mieux comprendre les mouvements d'une population, de mettre au point de nouveaux protocoles de communication, d'analyser les interactions sociales des utilisateurs, etc. La nature sensible des données collectées, généralement couplant des informations temporelles et géographiques, peuvent révéler des informations critiques sur la vie privée d'un utilisateur (résidence privée, lieu de travail) , même si celles-ci ont été préalablement anonymisées. Ce risque potentiel représente un des principaux obstacles aux déploiements généralisés d'une application de collecte de données et à son adoption auprès des utilisateurs.

Dans ce contexte, nous présentons une nouvelle plate-forme permettant aux scientifiques de facilement mettre en place une campagne de collecte de données et inférer automatiquement différentes attaques sur les données partagées par les utilisateurs mobiles afin de les avertir d'un risque potentiel sur la protection de leurs vies privées.

6- RIMEL

  • Xavier Dolques, Aymen Dogui, Jean-Rémy Falleri, Marianne Huchard, Clémentine Nebut et François Pfister.
    Easing Model Transformation Learning with Automatically Aligned Examples.
  • Jannik Laval, Simon Denier, Stéphane Ducasse and Jean-Rémy Falleri. Supporting simultaneous versions for software evolution assessment.
  • Mathieu Acher, Anthony Cleve, Philippe Collet, Philippe Merle, Laurence Duchien et Philippe Lahire Reverse Engineering Architectural Feature Models.

7-MFDL 

  • Gregor Goessler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei.
    Apport des méthodes formelles dans l'exploitation de logs informatiques dans un contexte contractuel
  • Nora Cuppens : ???
  • Antoine Ferlin, Virginie Wiels, vérification de propriétés sur des traces d'exécution

8- Action IDM

  • Olivier Le Goaer, Université de Pau : Introduction à l'approche ADM
  • Antoine Beugnard et Fahad Golra, Télécom Bretagne : Gérer plusieurs niveaux d'abstraction en modélisation des processus logiciels
  • Benoît Combemale, Université Rennes 1 : Teaching MDE: An Experience Report

9- FORWAL

  • Jean-Michel Couvreur (LIFO), Denis Poitrenaud (LIP6), Pascal Weil (LaBRI) , Dépliage de réseaux de Petri généraux.
  • P.-C. Héam, V. Hugot et O. Kouchnarenko, Boucles et sur-boucle pour les automates d'arbre cheminants
  • Thomas Genet, Tristan Le Gall, Axel Legay, Abstract Tree Regular Model Checking for Lattice Based Automata

10- Action AFSEC

  • Marc Pouzet : Une extension de Lustre avec du temps continu 
  • Loic Helouet :  Synthèse de protocoles à partir d'exigences - Garanties de correction par controle asynchrone. 
  • Thomas Chatain : Avoiding shared clocks in networks of timed automata 
  • Fabrice Kordon : Je n'ai pas encore le titre 

11- COSMAL

  • Chouki Tibermacine, Salah Sadou, Christophe Dony and Luc Fabresse. Component-based Specification of Software Architecture Constraints. CBSE'11
  • Vaidas Gasiunas, Lucas Satabin, Mira Mezini, Angel Núñez, Jacques Noyé: EScala: modular event-driven object interactions in scala. AOSD'11
  • Gilles Perrouin, Brice Morin, Franck Chauvel, Franck Fleurey, Jacques Klein, Yves Le Traon, Olivier Barais, and Jean-Marc Jezequel. Towards Flexible Evolution of Dynamically Adaptive Systems. NIER @ ICSE'12

12 - Formation à la recherche, par la recherche : à venir

Theme by Danetsoft and Danang Probo Sayekti inspired by Maksimer