La version PDF du programme de NOTERE est disponible:    Registration Form (PDF)



May 30th (Sunday)
Time Program
08:30-08:45 Opening Session
08:45-10:15 WS1: DANCE - Session 1 WS2: Web2Touch- Session 1
10:15-10:45 Coffee Break
10:45-12:15 WS1: DANCE - Session 2 WS2: Web2Touch- Session 2
12:30-14:30 Lunch
14:30-16:15 WS1: DANCE - Round Table WS3: PROMASC - Session 1
16:15-16:45 Coffee Break
16:45-19:00 WS2: Web2Touch - Round Table WS3: PROMASC - Session 2



May 31st (Monday)
Time Program
08:15-08:45 Registration
08:45-09:15 Opening
09:15-10:15 Research Track Keynote

Session Chair:

Ken Turner, University of Stirling, United Kingdom


Sandeep K. Shukla

Model Driven Embedded Software Generation:

A Generative Approach to Safety

10:15-10:45 Coffee Break

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


13:00-15:00 Lunch

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


16:15-16:45 Coffee Break Poster Session


 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


June 1st (Tuesday)
Time Program
08:30-09:30 Session 5: Service Discovery and Composition

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


10:15-10:45 Coffee Break Poster Session


 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


13:15-15:00 Lunch

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

16:15-16:45 Coffee Break Poster Session


 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


20:00 Banquet

June 2nd (Wednesday)
Time Program
08:30-10:15 Session 9: MDA for Distributed Systems

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


10:15-10:45 Coffee Break
10:45-11:45 Research Track Keynote
Session Chair:

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


13:30-15:00 Lunch