[TYPES/announce] Call for participation VECoS 2018, Grenoble, 26-28 septembre 2018

[Ayoub Nouri]

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/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180905/e340e094/attachment.html>