May 30^th (Sunday)

Session Chair:

Ken Turner, University of Stirling, United Kingdom

Sandeep K. Shukla

Model Driven Embedded Software Generation:

A Generative Approach to Safety

Session 1: Formal Description

Session Chair:

Michel Raynal, IRISA, Campus de Beaulieu Rennes1- Univ. France

Daniel Knorreck, Ludovic Apvrille and Renaud Pacalet

Formal System-level Design Space Exploration

Thomas Chatain and Claude Jard

Sémantique concurrente symbolique des réseaux de Petri saufs et dépliages finis des réseaux temporels

Gilles Lasnier, Thomas Robert, Laurent Pautet and Fabrice Kordon

Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex

Session 2: Availability and load balancing in P2P and distributed systems

Session Chair:

Mohamed Jemni, ESST - Tunis, Tunisia

Radwane Saad, Ahmed Serhrouchni and Ken Chen

hTracker: towards a Service Provider Oriented Peer-to-Peer architecture

Ali Kanso, Ferhat Khendek, Abdelwahab Hamou-Lhadj, and Maria Toeroe

Ranking Service Units for Providing and Protecting Highly Available Services with Load Balancing

Session 3: SOA & Ambient intelligence

Session Chair:

Samir Tata, TELECOM SudParis -Evry, France

Kenneth Turner

Device Services for The Home

Yasmine Charif, Kostas Stathis and Hafedh Mili

Towards Anticipatory Service Composition in Ambient Intelligence

MariaGrazia Fugini, Claudia Raibulet and Luigi Ubezio

Risk Characterization and Prototyping

 Adel Alti and Abdellah Boukerram

 QualiStyle: A Tool for Automatic Quality

 Evaluation and Selection of Architectural Styles

Session 4: Parallel and Distributed Algorithms

Session Chair:

Soumaya Cherkaoui, Sherbrook University, Canada

Samia Kouki, Mohamed Jemni and Talel Ladhari

Design of Parallel Distributed Algorithm for the Permutation Flow Shop Problem

Olivier Flauzac, Bachar Salim Haggar and Florent Nolot

Tree and Cluster Management for MANET

Nadège Pontisso, Philippe Quéinnec and Gérard Padiou

Analysis of Distributed Multi-Periodic Systems to Achieve Consistent Data Matching

Session Chair:

Ferhat Khendek, Concordia Univ. - Montreal, Canada

Mohamed Sellami, Olfa Bouchaala, Walid Gaaloul and Samir Tata

WSRD: A Web Services Registry Description

Abdelghani Benharref, Mohamed Adel Serhani, Salah Bouktif and Jamal Bentahar

A Managerial Community of Web Services for Management of Communities of Web Services

Mohammed Erradi and Soumaya Cherkaoui

Expérimentation d’un Algorithme de Gestion de QoS lors de la Découverte de Service

Emna Fki, Said Tazi and Chantal Soulé-Dupuy

Towards a User Intention Aware Service Composition

 Fatma Krichen, Brahim Hamid, 

 Bechir Zalila and Bernard Coulette

 Designing Dynamic Reconfiguration for Distributed Real Time Embedded Systems

Research Track Keynote

Session Chair:

Claude Jard, National High School of Cachan, France

Michel Raynal

Communication and agreement abstractions

for fault-tolerant distributed systems

Session 6: MANET Management

Session Chair:

Mohamed Mosbah, ENSERB - Bordeaux, France

Dennis Christmann, Reinhard Gotzhein, Marc Krämer and Martin Winkler

Flexible and Energy-efficient Duty Cycling in Wireless Networks with MacZ

Sofiene Jelassi, Habib Youssef and Guy Pujolle

Réglage optimal du buffer de lecture pour un streaming sans rupture à travers un réseau mobile

Mohamad El Masri, Slim Abdellatif and Guy Juanole

On Resource Management in Heterogeneous Wireless Access Networks application to automated highway systems

Session 7: Ubiquitous and Collaborative Systems

Session Chair:

Faiez Gargouri, ISIM - Sfax, Tunisia

German Sancho, Ismael Bouassida Rodriguez, Thierry Villemur and Said Tazi

What About Collaboration in Ubiquitous Environments?

Yassine El Ghayam and Mohamed Erradi

Decision Tree Based Context Management in a Collaborative Environment

Mikael Desertot, Sylvain Lecomte, Dana Popovici, Marie Thilliez and Thierry Delot

A context aware framework for services management in the Transportation Domain

 Yousra Bendaly Hlaoui and

 Leila Jemni Benayed

 Symbolic Model Checking Supporting Formal

 Verification of Grid Service Workflow Models

 Specified by UML Activity Diagrams
 

Session 8: MANET Management and QoS

Session Chair:

Habib Youssef, ISITC – Hammem Sousse, Tunisia

Mohamed Aymen Chalouf and Francine Krief

Une négociation dynamique de niveau de service de bout en bout sécurisée

Husna Osman and Hamish Taylor

Managing Group Membership in Ad Hoc M-Commerce Trading Systems

Abdelmajid Hajami, Kamal Oudidi and Mohammed Elkoutbi

An enhanced algorithm for MANET clustering based on Multi hops and Network Density

Session Chair:

Ludovic Apvrille, TELECOM ParisTech - Paris, France  

Lilia Sfaxi, Takoua Abdellatif, Yassine Lakhnech and Riadh Robbana

Contrôle du flux d'information des systèmes distribués à base de composants

Adel Alti, Abdellah Bookerram, Makhlouf Derdour and Phillipe Roose

Context-aware Quality Model Driven Approach

Mounira Bouzahzah and Ramdane Maamri

A Model for Criticality Evaluation Based on Hierarchical Plans to Provide Fault Tolerance in Multi Agent Systems

Pierre Schmitt, Cédric Bonhomme and Benjamin Gâteau

Easy programming of Agent based Electronic Institution with UTOPIA

Reinhard Gotzhein, Univ. of Kaiserslautern,Germany

Nicolas Guelfi

Dependability and Resilience from a Software Engineering Perspective

Session 10: WSN and applications

Session Chair:

Thierry Villemur, LAAS-CNRS - Toulouse Univ., France

Nesrine Ouled Abdallah, Hatem Hadj Kacem, Mohamed Mosbah and Akka Zemmari

Broadcast in wireless mobile sensor networks with population protocols and extension with the rendezvous model

Laura Margarita Rodríguez Peralta, Bruno Alexandre Teixeira Gouveia, Dália José Gomes de Sousa and Cláudio da Silva Alves

Enabling Museum’s Environmental Monitorization based on lowcost WSNs

Nawel Bendimerad, Bouabdellah Kechar and Hafid Haffaf

Node disjoint Multipath routing based on DYMO Protocol with QoS Guaranty in Wireless Sensor Networks

Closing Session