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 9^th 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|