Marian Lingsch Rosenfeld

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

Collaborative distances:

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

2024

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version).

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

CoRR, 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

Software Verification Witnesses 2.0.

Paulína Ayaziová, Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl, Jan Strejcek

Proceedings of the Model Checking Software - 30th International Symposium, 2024

P3: A Dataset of Partial Program Patches.

Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo

Proceedings of the 21st IEEE/ACM International Conference on Mining Software Repositories, 2024

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

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

MetaVal: Witness Validation via Verification (SV-COMP24).

Marian Lingsch Rosenfeld, Martin Spiessl, Dirk Beyer

Dataset, November, 2023

Witness Linter (SV-Comp 2024).

Marian Lingsch Rosenfeld, Dirk Beyer

Dataset, November, 2023

Witness Linter (SV-Comp 2024).

Marian Lingsch Rosenfeld, Dirk Beyer

Dataset, November, 2023

Witness Linter (SV-Comp 2024).

Marian Lingsch Rosenfeld, Dirk Beyer

Dataset, November, 2023

Reproduction Package for ASE 2023 Article 'CEGAR-PT: A Tool for Abstraction by Program Transformation'.

Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl

Dataset, August, 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

Reproduction Package for SEFM 2022 Article 'A Unifying Approach for Control-Flow-Based Loop Abstraction'.

Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl

Dataset, August, 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