-------- Forwarded Message -------- Subject: [AISWorld] [Mycolleagues] Call for participation VECoS 2018, Grenoble, 26-28 septembre 2018 Date: Wed, 5 Sep 2018 09:37:08 +0200 From: Ayoub Nouri ayoub.nouri@univ-grenoble-alpes.fr Reply-To: mycadm@hotmail.com To: mycolleagues@mailman.ufsc.br, bull-i3@irit.fr bull-i3@irit.fr, types-announce@lists.seas.upenn.edu, FACS@JISCMAIL.AC.UK, MODERN-HEURISTICS@JISCMAIL.AC.UK, info-ic@inria.fr, aisworld@lists.aisnet.org aisworld@lists.aisnet.org, fmindia@cmi.ac.in fmindia@cmi.ac.in, [LOGIC] Mailing List logic@math.uni-bonn.de

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/