default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th VECoS 2015: Bucharest, Romania
- Belgacem Ben Hedia, Florin Popentiu Vladicescu:
Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015. CEUR Workshop Proceedings 1431, CEUR-WS.org 2015
Session 1: Control and Diagnosis
- Mohamed Kaâniche:
Resilience Assessment: Accidental and Malicious Threats. 9 - Patrice Bonhomme:
Fault Diagnosis of P-Time Labeled Petri net Systems. 11-22 - Abderraouf Boussif, Mohamed Ghazel, Kais Klai:
Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems. 23-34
Session 2: Program verification
- Liliana Cucu-Grosjean:
Probabilistic Approaches for Time Critical Embedded Systems. 37-38 - Cosmin Dragomir, Lucian Mogosanu, Mihai Carabas, Razvan Deaconescu, Nicolae Tapus:
Towards the Property-Based Testing of an L4 Microkernel API. 39-50 - Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet:
An Approach for Formal Verification of Updated Java Bytecode Programs. 51-64 - Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui:
State Space Reduction Strategie for Model Checking Concurrent C Programs. 65-76
Session 3: Performance evaluation
- Gabriel Ciobanu:
Timeout Interaction and Migration in Distributed Systems. 79-80 - Admar Ajith Kumar Somappa, Andreas Prinz, Lars Michael Kristensen:
Model-Based Verification of the DMAMAC Protocol for Real-time Process Control. 81-96 - Zohra Sbaï, Kamel Barkaoui:
On quantitative Analysis of Time Open Workflow Nets and Parametric Extension. 97-108 - Bogdan Aman, Gabriel Ciobanu:
Verification of Bounded Real-Time Distributed Systems With Mobility. 109-120
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-19 22:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
