[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Please accept our apologies if you receive multiple copies of this email.
----------------------------------------------------------------------
Call for Participation
VECoS 2018
12th International Conference on Verification and Evaluation of
Computer and Communication Systems
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'Hères 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
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: http://vecos2018.inviteo.fr/
