-------- 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/