A Probabilistic Game of Life on a Quantum Annealer. - Thomas Gabor; Marian Lingsch Rosenfeld; Claudia Linnhoff-Popien (ALIFE, 2021)

Simple Quantum State Encodings for Hybrid Programming of Quantum Simulators. - Thomas Gabor; Marian Lingsch Rosenfeld; Claudia Linnhoff-Popien (ICSA Companion, 2022)

Cube Bot - A Smart Factory Showcase for the Real-Time Container Architecture. - Joseph Hirsch; Marius Lichtblau; Marian Lingsch Rosenfeld; Kilian Telschig; Alexander Knapp (INDIN, 2022)

A Unifying Approach for Control-Flow-Based Loop Abstraction. - Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl (SEFM, 2022)

How to Approximate any Objective Function via Quadratic Unconstrained Binary Optimization. - Thomas Gabor; Marian Lingsch Rosenfeld; Claudia Linnhoff-Popien; Sebastian Feld (SANER, 2022)

Reproduction Package for SEFM 2022 Article 'A Unifying Approach for Control-Flow-Based Loop Abstraction'. - Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl (Zenodo, 2022)

cegar-pt: A Tool for Abstraction by Program Transformation. - Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl (ASE, 2023)

Reproduction Package for ASE 2023 Article 'CEGAR-PT: A Tool for Abstraction by Program Transformation'. - Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl (Zenodo, 2023)

Reproduction Package for FSE 2024 Submission 'Verification Witnesses Version 2'. - Paulína Ayaziová; Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl; Jan Strejcek (Zenodo, 2023)

Witness Linter (SV-Comp 2024). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2023)

Witness Linter (SV-Comp 2024). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2023)

Witness Linter (SV-Comp 2024). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2023)

Witness Linter (SV-Comp 2024). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2023)

Witness Linter (SV-Comp 2024). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2023)

Witness Linter (SV-Comp 2024). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2023)

Witness Linter (SV-Comp 2024). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2023)

Witness Linter (SV-Comp 2024). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2023)

MetaVal: Witness Validation via Verification (SV-COMP24). - Marian Lingsch Rosenfeld; Martin Spiessl; Dirk Beyer 001 (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)

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

Software Verification Witnesses 2.0. - Paulína Ayaziová; Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl; Jan Strejcek (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)

SEGym: Optimizing Large Language Model Assisted Software Engineering Agents with Reinforcement Learning. - Gerhard Stenzel; Kyrill Schmid; Michael Kölle 001; Philipp Altmann; Marian Lingsch Rosenfeld; Maximilian Zorn; Tim Bücher; Thomas Gabor; Martin Wirsing; Lenz Belzner (AISoLA, 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)

Reproduction Package for SPIN 2024 Submission 'Verification Witnesses Version 2'. - Paulína Ayaziová; Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl; Jan Strejcek (Zenodo, 2024)

Reproduction Package for SPIN 2024 Submission 'Verification Witnesses Version 2'. - Paulína Ayaziová; Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl; Jan Strejcek (Zenodo, 2024)

Reproduction Package for SPIN 2024 Article 'Verification Witnesses Version 2'. - Paulína Ayaziová; Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl; Jan Strejcek (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 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)

LIV (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

MetaVal (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

WitnessLint (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

MetaVal++ (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

MetaVal++ (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

MetaVal++ (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

WitnessLint (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

MetaVal (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

WitnessMap (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (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)

LIV (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

LIV (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

MetaVal (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

MetaVal++ (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

WitnessMap (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

LIV (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

LIV (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

WitnessMap (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

LIV (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

LIV (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

LIV (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

LIV (SV-COMP25 submission). - Marian Lingsch Rosenfeld; Dirk Beyer 001 (Zenodo, 2024)

Towards Automatic Structured Inference of Module Abstractions. - Gidon Ernst; Marian Lingsch Rosenfeld (Go Where the Bugs Are, 2025)

AutoSV-Annotator: Integrating Deductive and Automatic Software Verification. - Lukas Armborst; Dirk Beyer 001; Marieke Huisman; Marian Lingsch Rosenfeld (FMICS, 2025)

CPAchecker 4.0 as Witness Validator - (Competition Contribution). - Dirk Beyer 001; Marian Lingsch Rosenfeld (TACAS (3), 2025)

Correctness Witnesses with Function Contracts. - Matthias Heizmann; Dominik Klumpp; Marian Lingsch Rosenfeld; Frank Schüssele (CoRR, 2025)

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 'Auto-SV Annotator: Integrating Deductive and Automatic Software Verification'. - Marian Lingsch Rosenfeld; Dirk Beyer 001; Marieke Huisman; Lukas Armborst (Zenodo, 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)

Reproduction Package for SPIN 2025 Submission 'Auto-SV Annotator: Integrating Deductive and Automatic Software Verification'. - Marian Lingsch Rosenfeld; Dirk Beyer 001; Marieke Huisman; Lukas Armborst (Zenodo, 2025)