The Static Analyzer Infer in SV-COMP (Competition Contribution). - Matthias Kettl; Thomas Lemberger 002 (TACAS (2), 2022)

Reproduction Package for SEFM 2022 Submission 'Fault Localization on Verification Witnesses'. - Dirk Beyer 001; Matthias Kettl; Thomas Lemberger 002 (Zenodo, 2022)

Reproduction Package for Submission 'FaultY: A Framework for Managing Fault Candidates'. - Dirk Beyer 001; Matthias Kettl (Zenodo, 2022)

Reproduction Package for ASE 2023 Submission 'FaultY: A Framework for Managing Fault Candidates'. - Dirk Beyer 001; Matthias Kettl (Zenodo, 2023)

Reproduction Package for ICSE 2024 Submission 'Fault Localization on Verification Witnesses'. - Dirk Beyer 001; Matthias Kettl; Thomas Lemberger 002 (Zenodo, 2023)

Reproduction Package for MSR 2024 Article 'P3: A Dataset of Partial Program Fixes'. - Dirk Beyer 001; Lars Grunske; Matthias Kettl; Marian Lingsch Rosenfeld; Moeketsi Raselimo (Zenodo, 2023)

Benchmark Set for Program Repair Based on Partial Fixes. - Dirk Beyer 001; Lars Grunske; Matthias Kettl; Marian Lingsch Rosenfeld; Moeketsi Raselimo (Zenodo, 2023)

Benchmark Set for Program Repair Based on Partial Fixes, Dataset. - Dirk Beyer 001; Lars Grunske; Matthias Kettl; Marian Lingsch Rosenfeld; Moeketsi Raselimo (Zenodo, 2023)

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)

Fault Localization on Verification Witnesses (Poster Paper). - Dirk Beyer 001; Matthias Kettl; Thomas Lemberger 002 (ICSE Companion, 2024)

P3: A Dataset of Partial Program Patches. - Dirk Beyer 001; Lars Grunske; Matthias Kettl; Marian Lingsch Rosenfeld; Moeketsi Raselimo (MSR, 2024)

Fault Localization on Verification Witnesses. - Dirk Beyer 001; Matthias Kettl; Thomas Lemberger 002 (SPIN, 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)

Decomposing Software Verification using Distributed Summary Synthesis. - Dirk Beyer 001; Matthias Kettl; Thomas Lemberger 002 (Proc. ACM Softw. Eng., 2024)

Reproduction Package for FSE 2024 Revision 'Decomposing Software Verification Using Distributed Summary Synthesis'. - Dirk Beyer 001; Matthias Kettl; Thomas Lemberger 002 (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)

Reproduction Package for FSE 2024 Article 'Decomposing Software Verification Using Distributed Summary Synthesis'. - Dirk Beyer 001; Matthias Kettl; Thomas Lemberger 002 (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)

Reproduction Package for TACAS 2024 Submission 'Synthesis of Precise Error Conditions'. - Dirk Beyer 001; Lars Grunske; Matthias Kettl; Marian Lingsch Rosenfeld; Moeketsi Raselimo; Stefan Winter 001 (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)

Reproduction Package for TACAS 2024 Submission 'Synthesis of Precise Error Conditions'. - Dirk Beyer 001; Lars Grunske; Matthias Kettl; Marian Lingsch Rosenfeld; Moeketsi Raselimo; Stefan Winter 001 (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)