Steering Committee
Hassane Alla - LAG-INPG Grenoble, France
Nadjib Badache - LSI-USTHB Algiers, Algeria
Kamel Barkaoui (Chair) - CEDRIC-CNAM Paris, France
Rahma Ben Ayed - SysCom-ENIT Tunis, Tunisia
Karim Djouani - LISSI Universite Paris 12 Creteil, France
Mohamed Kaaniche - LAAS CNRS Toulouse, France
Patrice Moreaux - LISTIC Universite de Savoie Annecy, France
Programme Committee
Djamil Aissani - LAMOS, University of Bejaia, Algeria
Yamine Ait Ameur - ENSMA, France
Otmane Ait Mohamed - Concordia University, Canada
Nasreddine Aoumeur - University of Magdeburg, Germany
Faiza Belala - University Mentouri Constantine, Algeria
Abdelfettah Belghith - ENSI Tunis, Tunisia
Hanene Ben Abdallah - University of Sfax, Tunisia
Narjes Ben Rajeb - LIP2 & INSAT, Tunisia
Saddek Bensalem - VERIMAG, France
Abderrahim Benslimane - University of Avignon, France
Rene Boel - Ghent University, Belgium
Hanifa Boucheneb - Ecole Polytechnique Montreal, Canada
Celine Boutrous Saab - Lamsade, Universite Paris-Dauphine, France
Maria Blanca Caminero Herraez - Universidad de Castilla-La Mancha, Spain
Allaoua Chaoui - University Mentouri Constantine, Algeria
Jean-Michel Couvreur - LIFO, Orleans University, France
Silvano Dal Zilio - LAAS CNRS Toulouse, France
Isabel Demongodin - LSIS University Paul Cezanne, France
Claude Dutheillet - LIP6 University Pierre et Marie Curie, France
Mohammed Erradi - ENSIAS, Morocco
Pascal Fontaine - LORIA University of Nancy, France
Hacene Fouchal - GRIMAAG, Universite Antilles-Guyane
Giuliana Franceschinis - Universita del Piemonte Orientale, Italy
Iain Gourlay - University of Leeds, UK
Bernd Heidergott - Vrije Universiteit Amsterdam, the Netherlands
Malika Ioualalen - USTHB Algiers, Algeria
Hanna Klaudel - IBISC CNRS, University of Evry, France
Mourad Maouche - Philadelphia University, Jordan
Herve Marchand - IRISA, France
Mohamed Mezghiche - LIFAB, University of Boumerdes, Algeria
Noufissa Mikou - University of Bourgogne, France
Bruno Monsuez - ENSTA, France
Mohamed Mosbah - LaBRI Bordeaux, France
Hassan Mountassir - LIFC University Franche-Comte Besancon, France
Laure Petrucci - LIPN CNRS, University Paris Nord, France
Denis Poitrenaud - LIP6 - Paris VI University, France
Larbi Sekhri - University of Oran, Algeria
Tayssir Touili - LIAFA CNRS University Paris-Diderot, France
Thierry Villemur - LAAS CNRS, France
Habib Youssef - ISITCom University of Sousse, Tunisia
Papers:
Session 1: Verification Methods
Djamel Eddine Saïdouni, Nabil Belala and Messaouda Bouneb Aggregation of transitions in marking graph generation based on maximality semantics for Petri nets http://dx.doi.org/10.14236/ewic/VECOS2008.1
Sa'ed Abed, Otmane Ait Mohamed and Ghiath Al Sammane Multiway Decision Graphs Reduction Approach based on the HOL Theorem Prover http://dx.doi.org/10.14236/ewic/VECOS2008.2
Jean-Michel Couvreur and Duy-Tung Nguyen Tree Data Decision Diagrams http://dx.doi.org/10.14236/ewic/VECOS2008.3
Harry Gros-Desormeaux, Hacène Fouchal and Philippe Hunel A Comparison of Distributed Test Generation Techniques http://dx.doi.org/10.14236/ewic/VECOS2008.4
Session 2: Network Optimisation
Abdelfettah Belghith and Wafa Akkari Power Saving Mechanisms for Ad hoc networks Based on Handshaking Information Tapping http://dx.doi.org/10.14236/ewic/VECOS2008.5
Bouabdellah Kechar, Ahmed Louazani, Larbi Sekhri, Mohamed Faycal Khelfi Energy Efficient Cross-Layer MAC Protocol for Wireless Sensor Networks http://dx.doi.org/10.14236/ewic/VECOS2008.6
Naouel Ben Ali, Miklos Molnar and Abdelfettah Belghith ICRA: Incremental Cycle Reduction Algorithm for optimizing multi-constrained multicast routing http://dx.doi.org/10.14236/ewic/VECOS2008.7
Session 3: Network Evaluation
Ali El Kamel and Habib Youssef REEQOS: An RSVP-TE approach for the End-to-End QoS provisioning within MPLS Domains http://dx.doi.org/10.14236/ewic/VECOS2008.8
Anis Ben Arbia and Habib Youssef Adaptive Clustering Based on Auto - Learning Algorithm http://dx.doi.org/10.14236/ewic/VECOS2008.9
Session 4: Complex Systems Analysis and Verification
Nicolas Ayache, Loïc Correnson and Franck Védrine Verifying SystemC with Scenario http://dx.doi.org/10.14236/ewic/VECOS2008.10
Gabriella Carrozza, Marcello Cinque, Domenico Cotroneo and Roberto Natella Operating System Support to Detect Application Hangs http://dx.doi.org/10.14236/ewic/VECOS2008.11
Bilel Benhamamouch, Bruno Monsuez and Franck Védrine Computing WCET using symbolic execution http://dx.doi.org/10.14236/ewic/VECOS2008.12
Session 5: Verification/Evaluation of Distributed Systems
Yassine Elghayam, Mohammed Ouzzif and Mohammed Erradi An LTL Specification and Verification of a Mobile Teleconferencing System http://dx.doi.org/10.14236/ewic/VECOS2008.13
Ahmed Hammad and Hassan Mountassir Heuristics to Verify LTL Properties of Hierarchical Systems http://dx.doi.org/10.14236/ewic/VECOS2008.14
Boussad Addad and Said Amari Response time evaluation in Ethernet-based automation architectures http://dx.doi.org/10.14236/ewic/VECOS2008.15
Session 6: Distributed Information Systems Modelling
Shehla Abbas, Mohamed Mosbah and Akka Zemmari A Probabilistic Model for Distributed Merging of Mobile Agents http://dx.doi.org/10.14236/ewic/VECOS2008.16
Siwar Khelifi, Hatem Hadj kacem and Ahmed Hadj Kacem Specification and verification of the structural and behavioral properties of Publish/Subscribe architectures http://dx.doi.org/10.14236/ewic/VECOS2008.17
Lu Liu, Duncan Russell, Nik Looker, David Webster and Jie Xu Evolutionary Service-Oriented Architecture for Network Enabled Capability http://dx.doi.org/10.14236/ewic/VECOS2008.18