Software Verification with CPAchecker 3.0: Tutorial and User Guide. - Daniel Baier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (FM (2), 2024)

Tighter Construction of Tight Büchi Automata. - Marek Jankola; Jan Strejcek (FoSSaCS (1), 2024)

BenchCloud: A Platform for Scalable Performance Benchmarking. - Dirk Beyer 001; Po-Chun Chien; Marek Jankola (ASE, 2024)

CPAchecker 2.3 with Strategy Selection - (Competition Contribution). - Daniel Baier; Dirk Beyer 001; Po-Chun Chien; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Martin Spiessl; Henrik Wachowitz; Philipp Wendler (TACAS (3), 2024)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version). - Daniel Baier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (CoRR, 2024)

A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification. - Dirk Beyer 001; Po-Chun Chien; Marek Jankola; Nian-Ze Lee (Proc. ACM Softw. Eng., 2024)

Reproduction Package for FSE 2024 Article 'A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification'. - Dirk Beyer 001; Po-Chun Chien; Marek Jankola; Nian-Ze Lee (Zenodo, 2024)

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker: Tutorial and User Guide'. - Daniel Beier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (Zenodo, 2024)

BenchCloud: A Platform for Scalable Performance Benchmarking. - Dirk Beyer 001; Po-Chun Chien; Marek Jankola (Zenodo, 2024)

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'. - Daniel Beier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (Zenodo, 2024)

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'. - Daniel Beier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (Zenodo, 2024)

BenchCloud Release 1.1. - Dirk Beyer 001; Po-Chun Chien; Marek Jankola (Zenodo, 2024)

CPAchecker (SV-COMP25 submission). - Dirk Beyer 001; Philipp Wendler; Marian Lingsch Rosenfeld; Matthias Kettl; Marek Jankola; Marie-Christine Jakobs; Daniel Baier (Zenodo, 2024)

BenchCloud Release 1.2. - Dirk Beyer 001; Po-Chun Chien; Marek Jankola (Zenodo, 2024)

BenchCloud Release 1.2.1. - Dirk Beyer 001; Po-Chun Chien; Marek Jankola (Zenodo, 2024)

CPAchecker (SV-COMP25 submission). - Dirk Beyer 001; Philipp Wendler; Marian Lingsch Rosenfeld; Matthias Kettl; Marek Jankola; Marie-Christine Jakobs; Daniel Baier (Zenodo, 2024)

CPAchecker (SV-COMP25 submission). - Dirk Beyer 001; Philipp Wendler; Marian Lingsch Rosenfeld; Matthias Kettl; Marek Jankola; Marie-Christine Jakobs; Daniel Baier (Zenodo, 2024)

CPAchecker (SV-COMP25 submission). - Dirk Beyer 001; Philipp Wendler; Marian Lingsch Rosenfeld; Matthias Kettl; Marek Jankola; Marie-Christine Jakobs; Daniel Baier (Zenodo, 2024)

CPAchecker (SV-COMP25 submission). - Dirk Beyer 001; Philipp Wendler; Marian Lingsch Rosenfeld; Matthias Kettl; Marek Jankola; Marie-Christine Jakobs; Daniel Baier (Zenodo, 2024)

BenchCloud Release 1.3. - Dirk Beyer 001; Po-Chun Chien; Marek Jankola (Zenodo, 2024)

A Modular Program-Transformation Framework for Reducing Specifications to Reachability. - Dirk Beyer 001; Marek Jankola; Marian Lingsch Rosenfeld; Tian Xia; Xiyue Zheng (CoRR, 2025)

Reproduction Package for SPIN 2025 Submission 'A Modular Program-Transformation Framework for Reducing Specifications to Reachability'. - Marian Lingsch Rosenfeld; Dirk Beyer 001; Marek Jankola (Zenodo, 2025)