Programme CIEL 2012

Programme de la conférence CIEL 2012

Mardi 19 juin 2012

• 8h30 - 9h00 : Accueil
• 9h00 - 9h15 : Ouverture de la conférence
• 9h15 - 10h30 : Conférencier invité : Jörg Kienzle, McGill University [Amphi]
• 10h30 - 11h00 : Pause
• 11h00 - 12h30 : Session Composition [Amphi]
  • Président : Gilles Perrouin
  • Christophe Desclaux, Mireille Blay-Fornarino, Simon Urli et Catherine Faron Zucker. Vers la construction de workflows pour le filtrage sémantique de nouvelles. Papier court. (discussion par Halima Douibi) PDF
  • Issam Rabhi et Patrice Laurençot. Robustesse des Services Web Composés. Papier court. (discussion par Simon Urli) PDF
  • Halima Douibi, Faiza Belala et Kamel Boukhelfa. Vers la Formalisation de la Composition des Patrons de Conception. Papier court. (discussion par Issam Rabhi)  PDF
• 11h00 - 12h30 : Session Métamodélisation
  • Président : Marianne Huchard [Métivier]
  • Cyril Faucher, Jean-Yves Lafaye et Frédéric Bertrand. Modelling composite periodic Events. Papier long. PDF
  • Tahar Gherbi, Isabelle Borne et Djamel Meslati. Un méta-modèle indépendant des plateformes d’exécution pour des applications basées sur les agents mobiles. Papier court. (discussion par Areski Flissi) PDF
  • Areski Flissi et Gilles Vanwormhoudt. Programmation orientée domaine pour les services télécoms: Concepts, DSL et outillage. Papier court. (discussion par Tahar Gherbi) PDF
• 12h30 - 14h00 : Déjeuner
• 14h00 - 15h30 : Session Approche formelle [Amphi]
  • Président : Mickaël Kerboeuf
  • Asma Mehiaoui, Sara Tucci Pergiovanni et Jean-Philippe Babau. Optimisation de l'extensibilité lors du déploiement des systèmes temps-réel distribués. Papier court. (discussion par Arnaud Dieumegard) PDF
  • Boulbaba Ben Ammar, Mohamed Tahar Bhiri et Abdelmajid Ben Hamadou. Pattern de raffinement : Introduction d'une classe intermédiaire "Class_Helper". Papier court. (discussion par Faiez Zalila) PDF
  • Faiez Zalila, Xavier Crégut et Marc Pantel. Verification results feedback for FIACRE intermediate language. Papier court.  (discussion par Boulbaba Ben Ammar) PDF
• 14h00 - 15h30 : Session Manipulation et évolution de modèles [Métivier]
  • Président  : Isabelle Borne
  • Fadoi Lakhal, Hubert Dubois et Dominique Rieu. P2E: Une solution outillée dédiée à la gestion des évolutions de profils UML. Papier court. (discussion par Rachida Seghiri) PDF
  • Mahmoud El Hamlaoui, Bernard Coulette, Sophie Ebersold et Mahmoud Nassar. Mise en correspondance de modèles hétérogènes par points de vue. Papier court. (discussion par Fadoi Lakhal) PDF
  • Rachida Seghiri, Anne Picault, Claire Lecocq et Bruno Traverson. Animation de modèles UML - Application dans le contexte des Smartgrids. Papier court. (discussion par Mahmoud El Hamlaoui) PDF
• 15h30 - 16h00 : Pause
• 16h00 - 17h00 : Session Vérification [Amphi]
  • Président : Bernard Coulette
  • Olivier Finot, Jean-Marie Mottu, Gerson Sunye et Christian Attiogbe. Comparaison de Modèles Filtrée pour le Test de Transformations de Modèles. Papier long. PDF
  • Arnaud Dieumegard et Marc Pantel. Vérification d’un générateur de code par génération d’annotations. Papier court.  (discussion par Asthma Mehiaoui) PDF
• 17h00 - 18h00 : Session Analyse et application [Amphi]
  • Président : Jean-Claude Royer
  • Dominique Colnet et Benoit Sonntag. Analyse simple de types dans les tableaux et optimisation du ramasse-miettes. Papier long. PDF
  • Hélène Coullon et Sébastien Limet. Une librairie de squelettes algorithmiques par blocs sur structure de données 2D. Papier long. PDF
• 16h00 - 18h00 : Tutoriel [Métivier]
  • Mathieu Acher, Raphaël Michel et Patrick Heymans. Next-Generation Model-based Variability Management: Languages et Tools. PDF
• 18h00 - 19h00 : AG Action IDM / Comité CIEL [Amphi]
• 20h30 : Conférence sur les 100 ans de Turing (centre Rennes)

Mercredi 20 juin 2012

• 8h30 - 9h00 : Accueil
• 9h00 - 10h30 : Conférencier invité (commun GDR GPL) : Jean-Bernard Stéfani, INRIA [Amphi]
• 10h30 - 10h50 : Pause
• 10h50 - 12h15 : Session Adaptation dynamique (1) [Métivier]
  • Président : Jean-Michel Bruel
  • Eric Cariou et Mohamed Graiet. Contrats pour la vérification d'adaptation d'exécution de modèles. Papier long. PDF
  • Simon Urli. Défis à l'utilisation d'une LPL dans le cadre du projet YourCast. Papier court. (discussion par Franck Chauvel) PDF
  • Franck Chauvel, Sébastien Mosser et Arnor Solberg. Reconsidering QoS Analysis in Dynamic and Open Systems. Papier court. (discussion par Simon Urli) PDF
• 10h50 - 12h15 : Session Systèmes Temps-Réel Embarqués [Markov]
  • Président : Ileana Ober
  • Borjan Tchakaloff, Sébastien Saudrais et Jean-Philippe Babau. Modèles et transformations de modèles pour l’introduction de la consommation énergétique dans le standard AUTOSAR. Papier court. (discussion par Anthony Fernandes Pires) PDF
  • Ning Ge, Marc Pantel et Xavier Crégut. Time Properties Dedicated Framework for UML-MARTE Safety Critical RTES Verification. Papier court. (discussion par Borjan Tchakaloff) PDF
  • Anthony Fernandes Pires. Apports des méthodes formelles pour les cycles de développement logiciel embarqué basés sur le modèle en V. Papier court. (discussion par Ning Ge) PDF
• 12h15 - 14h00 : Déjeuner
• 14h00 - 15h30 : Session Adaptation dynamique (2) [Métivier]
  • Président : Antoine Beugnard
  • Manzoor Ahmad, Jean-Michel Bruel, Régine Laleau et Christophe Gnaho. Modélisation des Exigences pour les Systèmes Auto-adaptatifs: Intégration des Techniques RELAX/KAOS/SysML. Papier court. (discussion par Slim Ben Hassen) PDF
  • Slim Ben Hassen et Mariano Belaunde. Adaptation dynamique de l'interaction multimodale dans les environnements ubiquitaires. Papier court. (discussion par Nuno Gaspar) PDF
  • Nuno Gaspar et Eric Madelaine. Fractal à la Coq. Papier court (discussion par Manzoor Ahmad) PDF
• 14h00 - 15h30 : Session Réingénierie [Markov]
  • Président : Christelle Urtado
  • Lala Madiha Hakik, Marianne Huchard, Rachid El Harti et Abdelhak Djamel Seriai. Exploration de la redistribution des classes d'un package par des techniques d'Analyse Formelle de Concepts. Papier court. (discussion par Akram Ajouli) PDF
  • Akram Ajouli. An Automatic Reversible Transformation from Composite to Visitor in Java. Papier court. (discussion par Xavier Le Pallec) PDF
  • Xavier Le Pallec et Sophie Dupuy-Chessa. Intégration de métriques de qualité des modèles et des langages dans l’outil ModX. Papier court. (discussion par Marianne Huchard) PDF
• 15h30 - 16h30 : Pause + session Poster GDR GPL [Hall]
• 16h30 - 19h00 : Evénement social - visite du vieux Rennes
• 19h00 - 20h30 : Réception à la Mairie de Rennes
• 20h30 - 22h30 : Dîner de Gala

Jeudi 21 juin 2012

• 8h30 - 9h00 : Accueil
• 9h00 - 10h30 : Conférencier invité (commun GDR GPL) : Robert France, Colorado State University [Amphi]
• 10h30 - 11h00 : Pause
• 11h00 - 12h30 : Session "Présentation de papiers de haut niveau récemment acceptés" [Métivier]
  • Président : Benoit Baudry
  • Komlan Akpédjé Kedji, Redouane Lbath, Bernard Coulette, Mahmoud Nassar, Laurent Baresse, and Florin Racaru. Supporting Collaborative Development Using Process Models: An Integration-Focused Approach (ICSSP'2012)
  • Stefan Henß, Martin Monperrus, Mira Mezini. Semi-Automatically Extracting FAQs to Improve Accessibility of Software Development Knowledge" (ICSE'2012)
  • Romain Rouvoy, Philippe Merle. Rapid Prototyping of Domain-Specific Architecture Languages (CBSE'2012)
• 12h30 - 14h00 : Déjeuner
• 14h00 :  Fin de la conférence