Journées Nationales GDR GPL - AFADL - CAL

Nouvelles

- Les actes des journées GPL 2014 sont maintenant disponibles sur le site du GDR.
- Le programme synthétique avec les salles est disponible ici.
- Le programme détaillé et les informations pratiques sont disponibles ici.

Programme synthétique

	Mardi 10 Juin	Mercredi 11 Juin	Jeudi 12 Juin	Vendredi 13 Juin
09h00 - 10h30		Conférence invitée Roland Ducournau	Conférence invitée Christine Paulin	Conférence invitée Gérard Morin
10h30 - 11h00	accueil	pause	pause	pause
11h00 - 13h00	Conférence invitée Didiez DONSEZ	Sessions GPL AFADL CAL CIEL	Sessions GPL AFADL CIEL	Sessions GPL
13h00 - 14h00	déjeuner	déjeuner	déjeuner	déjeuner
14h00 - 15h30	Sessions CAL CIEL	Sessions GPL AFADL CAL CIEL	Sessions GPL AFADL
15h30 - 16h00	pause	pause	pause
16h00 - 18h00	Sessions CAL CIEL	Sessions GPL AFADL CIEL	Sessions GPL AFADL
18h00 - 20h00
19h30		Dîner de Gala

Programme détaillé GDR GPL

Mercredi 11 Juin - GDR GPL

9h-10h30	Session 1 - Accueil
Plénière	Mot d'accueil : Catherine Dubois, Nicole Levy, Laurence Duchien Conférence invitée : "Les talons d'Achille de la programmation par objets", Roland Ducournau, LIRMM, U. Montpellier
10h30-11h	Pause Café
11h-13h	Session 2 - Remise de Prix de thèse et Nouvelles du CNRS.
Plénière	Remise du prix de thèse du GDR GPL 2013 par Dominique Mery et Laurence Duchien. Le prix de thèse sera reçu par Mathias Bourgoin (Université Pierre et Marie Curie) pour sa thèse "Abstractions performantes pour cartes graphiques" Nouvelles du CNRS par Brigitte Vallée, Déléguée scientifique INS2I CNRS
13h-14h	Repas
14h-15h30	Session 3 - Actions spécifiques, RIMEL et MTV2
Actions spécifiques	- Etienne André (LIPN, Paris 13), "IOP : Intégration d’Outils à la Plate-forme CosyVerif", - Sébastien Mosser (I3S, U. Nice-Sophia Antipolis), "PING : Plateforme d'enseIgNement du Génie logiciel", - Martin Monperrus, (LIFL, U. Lille), "Empirical Software Engineering".
RIMEL	- Cédric Teyton, Jean-Rémy Falleri et Xavier Blanc (LaBRI, U. Bordeaux), "Automatic discovery of function mappings between similar libraries", Article présenté à WCRE 2013 - Jérome Vouillon et Roberto Di Cosmo (PPS, U. Paris VII), "Broken sets in software repository evolution", Article présenté à ICSE 2013 - Yuriy Tymchuk, Benjamin Arezki, Gustavo Santos, Rafael Durelli, Anne Etien, Nicolas Anquetil, Stéphane Ducasse (Inria, Lifl, U. Lille), "Generic Name Resolution for Specific Language Models"
MTV2	- Nikolai Kosmatov, Guillaume Petiot, Julien Signoles (CEA-LIST). "An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs" - Hernan Ponce de Leon, Stefan Haar and Delphine Longuet (LSV, ENS Cachan, LRI, U. Paris XI). " Unfolding- based Test Selection for Concurrent Conformance" - Alexandre Vernotte, Bruno Legeard, Fabien Peureux (FEMSTO-ST, U. Besançon). "Pattern-Based Vulnerability Testing - Le projet DAST"
15h30-16h	Pause café
16h00- 18h	Session 4 - Posters et Démos CAL/CIEL/AFADL
Plénière	Posters et Démos
18h-19h	Réunion de bureau et responsables de groupe GDR GPL
19h30	Repas de Gala Musée des arts forains, salons vénitiens 53 avenue des terroirs de France - 75012 Paris Entrée : 10 rue Lheureux - 75012 Paris Plan : ici Site Web : ici

Jeudi 12 Juin - GDR GPL

9h-10h30	Session 5 - Conférence invitée
Plénière	Conférence invitée : "Preuves formelles d’algorithmes probabilistes", Christine Paulin, LRI, U. Paris XI
10h30-11h	Pause café
11h- 12h30	Session 6 - LTP et IDM
LTP	- Pascal Raymond (Verimag U. Grenoble), "Using high-level program properties to enhance WCET estimation", - Sandrine Blazy, Vincent Laporte, André Maroneze, and David Pichardie (IRISA, Inria, U. Rennes) “Formal Verification of a C Value Analysis Based on Abstract Interpretation.” article présenté à SAS 2013. - Robin Morisset, Pankaj Pawan, Francesco Zappa Nardelli (Inria Paris-Rocquencourt) "Compiler testing via a theory of sound optimisations in the C11/C++11 memory model", article présenté à PLDI 2013.

IDM	- Arnaud Cuccuru (CEA), "Composite UML a l'OMG", - Jordi Cabot (EMN, Inria, Lina), "Community development in MDE / Community development by MDE". - Philippe Desfray (Softeam) : "Partager la connaissance sans contraintes : surmonter les limitations des référentiels de modèles"
12h30-14h	Repas
14h-16h	Session 7 - Information DevLog - Table ronde sur les défis 2025
14h-14h30	Réseau DevLog, Jean-Christophe Souplet, CNRS
14h30-16h	Table ronde sur les défis 2025 (6 défis en cours de sélection) animés par Philippe Collet, Lydie du Bousquet, Laurence Duchien
16h-16h30	Pause café
16h30-18h	Session 8 - COSMAL, LAHMA, FORWAL
COSMAL	- Soguy Mak Karé Gueye, Noel De Palma, Éric Rutten (LIG, Inria, U. Grenoble) "Component-Based Autonomic Managers for Coordination Control." COORDINATION 2013:75- 89. http://dx.doi.org/10.1007/978-3-642-38493-6_6 - Julien Richard-Foy, Olivier Barais, Jean-Marc Jézéquel (Irisa, Inria, U. Rennes) "Efficient high-level abstractions for web programming." GPCE 2013:53-60. http://doi.acm.org/10.1145/2517208.2517227 - Filip Krikava, Philippe Collet and Robert France (I3S, U. Nice-Sophia-Antipolis et U. Colorado) "ACTRESS: Domain- Specific Modeling of Self-Adaptive Software Architectures." SAC’14 - Dependable and Adaptive Distributed Systems Track.
LAHMA	- Julien Tesson (LACL, Paris-Est Créteil), "Programmation avec les homomorphismes quasi synchrones". - Antoine Tran Tan, Joel Falcou, and Daniel Etiemble (LRI, U. Paris XI) "Automatic Task-based Code Generation for High Performance Domain Specific Embedded Language" - Mohamad Al Hajj Hassan, Mostafa Bamha, Frédéric Loulergue (LIFO, U. Orléans) "Handling Data-skew Effects in Join Operations using MapReduce"
FORWAL	- Yann Salmon, Thomas Genet (IRISA/Inria, U. Rennes) "Analyse d’atteignabilité par réécriture sous la stratégie «innermost»" - A. Dreyfus, Pierre-Cyrille Héam et Olga Kouchnarenko (FEMTO-ST, U. Besançon) "Exploration Aléatoire d’Automates à Pile pour le Test"
18h-20h	AG GDR GPL

Vendredi 13 Juin - GDR GPL

9h-10h30	Session 9 - Conférence invitée
Plénière	Conférence invitée : "SCADE Model-Based Requirements Engineering" par Gérard Morin, Head of Professional Services, Esterel Technologies & Yves Guido, Senior Consultant, Esterel Technologies
10h30-11h	Pause café
11h-12h30	Session 10 Session Industrielle, Compilation et AFSEC
Industriels	- François Gérin (Directeur Général adjoint de Siemens France), "Retours et perspectives chez SIEMENS" - Eva Cruck (ANR), "Retours et perspectives des programmes ANR"
Compilation	- Adrien Guatto (ENS Ulm). "Un langage synchrone fonctionnel avec des horloges entières" - Laure Gonnord (LIP, U. Lyon1), "Les seuls problèmes intéressants sont les problèmes indécidables : application à la synthèse de preuve de terminaison de programmes."
AFSEC	- Marc Pouzet (Ecole Normale Supérieure, Paris), "Une analyse des boucles de causalité dans les modeleurs de systèmes hybrides." - Étienne André, Giuseppe Pellegrino, Laure Petrucci (LIPN, U. Paris 13), "Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs" - Julien Tanguy (SeeForSys, IRCCyN), "Synthèse de pilotes de périphériques pour systèmes temps-réel embarqués."

12h30	Remise du prix du meilleur poster
13h	Fin des journées du GDR GPL

Programme détaillé AFADL

Mercredi 11 Juin - AFADL

11h 13h : Modélisation – vérification

William Durand, Sébastien Salva. Inférence de modèles dirigée par la logique métier (article long)
Linda Mohand Oussaïd, Ait Sadoune, Yamine Ait Ameur, Mohamed Ahmed Nacer. Modélisation formelle d’IHM multi-modales en sortie avec B Événementiel (article long)
Thomas Polacsek. Réflexions sur les liens possibles entre Argumentation et V&V pour le Logiciel (article court)
Francisca Losavio, Oscar Ordaz, Nicole Levy. Refactoring Graph for Reference Architecture Design Process (article court)

14h 15h30 : Outils formels

Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini. Adapting LTL model checking for inferring biological parameters (article long)
David Delahaye, Claude Marché, David Mentré. Le projet BWare : une plate-forme pour la vérification automatique d'obligations de preuve B (article court)
Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Légaux, Zhenjiang Hu. Dérivation formelle et extraction d'un programme data-parallèle pour le problème des valeurs inférieures les plus proches (article court)
Frédéric Dadeau, Jacques Julliand, Safouan Taha. A Compositional Automata-based Semantics for Property Patterns (article court)

Jeudi 12 Juin - AFADL

11h 12h30 : Sécurité

Rahma Ben Ayed, Simon Collart-Dutilleul, Philippe Bon, Yves Ledru, Akram Idani. Modélisation et validation formelle des règles d'exploitation ferroviaire (article long)
Jose Pablo Escobedo, Boutheina Bannour, Pascale Le Gall, Juan Gabriel Pedroza Bernal, Christophe Gaston. Designing Sequence Diagram Models for Robustness to Attacks (article court)
Marie-Laure Potet, Laurent Mounier, Maxime Puys, Louis Dureuil. Lazart: a symbolic approach for evaluating the robustness of secured codes against control flow fault injections (article court)
Samiya Hamadouche, Mohamed Mezghiche, Arnaud Gotlieb, Jean-Louis Lanet. Vers une approche de construction de virus pour cartes à puce basée sur la résolution de contraintes (article court)

14h 16h : Systèmes embarqués

Jean-Pierre Jacquot. Premières leçons sur la spécification d'un train d'atterrissage en B événementiel (article long)
Frédéric Boniol. Une proposition pour l'ajout de dimensions dans la programmation de logiciels embarqués (article long)
Fatma Jebali, Mouna Tka Mnad, Christophe Deleuze, Frédéric Lang, Radu Mateescu, Ioannis Parissis. Modélisation et validation formelle de systèmes globalement asynchrones et localement synchrones (article court)
Pascal Manoury, Philippe Baufreton, Jean-Louis Dufour, Etienne Prun, Emmanuel Chailloux, Grégoire Henry, Florian Thibord, Philippe Wang, Etienne Millon. Certification de l'assemblage de composants (article court)

16h30 18h : Test

Sébastien Bardin, Nikolai Kosmatov, François Cheynier. Exécution symbolique et critères de test avancés (article court)
Arnaud Gotlieb, Dusica Marijan. Flower : réduction optimale de suites de test en utilisant la programmation par contraintes (article court)
Aymerick Savary, Mathieu Lassale, Jean-Louis Lanet, Marc Frappier. Formula Negator, Outil de négation de formule (article court)
Guillaume Petiot, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand. Comment la génération de tests facilite la spécification et la vérification déductive des programmes dans Frama-C (article court)

Article long : 30 mn de présentation, article court : 20 mn de présentation

Programme détaillé CAL

Mardi 10 juin - CAL

10h30-11h : Accueil et Pause café
11h-13h : Session commune CAL et CIEL

Ouverture des conférences CAL et CIEL
Conférence invitée CAL et CIEL : Didiez DONSEZ (LIG)
M. Ouederni, G. Salaun et T. Bultan: Compatibility Checking for Asynchronously Communicating Software (accepté à FACS - présentation longue)

13h-14 : Repas
14h-15h30 : Session 1 CAL

S. Rottenberg, S. Leriche, C. Taconet, C. Lecocq et T. Desprats : MuScA: A Multiscale Distributed Systems Scale-Awareness Framework (contribution originale - présentation longue)
M. Gherari, A. Amirat et M. Oussalah : Towards Smart Cloud Gate Middleware: An approach based on Profiling Technique (contribution originale - présentation longue)
J-P. Arcangeli, T. Desprats et C. Taconet. Projet INCOME : INfrastucture de gestion de COntexte Multi-Echelle pour l’Internet des Objets (description projet - présentation courte)
M. Chaabane and I. Bouassida Rodriguez : Le monitoring pour la construction de la représentation graphique de l'architecture des applications orientées services (contribution originale - présentation courte)
B. Djoudi, C. Bouanaka et N. Zeghib : A component based approach for Context-Aware Systems specification (contribution originale)

15h30-16h : Pause café
16h-17h30 : Session commune CAL et CIEL

S. Kebir et D. Meslati : Un modèle de composants unifié pour l’évolution dynamique des systèmes logiciels
S. Kallel, C. Tibermacine, M-R. Skay, C. Dony et A-H. Kacem : Génération de métaprogrammes Java à partir de contraintes architecturales OCL
A. Mokni, M. Huchard, C. Urtado, S. Vauttier et H-Y. Zhang : Modélisation et vérification formelles en B d’architectures logicielles à trois niveaux d’abstraction
S. Adjoyan, A. Seriai et A. Shatnawi: Service Identification Based on Quality Metrics - Object-Oriented Legacy System Migration Towards SOA (accepté à SEKE)

Mercredi 11 juin - CAL

9h-10h30 : Session commune AFADL, CAL, CIEL et GDR GPL

Ouverture des journées
Conférence Invitée : Roland Ducourneau

10h30-11h : Pause café
11h-13h : Session 2 CAL (Méthodes formelles et Composants)

O. Carrillo, S. Chouali et H. Mountassir: Incremental Modeling of System Architecture Satisfying SysML Functional Requirements (accepté à FACS - présentation longue)
M-A. Djenouhat, F. Belala and K. Barkaoui: A K-Based Specification of Web Services (contribution originale - présentation longue)
F. Ouazar, M. Ioualalen and M-C. Boukala : Vérification des systèmes modulaires (contribution originale courte - présentation courte)
A. Abdulhameed, A. Hammad, H. Mountassir and B. Tatibouet : An Approach Combining Simulation and Verification for SysML using SystemC and Uppaal (contribution originale - présentation courte)
M. Tekaya, M-T. Bennani, S. Ben Ahmed and A. Youssef : Critères de Couverture de Test et Vérification de modèles (contribution originale)
M. Bordin, C. Comar, E. Falis, F. Gasperoni, Y. Moy, E. Richa et J. Hugues. System to Software Integrity: A Case Study (accepté à ERTSS - présentation courte)

13h-14h : Repas
14h-15h30 : Session 3 CAL

R. Maraoui, M. Graiet, E. Cariou and B. Ayeb : Vérification formelle des contrats structurels et de QdS d'une composition de services Web (contribution originale - présentation longue)
G. Guillou et J-P. Babau. Génération de code multi-plates-formes pour la mise au point de modèles IMOCA (contribution originale courte - présentation courte)
F. Krichen : Modes generation of Reconfigurable Embedded Systems (contribution originale - présentation courte)
D. Dahmani, M-C. Boukala et H. Mountassir : Reusing and Adapting Components using atomic and non-atomic Strong Synchronisations (contribution originale - présentation courte)
Imen Abdennadher, Ismael Bouassida Rodriguez and Mohamed Jmaiel. Approche de sélection d'architecture basée augmentation de désordre pour les Systèmes Collaboratifs Ubiquitaires (contribution originale - présentation courte)
Hind Lamharhar, Laila Benhlima and Dalila Chiadmi. Architecture de services OWL-S pour e-gouvernement : OwlsGov (contribution originale - présentation courte)
Lamia Atma and Miguel Rome. Performance Study in service-oriented applications (contribution originale - présentation courte)

Programme détaillé CIEL

Mardi 10 juin - CIEL

10h30-11h	Pause café - accueil Ouverture de la conférence CIEL
11h-12h30	Conférence invitée CAL/ CIEL, Didier Donsez LIG
12h30-13h00	Session commune CIEL/CAL Compatibility Checking for Asynchronously Communicating Software (accepté à FACS - présentation longue) Meriem Ouederni, Gwen Salaun and Tevfik Bultan
13h-14h	Repas
14h-15h30	Session 1 : IDM et validation Une revue des techniques de vérification formelle pour la transformation de modèles : Une classification tridimensionnelle Moussa Amrani, Benoit Combemale, Pierre Kelsen et Yves Le Traon Alignement de modèles métiers et applicatifs : Une approche pragmatique par transformations de modèles Jonathan Pépin, Pascal André, Christian Attiogbe et Erwan Breton Vers la vérification formelle de transformations de modèles orientées objet Moussa Amrani, Pierre Kelsen et Yves Le Traon
15h30-16h	Pause Café
16h-18h	Session 2 commune CIEL/CAL : Cycle de vie des architectures logicielles Un modèle de composants unifié pour l’évolution dynamique des systèmes logiciels Salim Kebir et Djamel Meslati Génération de métaprogrammes Java à partir de contraintes architecturales OCL Sahar Kallel, Chouki Tibermacine, Mohamed Reda Skay, Christophe Dony et Ahmed Hadj Kacem Modélisation et vérification formelles en B d’architectures logicielles à trois niveaux d’abstraction Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier et Huaxi Yulin Zhang Service Identification Based on Quality Metrics - Object-Oriented Legacy System Migration Towards SOA (accepté à SEKE) Seza Adjoyan, Abdelhak Seriai and Anas Shatnawi.

Mercredi 11 juin - CIEL

9h-10h30	Conférence invitée CAL/CIEL/AFADL/GDR Roland Ducourneau LIRMM
10h30-11h	Pause café
11h-13h	Session 3 : Travaux de doctorants Framework for heterogeneous modeling and composition Matias Vara Larsen, Julien Deantoni et Frédéric Mallet Graphe de dépendance pour la recontextualisation de modèles Paola Vallejo, Mickael Kerboeuf et Jean-Philippe Babau Simulation orientée utilisateur des Systèmes d'Information des Smart Grids Rachida Seghiri, Frédéric Boulanger, Vincent Godefroy et Claire Lecocq Contribution to model verification: operational semantic for System Engineering modeling languages Blazo Nastov
13h-14h	Repas
14h-15h30	Session 4 : Modélisation de la dynamique Une sémantique multi-paradigme pour simuler des modèles SysML avec SystemC-AMS Daniel Chaves Café, Filipe Vinci Dos Santos, Cécile Hardebolle, Christophe Jacquet et Frédéric Boulanger Etendre les patrons de flot de contrôle dynamique avec des dépendances transactionnelles Imed Abbassi et Graiet Mohamed
15h30-16h	Pause Café
16h-18h	Session commune Posters/démos CAL/CIEL/AFADL/GDR

Jeudi 12 juin - CIEL

9h-10h30	Conférence invitée CIEL/AFADL/GDR Christine Paulin LRI
10h30-11h	Pause café
11h-13h	Session 5 : Modélisation de propriétés non fonctionnelles ORQA : modélisation de l'énergie et de la qualité de service Borjan Tchakaloff, Sébastien Saudrais et Jean-Philippe Babau Mise à jour dynamique des applications JavaCard: Une approche pour une mise à jour sûre du tas. Razika Lounas, Mohamed Mezghiche et Lanet Jean-Louis Challenges in security engineering of systems-of-systems Vanea Chiprianov, Laurent Gallon, Manuel Munier, Philippe Aniorte et Vincent Lalanne
13h-14h	Repas
15h30-16h	Pause Café

Vendredi 13 juin - CIEL

9h-10h30	Conférence invitée GDR/CIEL Gérard Morin Esterel Tech
10h30-11h	Pause café
13h-14h	Repas