Skip to main content
SpringerLink
Log in
Book cover

Verification and Evaluation of Computer and Communication Systems

12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Mohamed Faouzi Atig

    1. Uppsala University, Uppsala, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Saddek Bensalem

    1. Grenoble Alpes University, St Martin d’Hères, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Simon Bliudze

    1. Inria Lille - Nord Europe, Villeneuve d’Ascq, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Bruno Monsuez

    1. École Nationale Superieure de Techniques Avancées, Palaiseau, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11181)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: VECoS 2018.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. The State of Fault Injection Vulnerability Detection

      • Thomas Given-Wilson, Nisrine Jafri, Axel Legay
      Pages 3-21

    3. Replacing Store Buffers by Load Buffers in TSO

      • Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
      Pages 22-28

  3. Distributed Systems and Protocols

    1. Front Matter

      Pages 29-29
      Download chapter PDF

    2. Orchestration Synthesis for Real-Time Service Contracts

      • Davide Basile, Maurice H. ter Beek, Axel Legay, Louis-Marie Traonouez
      Pages 31-47

    3. Modelling and Verification of Dynamic Role-Based Access Control

      • Inna Vistbakka, Elena Troubitsyna
      Pages 48-63

    4. Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments

      • Roua Ben Hamouda, Sabrine Boussema, Imene Ben Hafaiedh, Riadh Robbana
      Pages 64-79

    5. A Protocol for Constraint Automata Execution in a Synchronous Network of Processors

      • Alireza Farhadi, Mohammad Izadi, Jafar Habibi
      Pages 80-94

  4. Testing and Fault Detection

    1. Front Matter

      Pages 95-95
      Download chapter PDF

    2. MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets

      • Rui Wang, Lars Michael Kristensen, Volker Stolz
      Pages 97-113

    3. How to Be Sure a Faulty System Does Not Always Appear Healthy?

      • Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski
      Pages 114-129

  5. Model Checking and State-Space Exploration

    1. Front Matter

      Pages 131-131
      Download chapter PDF

    2. Improving Parallel State-Space Exploration Using Genetic Algorithms

      • Etienne Renault
      Pages 133-149

    3. LTL Model-Checking for Communicating Concurrent Programs

      • Adrien Pommellet, Tayssir Touili
      Pages 150-165

    4. Exploiting Local Persistency for Reduced State Space Generation

      • Kamel Barkaoui, Hanifa Boucheneb, Zhiwu Li
      Pages 166-181

  6. Stochastic and Probabilistic Systems

    1. Front Matter

      Pages 183-183
      Download chapter PDF

    2. Analysis of a Road/Tramway Intersection by the ORIS Tool

      • Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario
      Pages 185-199

    3. Toward Implicit Learning for the Compositional Verification of Markov Decision Processes

      • Redouane Bouchekir, Mohand Cherif Boukala
      Pages 200-217

  7. Back Matter

    Pages 219-219
    Download chapter PDF
Back to top

Other volumes

  1. Verification and Evaluation of Computer and Communication Systems

Keywords

About this book

This book constitutes the proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018.

The 11 full papers in this volume, presented together with one abstract and two invited papers, were carefully reviewed and selected from 23 submissions.

The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.

Editors and Affiliations

  • Uppsala University, Uppsala, Sweden

    Mohamed Faouzi Atig

  • Grenoble Alpes University, St Martin d’Hères, France

    Saddek Bensalem

  • Inria Lille - Nord Europe, Villeneuve d’Ascq, France

    Simon Bliudze

  • École Nationale Superieure de Techniques Avancées, Palaiseau, France

    Bruno Monsuez

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation