Marian Lingsch Rosenfeld

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 8

Top Topics

Control Program

Top Venues

Publications

Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo
P3: A Dataset of Partial Program Patches. MSR (2024)
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
CPAchecker 2.3 with Strategy Selection - (Competition Contribution). TACAS (3) (2024)
Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl
cegar-pt: A Tool for Abstraction by Program Transformation. ASE (2023)
Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl
A Unifying Approach for Control-Flow-Based Loop Abstraction. SEFM (2022)
Joseph Hirsch, Marius Lichtblau, Marian Lingsch Rosenfeld, Kilian Telschig, Alexander Knapp
Cube Bot - A Smart Factory Showcase for the Real-Time Container Architecture. INDIN (2022)
Thomas Gabor, Marian Lingsch Rosenfeld, Claudia Linnhoff-Popien
Simple Quantum State Encodings for Hybrid Programming of Quantum Simulators. ICSA Companion (2022)
Thomas Gabor, Marian Lingsch Rosenfeld, Claudia Linnhoff-Popien, Sebastian Feld
How to Approximate any Objective Function via Quadratic Unconstrained Binary Optimization. SANER (2022)
Thomas Gabor, Marian Lingsch Rosenfeld, Claudia Linnhoff-Popien
A Probabilistic Game of Life on a Quantum Annealer. ALIFE (2021)