Programme

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


PROGRAMME DES ATELIERS

 

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

 

PROGRAM DU NOTERE


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
10:45-12:00

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

 

12:00-13:00

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
15:00-16:15

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

 

16:45-18:00

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

 

10:45-11:45

Research Track Keynote

Session Chair:

Claude Jard, National High School of Cachan, France

 

Michel Raynal

Communication and agreement abstractions

for fault-tolerant distributed systems

 

11:45-13:00

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
15:00-16:15

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
 

16:45-18:00

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

 

11:45-13:00

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

 

13:00-13:30  

Closing Session

 

13:30-15:00 Lunch