Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige


    Browse the conference papers here

    Session 1: Verification Methods
    Session 2: Network Optimisation
    Session 3: Network Evaluation
    Session 4: Complex Systems Analysis and Verification
    Session 5: Verification/Evaluation of Distributed Systems
    Session 6: Distributed Information Systems Modelling

    Invited Talks

    Session 1: Verification Methods

    Aggregation of transitions in marking graph generation based on maximality semantics for Petri nets
    Djamel Eddine Saïdouni, Nabil Belala and Messaouda Bouneb

    Multiway Decision Graphs Reduction Approach based on the 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, Hacène Fouchal and Philippe Hunel

    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
    Bouabdellah Kechar, Ahmed Louazani, Larbi Sekhri, Mohamed Faycal Khelfi

    ICRA: Incremental Cycle Reduction Algorithm for optimizing multi-constrained multicast routing
    Naouel Ben Ali, Miklos Molnar and Abdelfettah Belghith

    Session 3: Network Evaluation

    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
    Anis Ben Arbia and Habib Youssef

    Session 4: Complex Systems Analysis and Verification

    Verifying SystemC with Scenario
    Nicolas Ayache, Loïc Correnson and Franck Védrine

    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 Védrine

    Session 5: Verification/Evaluation of Distributed Systems

    An LTL Specification and Verification of a Mobile Teleconferencing System
    Yassine Elghayam, Mohammed Ouzzif and Mohammed Erradi

    Heuristics to Verify LTL Properties of Hierarchical Systems
    Ahmed Hammad and Hassan Mountassir

    Response time evaluation in Ethernet-based automation architectures
    Boussad Addad and Said Amari

    Session 6: Distributed Information Systems Modelling

    A Probabilistic Model for Distributed Merging of Mobile Agents
    Shehla Abbas, Mohamed Mosbah and Akka Zemmari

    Specification and verification of the structural and behavioral properties of Publish/Subscribe architectures
    Siwar Khelifi, Hatem Hadj kacem and Ahmed Hadj Kacem

    Evolutionary Service-Oriented Architecture for Network Enabled Capability
    Lu Liu, Duncan Russell, Nik Looker, David Webster and Jie Xu