Martin Spiessl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2020–2024
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | TACAS | 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 |
| 2022 | SEFM | A Unifying Approach for Control-Flow-Based Loop Abstraction. | Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl |
| 2022 | SEFM | Cooperation Between Automatic and Interactive Software Verifiers. | Dirk Beyer, Martin Spiessl, Sven Umbricht |
| 2022 | TACAS | The Static Analyzer Frama-C in SV-COMP (Competition Contribution). | Dirk Beyer, Martin Spiessl |
| 2020 | CAV | MetaVal: Witness Validation via Verification. | Dirk Beyer, Martin Spiessl |