Martin Spiessl

According to our database, Martin Spiessl authored at least 7 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

CPAchecker 2.3 with Strategy Selection - (Competition Contribution).

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

LIV: Loop-Invariant Validation Using Straight-Line Programs.

Dirk Beyer, Martin Spiessl

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

cegar-pt: A Tool for Abstraction by Program Transformation.

Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

The Static Analyzer Frama-C in SV-COMP (Competition Contribution).

Dirk Beyer, Martin Spiessl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Cooperation Between Automatic and Interactive Software Verifiers.

Dirk Beyer, Martin Spiessl, Sven Umbricht

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

A Unifying Approach for Control-Flow-Based Loop Abstraction.

Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

2020

MetaVal: Witness Validation via Verification.

Dirk Beyer, Martin Spiessl

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020