| Vol-1431 urn:nbn:de:0074-1431-6 Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# VECoS 2015
Verification and Evaluation of Computer and Communication Systems

### Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems

### Bucharest, Romania, September 10-11, 2015.

Edited by

### Belgacem Ben Hedia *
Florin Popentiu Vladicescu **

* CEA, LIST, Centre de Saclay, PC172, 91191, Gif-sur-Yvette, FRANCE
** University of Oradea, Romania

Complete workshop proceedings as one file (~6 MB).

## Table of Contents

- Preface

### Session 1: Control and Diagnosis

- Resilience Assessment: Accidental and Malicious Threats (invited talk) 9-10
  Mohamed Kaâniche
- Fault Diagnosis of P-Time Labeled Petri net Systems 11-22
  Patrice Bonhomme
- Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems 23-34
  Abderraouf Boussif, Mohamed Ghazel, Kais Klai

### Session 2: Program verification

- Probabilistic Approaches for Time Critical Embedded Systems (invited talk) 37-38
  Liliana Cucu-Grosjean
- Towards the Property-Based Testing of an L4 Microkernel API 39-50
  Cosmin Dragomir, Lucian Mogosanu, Mihai Carabas, Razvan Deaconescu, Nicolae Tapus
- An Approach for Formal Verification of Updated Java Bytecode Programs 51-64
  Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet
- State Space Reduction Strategie for Model Checking Concurrent C Programs 65-76
  Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui

### Session 3: Performance evaluation

- Timeout Interaction and Migration in Distributed Systems (invited talk) 79-80
  Gabriel Ciobanu
- Model-Based Verification of the DMAMAC Protocol for Real-time Process Control 81-96
  Admar Ajith Kumar Somappa, Andreas Prinz, Lars Kristensen
- On quantitative Analysis of Time Open Workflow Nets and Parametric Extension 97-108
  Zohra Sbaï, Kamel Barkaoui
- Verification of Bounded Real-Time Distributed Systems With Mobility 109-120
  Bogdan Aman, Gabriel Ciobanu

2015-09-02: submitted by Belgacem Ben Hedia, metadata incl. bibliographic data published under Creative Commons CC0
2015-09-02: published on CEUR-WS.org |valid HTML5|