Accepted Papers

Here is the list of accepted regular papers. The list of accepted Work-in-Progress papers and the final programme will be available soon.

Davide Basile, Maurice H. Ter Beek, Axel Legay and Louis-Marie Traonouez "Orchestration Synthesis for Real-time Service Contracts"

Rui Wang, Lars Kristensen and Volker Stolz "MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols using Coloured Petri Nets"

Inna Vistbakka and Elena Troubitsyna "Modelling and Verification of Dynamic Role-Based Access Control

Etienne Renault "Improving Parallel State-Space Exploration Using Genetic Algorithms"

Imen Ben Hafaiedh, Roua Ben Hamouda, Sabrine Boussema and Riadh Robbana "Performance Evaluation of Dynamic Load Balancing Protocols based on formal models in Cloud Environments"

Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandan Briones and Agnes Madalinski "How to be Sure a Faulty System Does not Always Appear Healthy?"

Alireza Farhadi, Mohammad Izadi and Jafar Habibi "A Protocol for Constraint Automata Execution in a Synchronous Network of Processors"

Adrien Pommellet and Tayssir Touili "LTL Model-Checking for Communicating Concurrent Programs"

Kamel Barkaoui, Hanifa Boucheneb and Zhiwu Li "Exploiting local persistency for reduced state space generation"

Laura Carnevali, Alessandro Fantechi, Gloria Gori and Enrico Vicario "Analysis of a road/tramway intersection by the ORIS tool"

Redouane Bouchekir and Mohand Cherif Boukala "Toward Implicit Learning for the Compositional Verification of Markov Decision Processes"