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

Papiers acceptés

ACCEPTES EN VERSION LONGUE (12 PAGES)

  • 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
  • Fatma Krichen, Bechir Zalila, Mohamed Jmaiel and Amal Gassara. Modélisation et vérification des systèmes embarqués temps réel reconfigurables
  • Stephen Creff, Arnaud Monegier, Joel Champeau and Jean-Marc Jézéquel. Une organisation des Lignes de Produits logiciels autour d'un motif architectural
  • Jean-Eudes Méhus, Thais Batista and Jérémy Buisson. Acme vs PDDL: support for dynamic reconfiguration of software architectures
  • Harbouche Ahmed, Kouider El Ouahed Abdellah and Azzoune Hamid. Dérivation du comportement d'un système multi-agents par transformation de modèles
  • Rebbah Mohammed, Slimani Yahya, Abdelkader Benyettou and Lionel Brunie. Modèle decentralisé pour la tolérance aux fautes dans les grilles de calcul
  • Refka Fouzai, Taha Bennani and Naoufel Machta.Vérification syntaxique et sémantique des modèles dans la conception orientée aspect
  • 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
  • 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
  • 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
  • Elfazziki Aziz, Sadgal Mohamed and Nouzri Sana. Une approche agents pour la modélisation des Processus Métiers
  • Oscar Carrillo, Samir Chouali and Hassan Mountassir. Vérification de la consistance et de la compatibilité entre blocs SysML

ACCEPTES EN VERSION COURTE (6 PAGES)

  • Hatem Arous, Jorge Gomez, Thierry Villemur and Ernesto Exposito. Approche de déploiement automatique basé sur les modèles sémantiques
  • Maria Piriquito, Pierre Bieber, Julien Brunel and David Chemouil. Une vue sureté de fonctionnement pour la vérification d'architectures abstraites
  • Degroote Arnaud and Simon Lacroix. Une architecture pour l'autonomie des robots basée sur des agents-ressources
  • 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
  • Rim Mahouachi, Marouane Kessentini and Khaled Ghédira. Génération des règles de classification des défauts de conception
  • Ilhem Khlif, Mohamed Hadjkacem and Khalil Drira. An approach to multiscale and multi points of view description for dynamic software architectures

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