default search action

combined dblp search
author search
venue search
publication search

ask others

Marian Lingsch Rosenfeld

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fm/BaierBCJJKLLRWW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BaierBCJJKLLRWW24
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:
Software Verification with CPAchecker 3.0: Tutorial and User Guide. FM (2) 2024: 543-570
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/msr/BeyerGKRR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/msr/BeyerGKRR24
Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo:
P3: A Dataset of Partial Program Patches. MSR 2024: 123-127
[c8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/spin/AyaziovaBRSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/AyaziovaBRSS24
Paulína Ayaziová, Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl, Jan Strejcek:
Software Verification Witnesses 2.0. SPIN 2024: 184-203
[c7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BaierBCJKLLRSWW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BaierBCJKLLRSWW24
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: 359-364
[i1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-02094
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-02094
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:
Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version). CoRR abs/2409.02094 (2024)
2023
[c6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/kbse/BeyerRS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BeyerRS23
Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl:
cegar-pt: A Tool for Abstraction by Program Transformation. ASE 2023: 2078-2081
[d15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/AyaziovaBRSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/AyaziovaBRSS23
Paulína Ayaziová, Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl, Jan Strejcek:
Reproduction Package for FSE 2024 Submission 'Verification Witnesses Version 2'. Zenodo, 2023
[d14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/BeyerGKRR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerGKRR23
Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo:
Reproduction Package for MSR 2024 Article 'P3: A Dataset of Partial Program Fixes'. Zenodo, 2023
[d13]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeyerGKRR23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerGKRR23a
Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo:
Benchmark Set for Program Repair Based on Partial Fixes. Version MSR24-submission. Zenodo, 2023 [all versions]
[d12]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeyerGKRR23b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerGKRR23b
Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo:
Benchmark Set for Program Repair Based on Partial Fixes, Dataset. Version 3. Zenodo, 2023 [all versions]
[d11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/BeyerRS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerRS23
Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl:
Reproduction Package for ASE 2023 Article 'CEGAR-PT: A Tool for Abstraction by Program Transformation'. Zenodo, 2023
[d10]
- view
  authority control:
- export record
  dblp key:
  - data/10/RosenfeldB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/RosenfeldB23
Marian Lingsch Rosenfeld, Dirk Beyer:
Witness Linter (SV-Comp 2024). Version 1.4-dev. Zenodo, 2023 [all versions]
[d9]
- view
  authority control:
- export record
  dblp key:
  - data/10/RosenfeldB23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/RosenfeldB23a
Marian Lingsch Rosenfeld, Dirk Beyer:
Witness Linter (SV-Comp 2024). Version 1.4-dev. Zenodo, 2023 [all versions]
[d8]
- view
  authority control:
- export record
  dblp key:
  - data/10/RosenfeldB23b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/RosenfeldB23b
Marian Lingsch Rosenfeld, Dirk Beyer:
Witness Linter (SV-Comp 2024). Version 1.4-dev. Zenodo, 2023 [all versions]
[d7]
- view
  authority control:
- export record
  dblp key:
  - data/10/RosenfeldB23c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/RosenfeldB23c
Marian Lingsch Rosenfeld, Dirk Beyer:
Witness Linter (SV-Comp 2024). Version 1.4-dev. Zenodo, 2023 [all versions]
[d6]
- view
  authority control:
- export record
  dblp key:
  - data/10/RosenfeldB23d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/RosenfeldB23d
Marian Lingsch Rosenfeld, Dirk Beyer:
Witness Linter (SV-Comp 2024). Version 2.0-dev. Zenodo, 2023 [all versions]
[d5]
- view
  authority control:
- export record
  dblp key:
  - data/10/RosenfeldB23e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/RosenfeldB23e
Marian Lingsch Rosenfeld, Dirk Beyer:
Witness Linter (SV-Comp 2024). Version 2.0. Zenodo, 2023 [all versions]
[d4]
- view
  authority control:
- export record
  dblp key:
  - data/10/RosenfeldB23f
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/RosenfeldB23f
Marian Lingsch Rosenfeld, Dirk Beyer:
Witness Linter (SV-Comp 2024). Version 2.0.1. Zenodo, 2023 [all versions]
[d3]
- view
  authority control:
- export record
  dblp key:
  - data/10/RosenfeldB23g
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/RosenfeldB23g
Marian Lingsch Rosenfeld, Dirk Beyer:
Witness Linter (SV-Comp 2024). Version 2.0.2. Zenodo, 2023 [all versions]
[d2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/RosenfeldSB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/RosenfeldSB23
Marian Lingsch Rosenfeld, Martin Spiessl, Dirk Beyer:
MetaVal: Witness Validation via Verification (SV-COMP24). Zenodo, 2023
2022
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icsa/GaborRL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsa/GaborRL22
Thomas Gabor, Marian Lingsch Rosenfeld, Claudia Linnhoff-Popien:
Simple Quantum State Encodings for Hybrid Programming of Quantum Simulators. ICSA Companion 2022: 170-173
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/HirschLRTK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/HirschLRTK22
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: 312-316
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sefm/BeyerRS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BeyerRS22
Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl:
A Unifying Approach for Control-Flow-Based Loop Abstraction. SEFM 2022: 3-19
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/GaborRLF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/GaborRLF22
Thomas Gabor, Marian Lingsch Rosenfeld, Claudia Linnhoff-Popien, Sebastian Feld:
How to Approximate any Objective Function via Quadratic Unconstrained Binary Optimization. SANER 2022: 1249-1257
[d1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/BeyerRS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerRS22
Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl:
Reproduction Package for SEFM 2022 Article 'A Unifying Approach for Control-Flow-Based Loop Abstraction'. Zenodo, 2022
2021
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/isalalife/GaborRL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isalalife/GaborRL21
Thomas Gabor, Marian Lingsch Rosenfeld, Claudia Linnhoff-Popien:
A Probabilistic Game of Life on a Quantum Annealer. ALIFE 2021: 103

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.