General
Committees
Workshop
Useful Links
Workshop Programme
Wednesday 2 July 2008 |
|
| 08:30 - 09:00 | Registration
|
| Location
| Active Learning Lab. (Room 9.30), School of Computing
|
| 09:00-09:15 | Opening
|
| 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 |
| 10:15:10:30 | 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 | Lunch
|
| 14:00-15:30 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 |
| 20:00 | 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 |
| 09:30-11:00 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 |
| 11:00:11:15 | 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 | Lunch
|
| 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 |
| 17:00 | Closing
|