http://freephotos.vierdrie.nl/plog-content/images/free-high-resolution-photos/vierdrie.nl/montpellier-panorama1.jpg

Programme de la conférence CAL 2012

Mercredi 30 Mai 2012
  • 08:00 - 08:45 Accueil & inscription
  • 8:45 - 9:00 Cérémonie d’ouverture

  • 9:00 - 10:30 Conférence Invitée
  • Simplexity, the Quest for Reuse : Peter Kriens

  • 10:30 - 10:50 Pause café

  • 10:50 - 12:30 Session 1 - Ontologie et Sémantique

    • Refka Fouzai, Taha Bennani and Naoufel Machta.Vérification syntaxique et sémantique des modèles dans la conception orientée aspect

    • Stephen Creff, Arnaud Monegier, Joel Champeau and Jean-Marc Jézéquel. Une organisation des Lignes de Produits logiciels autour d'un motif architectural

    • Youness Bazhar, Stéphane Jean, Yamine Ait-Ameur and Mickael Baron. Extension de ONTODB pour construire une architecture générique de bases de données à base ontologique

    • Rim Mahouachi, Marouane Kessentini and Khaled Ghédira. Génération des règles de classification des défauts de conception


  • 12:30 - 14:00 Déjeuner

  • 14:00 - 15:40 Session 2 - Systèmes reconfigurables

    • Fatma Krichen, Bechir Zalila, Mohamed Jmaiel and Amal Gassara. Modélisation et vérification des systèmes embarqués temps réel reconfigurables

    • Jean-Eudes Méhus, Thais Batista and Jérémy Buisson. Acme vs PDDL: support for dynamic reconfiguration of software architectures

    • Cédric Eichler and Ismael Bouassida Rodriguez. Caractérisation de la reconfiguration dynamique des architectures logicielles par les grammaires de graphe

    • Leonardo Ataide Minora, Jérémy Buisson, Flavio Oquendo and Thais Vasconcelos Batista. Issues of Architectural Description Languages for Handling Dynamic Reconfiguration


  • 15:40 - 16:00 Pause café

  • 16:00 - 17:40 Session 3 – Systèmes Multi-agents

    • Harbouche Ahmed, Kouider El Ouahed Abdellah and Azzoune Hamid. Dérivation du comportement d'un système multi-agents par transformation de modèles

    • Nour Alhouda Aboud, Eric Cariou, Eric Gouardères and Philippe Aniorté. Correspondances sémantiques entre des modèles de services, de composants et d'agents

    • Elfazziki Aziz, Sadgal Mohamed and Nouzri Sana. Une approche agents pour la modélisation des Processus Métiers

    • Degroote Arnaud and Simon Lacroix. Une architecture pour l'autonomie des robots basée sur des agents-ressources


  • 19:00 Départ Dîner Gala


Jeudi 31 Mai 2012
  • 9:00 - 10:00 Conférencier invité
  • Ingénierie dirigée par les modèles et certification de logiciels aéronautiques : Virginie Wiels

  • 10:00 - 10:20 Pause café

  • 10:20- 12:00 Session 4 – Modèles et Vérification

    • Jean-Christophe Le Lann, Philippe Dhaussy and Pierre-Laurent Lagalaye. Modélisation conjointe logicielle-matérielle assistée par model-checking

    • Mouti Hammami, Mohamed Tahar Bhiri, Mourad Kmimech and Mohamed Graiet. Traduction de Wright en CSP pour la vérification par le model-checking

    • Yassine Ouhammou, Emmanuel Grolleau, Michael Richard and Pascal Richard. Un méta-modèle pour la conception et la validation des architectures embarquées temps-réel complexes

    • Oscar Carrillo, Samir Chouali and Hassan Mountassir. Vérification de la consistance et de la compatibilité entre blocs SysML


  • 12:00 - 14:00 Déjeuner

  • 14:00 - 15:40 Session 5 – Dynamique et Tolérance aux fautes

    • Rebbah Mohammed, Slimani Yahya, Abdelkader Benyettou and Lionel Brunie. Modèle decentralisé pour la tolérance aux fautes dans les grilles de calcul

    • Maria Piriquito, Pierre Bieber, Julien Brunel and David Chemouil. Une vue sureté de fonctionnement pour la vérification d'architectures abstraites

    • Ilhem Khlif, Mohamed Hadjkacem and Khalil Drira. An approach to multiscale and multi points of view description for dynamic software architectures

    • Hatem Arous, Jorge Gomez, Thierry Villemur and Ernesto Exposito. Approche de déploiement automatique basé sur les modèles sémantiques


  • 15:40 - 16:00 Pause café

  • 16:00 - Clôture de la conférence

© 2011 - 2012 Université de Nantes.
Contact us about issues related to the content of these pages.
Layout developped by Anthony Hock-koon.