Marian Lingsch Rosenfeld

20 papers A* 2A 2B 1C 3Journal 4Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Modular Program-Transformation Framework for Reducing Specifications to Reachability.
CoRR
Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Tian Xia, Xiyue Zheng
2025 C conf
AutoSV-Annotator: Integrating Deductive and Automatic Software Verification.
FMICS
Lukas Armborst, Dirk Beyer, Marieke Huisman, Marian Lingsch Rosenfeld
2025 — conf
CPAchecker 4.0 as Witness Validator - (Competition Contribution).
TACAS (3)
Dirk Beyer, Marian Lingsch Rosenfeld
2025 J jnl
Correctness Witnesses with Function Contracts.
CoRR
Matthias Heizmann, Dominik Klumpp, Marian Lingsch Rosenfeld, Frank Schüssele
2025 A* conf
Non-termination Witnesses and Their Validation.
ASE
Zsófia Ádám, Paulína Ayaziová, Levente Bajczi, Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Jan Strejcek
2025 J jnl
SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks.
CoRR
Dirk Beyer, Gidon Ernst, Martin Jonás, Marian Lingsch Rosenfeld
2025 — conf
Towards Automatic Structured Inference of Module Abstractions.
Go Where the Bugs Are
Gidon Ernst, Marian Lingsch Rosenfeld
2025 — conf
TransVer: A Modular Program-Transformation Framework for Reduction to Reachability.
SPIN
Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Tian Xia, Xiyue Zheng
2024 — conf
CPAchecker 2.3 with Strategy Selection - (Competition Contribution).
TACAS (3)
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 A conf
P3: A Dataset of Partial Program Patches.
MSR
Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo
2024 — conf
SEGym: Optimizing Large Language Model Assisted Software Engineering Agents with Reinforcement Learning.
AISoLA
Gerhard Stenzel, Kyrill Schmid, Michael Kölle, Philipp Altmann, Marian Lingsch Rosenfeld, Maximilian Zorn, Tim Bücher, Thomas Gabor, Martin Wirsing, Lenz Belzner
2024 — conf
Software Verification Witnesses 2.0.
SPIN
Paulína Ayaziová, Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl, Jan Strejcek
2024 J jnl
Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version).
CoRR
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 — conf
Software Verification with CPAchecker 3.0: Tutorial and User Guide.
FM (2)
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
2023 A* conf
cegar-pt: A Tool for Abstraction by Program Transformation.
ASE
Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl
2022 B conf
A Unifying Approach for Control-Flow-Based Loop Abstraction.
SEFM
Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl
2022 C conf
Cube Bot - A Smart Factory Showcase for the Real-Time Container Architecture.
INDIN
Joseph Hirsch, Marius Lichtblau, Marian Lingsch Rosenfeld, Kilian Telschig, Alexander Knapp
2022 A conf
How to Approximate any Objective Function via Quadratic Unconstrained Binary Optimization.
SANER
Thomas Gabor, Marian Lingsch Rosenfeld, Claudia Linnhoff-Popien, Sebastian Feld
2022 — conf
Simple Quantum State Encodings for Hybrid Programming of Quantum Simulators.
ICSA Companion
Thomas Gabor, Marian Lingsch Rosenfeld, Claudia Linnhoff-Popien
2021 C conf
A Probabilistic Game of Life on a Quantum Annealer.
ALIFE
Thomas Gabor, Marian Lingsch Rosenfeld, Claudia Linnhoff-Popien