Marian Lingsch-Rosenfeld

Identifiers

• name variant Marian Lingsch-Rosenfeld 0.60 · backfill

Papers (3)

1. A Modular Program-Transformation Framework for Reducing Specifications to Reachability cs.PL · 2025 · author #3
2. Correctness Witnesses with Function Contracts cs.PL · 2025 · author #3
3. Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version) cs.SE · 2024 · author #9

Mentions

• 2501.16310 #3 · arxiv_oai · confidence 0.70 Marian Lingsch-Rosenfeld
• 2501.12313 #3 · arxiv_oai · confidence 0.70 Marian Lingsch-Rosenfeld
• 2409.02094 #9 · arxiv_oai · confidence 0.70 Marian Lingsch-Rosenfeld

Frequent Coauthors

• Dirk Beyer 2 shared papers
• Marek Jankola 2 shared papers
• Daniel Baier 1 shared papers
• Dominik Klumpp 1 shared papers
• Frank Sch\"ussele 1 shared papers
• Henrik Wachowitz 1 shared papers
• Marie-Christine Jakobs 1 shared papers
• Matthias Heizmann 1 shared papers
• Matthias Kettl 1 shared papers
• Nian-Ze Lee 1 shared papers
• Philipp Wendler 1 shared papers
• Po-Chun Chien 1 shared papers
• Thomas Lemberger 1 shared papers
• Tian Xia 1 shared papers
• Xiyue Zheng 1 shared papers