|
Invited Talks |
String Analysis for Vulnerability Detection and Repair ,
Tevfik Bultan (UC Santa Barbara, USA) |
The Augmented Reality of Model Counting ,
Willem Visser (Stellenbosch University, S. Africa) |
| |
Tutorial |
CBMC: Bounded Model Checking of Concurrent Programs ,
Michael Tautschnig (Oxford University, UK) |
| |
Research Papers |
[PDF] Parallel SAT-Based Parameterised Three-Value Model Checking,
N. Timm, S. Fruner, P. Sibanda |
[PDF] Symbolic Causality Checking Using Bounded Model Checking,
A. Beer, S. Heidinger, U. Kuhne, F. Leitner-Fisher, S. Leueu |
[PDF] On Refinement of Buchi Automata for Explicit Model Checking,
F. Blahoudek, A. Duret-Lutz, V. Rujbr, J. Strejcek |
[PDF] Comparitive Analysis of Leakage Tools on Scalable Case Studies,
F. Biondi, A. Legay, J. Quilbeuf |
[PDF] MESS: Memory Performance Debuggin on Embedded Multi-Core Systems,
S. Chattopaghyah |
[PDF] Fast, Dynamically-Sized Concurrent Hash-Table,
J. Barnat, P. Rockai, V. Still, J. Weiser |
[PDF] Practical Stutter-Invariant Checks for omega-Regular Languages,
T. Michaud, A. Duret-Lutz |
[PDF] Model Counting for Complex Data Structures,
A. Filieri, M.F. Frias, C.S. Pasareanu, W. Visser |
[PDF] Family-Based Model Checking without a Family-Based Model Checker,
A.S. Dimovski, A.S. Al-Sibahi, C. Brabrand, A. Wasowski |
[PDF] Runtime Verification of Expected Energy Consumption in Smartphones,
A.R. Espada, M. del Mar Gallardo, A. Samleron, P. Merino |
[PDF] Refinement Selection,
D. Beyer, S. Lowe, P. Wendler |
[PDF] Benchmarking and Resource Measurement - Application to Automatic Verification,
D. Beyer, S. Lowe, P. Wendler |
[PDF] Picklock: a Deadlock Prediction Approach under Nested Locking,
F. Sorrentino |
[PDF] IC-Cut: a Compositional Search Strategy for Dynamic Test Generation,
M. Christakis, P. Godefroid |
| |
| |
Tool & Idea Papers |
[PDF] ASTRA: A tool for Abstract Interpretation of Graph Transformation Systems,
P. Backes, J. Reineke |
[PDF] Directed Model Checking for Promela with Relaxation-Based Distance Functions,
A.S. Andisha, M. Wehrle, B. Westphal |
[PDF] DSVerifier: A Bounded Model Checking Tool for Digital Systems,
H. Ismail, I. Bessa, L. Cordeiro, E. Batista de Lima Filho, J.E. Chaves Filho |
[PDF] From Helena Ensemble Specifications to Promela Verification Models,
A. Klarl |
| |