Useful Links

Workshop Programme

Wednesday 2 July 2008

08:30 - 09:00
Active Learning Lab. (Room 9.30), School of Computing
9:15:-10:15 Invited speaker 1: Jim Woodcock
Department of Computer Science, University of York
Talk: Mechanising the Proof of an Operating System Kernel
Coffee Break
10:30 - 12:30
Session 1:
Verification Methods
Aggregation of transitions in marking graph generation based on maximality semantics for Petri nets.
Djamel Eddine Saidouni, Nabil Belala and Messaouda Bouneb
Multiway Decision Graphs Reduction Approach based on HOL Theorem Prover.
Sa'ed Abed, Otmane Ait Mohamed and Ghiath Al Sammane
Tree Data Decision Diagrams.
Jean-Michel Couvreur and Duy Tung Nguyen
A comparison of Distributed Test Generation Techniques
Harry Gros-Desormeaux, Hacene Fouchal and Philippe Hunel
12:30 - 14:00
Session 2:
Network Optimisation
Power Saving Mechanisms for Ad hoc Networks Based on Handshaking Information Tapping.
Abdelfettah Belghith and Wafa Akkari
Energy Efficient Cross-Layer MAC Protocol for Wireless Sensor Networks.
Kechar Bouabdellah, LOUAZANI Ahmed , Larbi Sekhri and KHELFI Mohamed Faycal
ICRA: Incremental Cycle Reduction Algorithm for optimizing multi-constrained multicast routing.
Naouel BenAli, Miklos Molnar and Abdelfettah Belghith
15:30 - 16:00
Coffee break
16:00 - 17:30
Session 3:
Network Evaluation
Performance and Complexity evaluation of Multi-path routing algorithms for MPLS-TE
Khodor Abboud
REEQOS: An RSVP-TE approach for the End-to-End QoS provisioning within MPLS Domains
Ali El Kamel and Habib Youssef
Adaptive Clustering Based on Auto-Learning Algorithm.
Ben Arbia Anis and Habib Youssef
17:30-18:30 Invited speaker 2: Beatrice Berard
LAMSADE, University Paris Dauphine, France
Talk: Recent results about Timed Systems analysis
Workshop Dinner

Thursday 3 July 2008

08:30-09:30 Invited speaker 3: Saddek Bensalem
VERIMAG Laboratory, University Joseph Fourier, Grenoble, France
Compositional Deadlock Detection and Verification for Component-based Systems
Session 4:
Complex Systems Analysis and Verification
Verifying SystemC with Scenario.
Franck Vedrine, Nicolas Ayache and Loic Correnson.
Operating System Support to Detect Application Hangs.
Gabriella Carrozza, Marcello Cinque, Domenico Cotroneo and Roberto Natella.
Computing WCET using symbolic execution.
Bilel Benhamamouch, Bruno Monsuez and Franck Vedrine
Coffee Break
11:15 - 12:45
Session 5:
Verification/Evaluation of Distributed Systems
A Specification and an LTL Verification of a Mobile Teleconferencing System.
Yassine Elghayam, Mohammed Ouzzif and Mohammed Erradi.
Heuristics to Check LTL Properties of Hierarchical Systems.
Ahmed Hammad and Mountassir Hassan
Response time evaluation in Ethernet-based automation architectures.
Boussad Addad and Amari Said
12:45 - 14:00
14:00-15:00 Invited Speaker 4: Omer Rana
School of Computer Science, Cardiff University, UK
Talk: Quality of Service in Grid computing
15:00 - 15:30
Coffee break
15:30 - 17:00
Session 6:
Distributed Information Systems Modelling
A Probabilistic Model for Distributed Merging of Mobile Agents.
Shehla Abbas, Mohamed Mosbah and Akka Zemmari
Modelling and Specification of the structural and behavioral properties of Publish/Subscribe architectures.
Ahmed Hadj Kacem, Hatem Hadj Kacem and Siwar Khelifi
Evolutionary Service-Oriented Architecture for Network Enabled Capability.
Lu Liu, Duncan Russell, Nik Looker, David Webster, Jie Xu, John Davies and Ken Irvin