5
Publications
154
Citations
5
H-Index
2014
Active since
Affiliations
Marie-Christine Jakobs is an author at Paderborn University specializing in computer science, software verification, and software analysis.
Top concepts
EngineeringVerificationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringSoftware VerificationFormal Methods
Publications per year
2014–2021
5
5
Reducer-based construction of conditional verifiers
Dirk Beyer, Marie-Christine Jakobs, Thomas R. Lemberger et al. · 2018 · 40 citations
Mathematical Programming, Reduced Order Modeling, Engineering +25
Predicting rankings of software verification tools
Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs et al. · 2017 · 28 citations
Certification for configurable program analysis
Marie-Christine Jakobs, Heike Wehrheim · 2014 · 23 citations
Rows per page
1–5 of 5