Marian Lingsch Rosenfeld
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
9
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Transition Invariants Revisited: Termination Witnesses and Their Validation. | Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld |
| 2026 | CAV | SvLibChecker: A Light-Weight Tool for Software Model Checking. | Dirk Beyer, Marian Lingsch Rosenfeld |
| 2025 | FMICS | AutoSV-Annotator: Integrating Deductive and Automatic Software Verification. | Lukas Armborst, Dirk Beyer, Marieke Huisman, Marian Lingsch Rosenfeld |
| 2025 | TACAS | CPAchecker 4.0 as Witness Validator - (Competition Contribution). | Dirk Beyer, Marian Lingsch Rosenfeld |
| 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 | MSR | P3: A Dataset of Partial Program Patches. | Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo |
| 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 |
| 2024 | VECoS | SEGym: Optimizing Large Language Model Assisted Software Engineering Agents with Reinforcement Learning. | Gerhard Stenzel, Kyrill Schmid, Michael Klle, Philipp Altmann, Marian Lingsch Rosenfeld, Maximilian Zorn, Tim Bcher, Thomas Gabor, Martin Wirsing, Lenz Belzner |
| 2022 | INDIN | Cube Bot - A Smart Factory Showcase for the Real-Time Container Architecture. | Joseph Hirsch, Marius Lichtblau, Marian Lingsch Rosenfeld, Kilian Telschig, Alexander Knapp |
| 2022 | ICSA | Simple Quantum State Encodings for Hybrid Programming of Quantum Simulators. | Thomas Gabor, Marian Lingsch Rosenfeld, Claudia Linnhoff-Popien |
| 2022 | SEFM | A Unifying Approach for Control-Flow-Based Loop Abstraction. | Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl |