default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th VECoS 2018: Grenoble, France
- Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez:
Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings. Lecture Notes in Computer Science 11181, Springer 2018, ISBN 978-3-030-00358-6
Invited Papers
- Thomas Given-Wilson, Nisrine Jafri, Axel Legay:
The State of Fault Injection Vulnerability Detection. 3-21 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo
:
Replacing Store Buffers by Load Buffers in TSO. 22-28
Distributed Systems and Protocols
- Davide Basile, Maurice H. ter Beek, Axel Legay, Louis-Marie Traonouez:
Orchestration Synthesis for Real-Time Service Contracts. 31-47 - Inna Vistbakka, Elena Troubitsyna:
Modelling and Verification of Dynamic Role-Based Access Control. 48-63 - Roua Ben Hamouda, Sabrine Boussema, Imene Ben Hafaiedh, Riadh Robbana:
Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments. 64-79 - Alireza Farhadi, Mohammad Izadi, Jafar Habibi:
A Protocol for Constraint Automata Execution in a Synchronous Network of Processors. 80-94
Testing and Fault Detection
- Rui Wang, Lars Michael Kristensen, Volker Stolz:
MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets. 97-113 - Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski:
How to Be Sure a Faulty System Does Not Always Appear Healthy? 114-129
Model Checking and State-Space Exploration
- Etienne Renault:
Improving Parallel State-Space Exploration Using Genetic Algorithms. 133-149 - Adrien Pommellet, Tayssir Touili:
LTL Model-Checking for Communicating Concurrent Programs. 150-165 - Kamel Barkaoui, Hanifa Boucheneb, Zhiwu Li:
Exploiting Local Persistency for Reduced State Space Generation. 166-181
Stochastic and Probabilistic Systems
- Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario:
Analysis of a Road/Tramway Intersection by the ORIS Tool. 185-199 - Redouane Bouchekir, Mohand Cherif Boukala:
Toward Implicit Learning for the Compositional Verification of Markov Decision Processes. 200-217
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 2024-11-06 20:39 CET 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:
