default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd SPIN 2015: Stellenbosch, South Africa
- Bernd Fischer
, Jaco Geldenhuys:
Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings. Lecture Notes in Computer Science 9232, Springer 2015, ISBN 978-3-319-23403-8
Invited Contribution
- Tevfik Bultan:
String Analysis for Vulnerability Detection and Repair. 3-9
Abstraction, Refinement, Translation
- Peter Backes, Jan Reineke:
ASTRA: A Tool for Abstract Interpretation of Graph Transformation Systems. 13-19 - Dirk Beyer, Stefan Löwe, Philipp Wendler:
Refinement Selection. 20-38 - Annabelle Klarl:
From Helena Ensemble Specifications to Promela Verification Models. 39-45
Büchi Automata and Hashing
- Jiri Barnat, Petr Rockai, Vladimír Still, Jirí Weiser:
Fast, Dynamically-Sized Concurrent Hash Table. 49-65 - Frantisek Blahoudek, Alexandre Duret-Lutz, Vojtech Rujbr, Jan Strejcek:
On Refinement of Büchi Automata for Explicit Model Checking. 66-83 - Thibaud Michaud, Alexandre Duret-Lutz:
Practical Stutter-Invariance Checks for ω-Regular Languages. 84-101
Embedded Systems
- Sudipta Chattopadhyay:
MESS: Memory Performance Debugging on Embedded Multi-core Systems. 105-125 - Hussama Ismail, Iury Bessa, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Joao Edgar Chaves Filho:
DSVerifier: A Bounded Model Checking Tool for Digital Systems. 126-131 - Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Pedro Merino:
Runtime Verification of Expected Energy Consumption in Smartphones. 132-149
Heuristics and Benchmarks
- Ahmad Siyar Andisha, Martin Wehrle, Bernd Westphal:
Directed Model Checking for PROMELA with Relaxation-Based Distance Functions. 153-159 - Dirk Beyer, Stefan Löwe, Philipp Wendler:
Benchmarking and Resource Measurement. 160-178 - Francesco Sorrentino:
PickLock: A Deadlock Prediction Approach under Nested Locking. 179-199
SAT/SMT-Based Approaches
- Adrian Beer, Stephan Heidinger, Uwe Kühne, Florian Leitner-Fischer, Stefan Leue:
Symbolic Causality Checking Using Bounded Model Checking. 203-221 - Antonio Filieri, Marcelo F. Frias, Corina S. Pasareanu, Willem Visser:
Model Counting for Complex Data Structures. 222-241 - Nils Timm, Stefan Gruner, Prince Sibanda:
Parallel SAT-Based Parameterised Three-Valued Model Checking. 242-259
Software Validation and Verification
- Fabrizio Biondi, Axel Legay, Jean Quilbeuf:
Comparative Analysis of Leakage Tools on Scalable Case Studies. 263-281 - Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski:
Family-Based Model Checking Without a Family-Based Model Checker. 282-299 - Maria Christakis, Patrice Godefroid:
IC-Cut: A Compositional Search Strategy for Dynamic Test Generation. 300-318
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-01-29 23:26 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:
