Martin Spiessl

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

Collaborative distances:

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

2024

Reproduction Package for SPIN 2024 Article 'Verification Witnesses Version 2'.

Paulína Ayaziová, Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl, Jan Strejcek

Dataset, March, 2024

Reproduction Package for SPIN 2024 Submission 'Verification Witnesses Version 2'.

Paulína Ayaziová, Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl, Jan Strejcek

Dataset, February, 2024

Reproduction Package for SPIN 2024 Submission 'Verification Witnesses Version 2'.

Paulína Ayaziová, Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl, Jan Strejcek

Dataset, January, 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

Software Verification Witnesses 2.0.

Paulína Ayaziová, Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl, Jan Strejcek

Proceedings of the Model Checking Software - 30th International Symposium, 2024

2023

MetaVal: Witness Validation via Verification (SV-COMP24).

Marian Lingsch Rosenfeld, Martin Spiessl, Dirk Beyer

Dataset, November, 2023

Reproduction Package for FSE 2024 Submission 'Verification Witnesses Version 2'.

Paulína Ayaziová, Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl, Jan Strejcek

Dataset, October, 2023

Reproduction Package for ASE 2023 Article 'CEGAR-PT: A Tool for Abstraction by Program Transformation'.

Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl

Dataset, August, 2023

Reproduction Package for ASE 2023 Article 'LIV: Invariant Validation using Straight-Line Programs'.

Dirk Beyer, Martin Spiessl

Dataset, May, 2023

Reproduction Package for ASE 2023 submission 'LIV: Invariant Validation using Straight-Line Programs'.

Dirk Beyer, Martin Spiessl

Dataset, May, 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

Reproduction Package for SEFM 2022 Article 'Cooperation between Automatic and Interactive Software Verifiers'.

Dirk Beyer, Martin Spiessl, Sven Umbricht

Dataset, September, 2022

Reproduction Package for SEFM 2022 Article 'A Unifying Approach for Control-Flow-Based Loop Abstraction'.

Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl

Dataset, August, 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

Reproduction Package (Virtual Machine) for CAV 2020 Article 'MetaVal: Witness Validation via Verification'.

Dirk Beyer, Martin Spiessl

Dataset, May, 2020

Tool Package for Article 'MetaVal: Witness Validation via Verification'.

Dirk Beyer, Martin Spiessl

Dataset, January, 2020

MetaVal: Witness Validation via Verification.

Dirk Beyer, Martin Spiessl

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