Marian Lingsch Rosenfeld

According to our database, Marian Lingsch Rosenfeld authored at least 7 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

cegar-pt: A Tool for Abstraction by Program Transformation.

Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

How to Approximate any Objective Function via Quadratic Unconstrained Binary Optimization.

Thomas Gabor, Marian Lingsch Rosenfeld, Claudia Linnhoff-Popien, Sebastian Feld

Proceedings of the IEEE International Conference on Software Analysis, 2022

A Unifying Approach for Control-Flow-Based Loop Abstraction.

Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Cube Bot - A Smart Factory Showcase for the Real-Time Container Architecture.

Joseph Hirsch, Marius Lichtblau, Marian Lingsch Rosenfeld, Kilian Telschig, Alexander Knapp

Proceedings of the 20th IEEE International Conference on Industrial Informatics, 2022

Simple Quantum State Encodings for Hybrid Programming of Quantum Simulators.

Thomas Gabor, Marian Lingsch Rosenfeld, Claudia Linnhoff-Popien

Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022

2021

A Probabilistic Game of Life on a Quantum Annealer.

Thomas Gabor, Marian Lingsch Rosenfeld, Claudia Linnhoff-Popien

Proceedings of the 2021 Conference on Artificial Life, 2021