![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
9th 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.