Martin Spiessl

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 7

Top Topics

Curvature Estimation

Functional Verification

Search Based Software Testing

Selection Criterion

Top Venues

Publications

Daniel Baier, Dirk Beyer, Po-Chun Chien, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Martin Spiessl, Henrik Wachowitz, Philipp Wendler
CPAchecker 2.3 with Strategy Selection - (Competition Contribution). TACAS (3) (2024)
Dirk Beyer, Martin Spiessl
LIV: Loop-Invariant Validation Using Straight-Line Programs. ASE (2023)
Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl
cegar-pt: A Tool for Abstraction by Program Transformation. ASE (2023)
Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl
A Unifying Approach for Control-Flow-Based Loop Abstraction. SEFM (2022)
Dirk Beyer, Martin Spiessl, Sven Umbricht
Cooperation Between Automatic and Interactive Software Verifiers. SEFM (2022)
Dirk Beyer, Martin Spiessl
The Static Analyzer Frama-C in SV-COMP (Competition Contribution). TACAS (2) (2022)
Dirk Beyer, Martin Spiessl
MetaVal: Witness Validation via Verification. CAV (2) (2020)