Call for Participation: VECoS 2018
Call for Participation
12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018)
Grenoble, France | September 26-28, 2018 | https://vecos.ensta-paristech.fr/2018/
VECoS is focused on formal approaches, methods and techniques for the verification and evaluation of concurrent and distributed systems, considering both their hardware and software aspects.
INVITED SPEAKERS
- Parosh Aziz Abdulla (Uppsala University, Sweden)
"Replacing Store Buffers by Load Buffers in Total Store Ordering" - Axel Legay (Inria Rennes, France)
"Fault injection, from software to hardware and reversed" - Alexandra Silva (University College London, UK)
"Automated Black-box verification of Networking Systems
VENUE
The VECoS 2018 conference will be held in the auditorium of the IMAG building on the Saint-Matin d'Heres campus of the University of Grenobles Alpes.
First-class museums, full of history castle, and unique places that reflect the city's desire to always surprise and innovate; Grenoble has been successfully reinventing itself for more than two centuries, often leading the way for cultural, social, and industrial trends. https://www.grenoble-tourisme.com/en/
PROGRAM
https://vecos.ensta-paristech.fr/2018/programme.html
Wednesday, 26 September 2018
Invited Lecture by Parosh Aziz Abdulla
Session 1: Testing and Fault Detection
- "MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols using Coloured Petri Nets"
- by Rui Wang, Lars Kristensen and Volker Stolz.
- "How to be Sure a Faulty System Does not Always Appear Healthy?"
- by Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandan Briones and Agnes Madalinski.
Session 2: Model-Checking & State-Space Exploration
- "Exploiting local persistency for reduced state space generation"
by Kamel Barkaoui, Hanifa Boucheneb and Zhiwu Li. - "Improving Parallel State-Space Exploration Using Genetic Algorithms"
by Etienne Renault. - "LTL Model-Checking for Communicating Concurrent Programs"
by Adrien Pommellet and Tayssir Touili.
Session 3: Distributed Systems & Protocols
- "Performance Evaluation of Dynamic Load Balancing Protocols based on formal models in Cloud Environments"
by Imen Ben Hafaiedh, Roua Ben Hamouda, Sabrine Boussema and Riadh Robbana. - Modelling and Verification of Dynamic Role-Based Access Control"
by Inna Vistbakka and Elena Troubitsyna.
Thursday, 27 September 2018
Invited Lecture by Alexandra Silva
Session 4: Timed Systems and Service Contracts
- "Orchestration Synthesis for Real-time Service Contracts"
by Davide Basile, Maurice H. Ter Beek, Axel Legay and Louis-Marie Traonouez. - "A Protocol for Constraint Automata Execution in a Synchronous Network of Processors"
by Alireza Farhadi, Mohammad Izadi and Jafar Habibi.
Session 5: Student Presentations & Posters
Friday, 28 September 2018
Invited Lecture by Axel Legay
Session 6: Stochastic and Probabilistic Systems
- "Analysis of a road/tramway intersection by the ORIS tool"
by Laura Carnevali, Alessandro Fantechi, Gloria Gori and Enrico Vicario. - "Toward Implicit Learning for the Compositional Verification of Markov Decision Processes"
by Redouane Bouchekir and Mohand Cherif Boukala.
REGISTRATION