| 2026 | FASE | Testing in Formal Verification via Witness Generation (Empirical Evaluation). | Dirk Beyer, Thomas Lemberger, Henrik Wachowitz |
| 2026 | FASE | AFL-TC: Transforming Fuzzer Test Inputs for Test-Comp (Competition Contribution). | Thomas Lemberger, Henrik Wachowitz |
| 2026 | TACAS | A Case Study in Firmware Verification: Applying Formal Methods to Intel$^\circledR $ TDX Module. | Dirk Beyer, Po-Chun Chien, Bo-Yuan Huang, Nian-Ze Lee, Thomas Lemberger |
| 2025 | TACAS | Nacpa: Native Checking with Parallel-Portfolio Analyses - (Competition Contribution). | Thomas Lemberger, Henrik Wachowitz |
| 2024 | ATVA | CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers. | Dirk Beyer, Thomas Lemberger, Henrik Wachowitz |
| 2024 | FM | Software Verification with CPAchecker 3.0: Tutorial and User Guide. | Daniel Baier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler |
| 2024 | ICSE | Fault Localization on Verification Witnesses (Poster Paper). | Dirk Beyer, Matthias Kettl, Thomas Lemberger |
| 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 | ICSE | Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR. | Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim |
| 2022 | TACAS | The Static Analyzer Infer in SV-COMP (Competition Contribution). | Matthias Kettl, Thomas Lemberger |
| 2020 | SEFM | Difference Verification with Conditions. | Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger |
| 2019 | ATVA | Conditional Testing - Off-the-Shelf Combination of Test-Case Generators. | Dirk Beyer, Thomas Lemberger |
| 2018 | ICSE | Reducer-based construction of conditional verifiers. | Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim |
| 2018 | TAP | Tests from Witnesses - Execution-Based Validation of Verification Results. | Dirk Beyer, Matthias Dangl, Thomas Lemberger, Michael Tautschnig |
| 2016 | ISoLA | Symbolic Execution with CEGAR. | Dirk Beyer, Thomas Lemberger |