default search action
Marie-Christine Jakobs
Person information
- affiliation: Ludwig-Maximilians-Universität München, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j10]Carlos Diego Nascimento Damasceno, Marie-Christine Jakobs, Leen Lambers, Sebastián Uchitel:
Preface for the special issue on "Selected Papers and Tools of the 26th International Conference on Fundamental Approaches to Software Engineering" (FASE 2023). Sci. Comput. Program. 240: 103219 (2025) - 2024
- [j9]Marie-Christine Jakobs, Einar Broch Johnsen, Eduard Kamburjan, Manuel Wimmer:
Preface for the special issue on "Fundamental Approaches to Software Engineering" (FASE 2022). Sci. Comput. Program. 232: 103055 (2024) - [j8]Jan Haltermann
, Marie-Christine Jakobs
Parallel program analysis on path ranges. Sci. Comput. Program. 238: 103154 (2024) - [j7]Marie-Christine Jakobs, Nian-Ze Lee:
Summary of the Eighth International Workshop on CPAchecker(CPAchecker 2023). ACM SIGSOFT Softw. Eng. Notes 49(2): 25-26 (2024) - [c37]Max Barth
Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution). FASE 2024: 326-330 - [c36]Daniel Baier
Software Verification with CPAchecker 3.0: Tutorial and User Guide. FM (2) 2024: 543-570 - [c35]Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim:
Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification. Software Engineering 2024: 157-158 - [c34]Max Barth
Test-Case Generation with Automata-Based Software Model Checking. SPIN 2024: 248-267 - [c33]Max Barth
Refining CEGAR-Based Test-Case Generation with Feasibility Annotations. TAP 2024: 45-64 - [i6]Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim:
Parallel Program Analysis on Path Ranges. CoRR abs/2402.11938 (2024) - [i5]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
- [c32]Jan Haltermann
Parallel Program Analysis via Range Splitting. FASE 2023: 195-219 - [c31]Marie-Christine Jakobs
diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions. iFM 2023: 40-61 - [c30]Cedric Richter, Jan Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, Heike Wehrheim:
Variable Misuse Detection: Software Developers versus Neural Bug Detectors. Software Engineering 2023: 103-104 - [c29]Jan Haltermann
Ranged Program Analysis via Instrumentation. SEFM 2023: 145-164 - [i4]Marie-Christine Jakobs, Tim Pollandt:
Incorporating Data Dependencies and Properties in Difference Verification with Conditions (Technical Report). CoRR abs/2309.01585 (2023) - 2022
- [c28]Marie-Christine Jakobs
PEQtest: Testing Functional Equivalence. FASE 2022: 184-204 - [c27]Marie-Christine Jakobs
Reusing Predicate Precision in Value Analysis. IFM 2022: 63-85 - [c26]Cedric Richter
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? ASE 2022: 9:1-9:12 - [c25]Marie-Christine Jakobs
Automatic Test-Case Generation with CoVeriTest (Extended Abstract). TAP@STAF 2022: 3-8 - 2021
- [j6]Marie-Christine Jakobs, Felix Pauck, Marco Platzner
Software/Hardware Co-Verification for Custom Instruction Set Processors. IEEE Access 9: 160559-160579 (2021) - [j5]Dirk Beyer
Cooperative verifier-based testing with CoVeriTest. Int. J. Softw. Tools Technol. Transf. 23(3): 313-333 (2021) - [j4]Marie-Christine Jakobs:
CoVeriTest: interleaving value and predicate analysis for test-case generation. Int. J. Softw. Tools Technol. Transf. 23(6): 847-851 (2021) - [c24]Marie-Christine Jakobs
CoVeriTest with Adaptive Time Scheduling (Competition Contribution). FASE 2021: 358-362 - [c23]Marie-Christine Jakobs:
PEQCHECK: Localized and Context-aware Checking of Functional Equivalence. FormaliSE@ICSE 2021: 130-140 - [c22]Maik Wiesner
Verifying Pipeline Implementations in OpenMP. SPIN 2021: 81-98 - [c21]Marie-Christine Jakobs
PatEC: Pattern-Based Equivalence Checking. SPIN 2021: 120-139 - [i3]Marie-Christine Jakobs
PEQcheck: Localized and Context-aware Checking of Functional Equivalence (Technical Report). CoRR abs/2101.09042 (2021) - 2020
- [j3]Cedric Richter, Eyke Hüllermeier, Marie-Christine Jakobs
Algorithm selection for software validation based on graph kernels. Autom. Softw. Eng. 27(1): 153-186 (2020) - [c20]Sebastian Ruland
HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution). FASE 2020: 520-524 - [c19]Marie-Christine Jakobs
CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution). FASE 2020: 540-544 - [c18]Marie-Christine Jakobs
A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations. ISoLA (2) 2020: 72-92 - [c17]Dirk Beyer, Marie-Christine Jakobs
Cooperative Test-Case Generation with Verifiers. SE 2020: 107-108 - [c16]Dirk Beyer
FRed: Conditional Model Checking via Reducers and Folders. SEFM 2020: 113-132 - [c15]Dirk Beyer
Difference Verification with Conditions. SEFM 2020: 133-154 - [d6]Dirk Beyer
Reproduction Package for STTT Article 'Cooperative, Verifier-Based Testing with CoVeriTest'. Zenodo, 2020 - [d5]Dirk Beyer
Replication Package for SEFM 2020 Article 'FRed: Conditional Model Checking via Reducers and Folders'. Zenodo, 2020 - [d4]Dirk Beyer
Reproduction Package for SEFM 2020 Article 'Difference Verification with Conditions'. Version DIFFERENCEMC-artifact-SEFM20-proceedings. Zenodo, 2020 [all versions] - [d3]Dirk Beyer
Replication Package for Article 'Difference Verification with Conditions'. Version SEFM2020-submission. Zenodo, 2020 [all versions]
2010 – 2019
- 2019
- [c14]Dirk Beyer
CoVeriTest: Cooperative Verifier-Based Testing. FASE 2019: 389-408 - [c13]Dirk Beyer
Combining Verifiers in Conditional Model Checking via Reducers. SE/SWM 2019: 151-152 - [c12]Tobias Isenberg, Marie-Christine Jakobs
When Are Software Verification Results Valid for Approximate Hardware? TAP@FM 2019: 3-20 - [d2]Dirk Beyer
Replication Package for Article "CoVeriTest: Cooperative Verifier-Based Testing" in Proc. FASE '19. Zenodo, 2019 - 2018
- [j2]Tobias Isenberg, Marie-Christine Jakobs
Validity of Software Verification Results on Approximate Hardware. IEEE Embed. Syst. Lett. 10(1): 22-25 (2018) - [c11]Dirk Beyer
Reducer-based construction of conditional verifiers. ICSE 2018: 1182-1193 - [c10]Paul Börding, Jan Haltermann
JMCTest: Automatically Testing Inter-Method Contracts in Java. ICTSS 2018: 39-55 - [d1]Dirk Beyer
Reproduction Package for ICSE 2018 Article 'Reducer-Based Construction of Conditional Verifiers'. Zenodo, 2018 - 2017
- [b1]Marie-Christine Jakobs:
On-The-Fly safety checking - customizing program certification and program restructuring. Paderborn University, Germany, 2017 - [j1]Marie-Christine Jakobs
Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. ACM Trans. Program. Lang. Syst. 39(2): 7:1-7:56 (2017) - [c9]Marie-Christine Jakobs
Compact Proof Witnesses. NFM 2017: 389-403 - [c8]Marie-Christine Jakobs
PART _\mathrm PW : From Partial Analysis Results to a Proof Witness. SEFM 2017: 120-135 - [c7]Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs
Predicting rankings of software verification tools. SWAN@ESEC/SIGSOFT FSE 2017: 23-26 - [p1]Marie-Christine Jakobs:
Spontane Sicherheitsprüfung mittels individualisierter Programmzertifizierung oder Programmrestrukturierung. Ausgezeichnete Informatikdissertationen 2017: 91-100 - [i2]Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs
Predicting Rankings of Software Verification Competitions. CoRR abs/1703.00757 (2017) - 2016
- [c6]Mike Czech, Marie-Christine Jakobs, Heike Wehrheim:
Just test what you cannot verify! Software Engineering 2016: 17-18 - [i1]Tobias Isenberg, Marie-Christine Jakobs
Deriving approximation tolerance constraints from verification runs. CoRR abs/1604.08784 (2016) - 2015
- [c5]Mike Czech, Marie-Christine Jakobs
Just Test What You Cannot Verify! FASE 2015: 100-114 - [c4]Marie-Christine Jakobs
Programs from proofs of predicated dataflow analyses. SAC 2015: 1729-1736 - [c3]Marie-Christine Jakobs
Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning. SEFM 2015: 159-174 - 2014
- [c2]Marie-Christine Jakobs
Integrating Software and Hardware Verification. IFM 2014: 307-322 - [c1]Marie-Christine Jakobs
Certification for configurable program analysis. SPIN 2014: 30-39
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-13 19:12 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: