Marie-Christine Jakobs

Identifiers

• name variant Marie-Christine Jakobs 0.60 · backfill

Papers (6)

1. Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version) cs.SE · 2024 · author #4
2. Parallel Program Analysis on Path Ranges cs.SE · 2024 · author #2
3. Incorporating Data Dependencies and Properties in Difference Verification with Conditions (Technical Report) cs.LO · 2023 · author #1
4. PEQcheck: Localized and Context-aware Checking of Functional Equivalence (Technical Report) cs.LO · 2021 · author #1
5. Predicting Rankings of Software Verification Competitions cs.LG · 2017 · author #3
6. Deriving approximation tolerance constraints from verification runs cs.SE · 2016 · author #2

Mentions

• 2409.02094 #4 · arxiv_oai · confidence 0.70 Marie-Christine Jakobs
• 2402.11938 #2 · arxiv_oai · confidence 0.70 Marie-Christine Jakobs
• 2309.01585 #1 · arxiv_oai · confidence 0.70 Marie-Christine Jakobs
• 2101.09042 #1 · arxiv_oai · confidence 0.70 Marie-Christine Jakobs
• 1703.00757 #3 · arxiv_oai · confidence 0.70 Marie-Christine Jakobs
• 1604.08784 #2 · arxiv_oai · confidence 0.70 Marie-Christine Jakobs

Frequent Coauthors

• Heike Wehrheim 3 shared papers
• Cedric Richter 1 shared papers
• Daniel Baier 1 shared papers
• Dirk Beyer 1 shared papers
• Eyke H\"ullermeier 1 shared papers
• Felix Pauck 1 shared papers
• Henrik Wachowitz 1 shared papers
• Jan Haltermanna 1 shared papers
• Marek Jankola 1 shared papers
• Marian Lingsch-Rosenfeld 1 shared papers
• Matthias Kettl 1 shared papers
• Mike Czech 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
• Tim Pollandt 1 shared papers
• Tobias Isenberg 1 shared papers