default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarie-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
- 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, Cedric Richter, Heike Wehrheim:
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, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs:
Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution). FASE 2024: 326-330 - [c36]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 - [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, Marie-Christine Jakobs:
Test-Case Generation with Automata-Based Software Model Checking. SPIN 2024: 248-267 - [c33]Max Barth, Marie-Christine Jakobs:
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, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim:
Parallel Program Analysis via Range Splitting. FASE 2023: 195-219 - [c31]Marie-Christine Jakobs, Tim Pollandt:
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, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim:
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, Maik Wiesner:
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, Jan Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, Heike Wehrheim:
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, Heike Wehrheim, Tobias Wiersema:
Software/Hardware Co-Verification for Custom Instruction Set Processors. IEEE Access 9: 160559-160579 (2021) - [j5]Dirk Beyer, Marie-Christine Jakobs:
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, Cedric Richter:
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, Marie-Christine Jakobs:
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, Heike Wehrheim:
Algorithm selection for software validation based on graph kernels. Autom. Softw. Eng. 27(1): 153-186 (2020) - [c20]Sebastian Ruland, Malte Lochau, Marie-Christine Jakobs:
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, Heiko Mantel:
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, Marie-Christine Jakobs:
FRed: Conditional Model Checking via Reducers and Folders. SEFM 2020: 113-132 - [c15]Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger:
Difference Verification with Conditions. SEFM 2020: 133-154 - [d6]Dirk Beyer, Marie-Christine Jakobs:
Reproduction Package for STTT Article 'Cooperative, Verifier-Based Testing with CoVeriTest'. Zenodo, 2020
- [d5]Dirk Beyer, Marie-Christine Jakobs:
Replication Package for SEFM 2020 Article 'FRed: Conditional Model Checking via Reducers and Folders'. Zenodo, 2020 - [d4]Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger:
Reproduction Package for SEFM 2020 Article 'Difference Verification with Conditions'. Zenodo, 2020 - [d3]Dirk Beyer, Thomas Lemberger, Marie-Christine Jakobs:
Replication Package for Article 'Difference Verification with Conditions'. Zenodo, 2020
2010 – 2019
- 2019
- [c14]Dirk Beyer, Marie-Christine Jakobs:
CoVeriTest: Cooperative Verifier-Based Testing. FASE 2019: 389-408 - [c13]Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim:
Combining Verifiers in Conditional Model Checking via Reducers. SE/SWM 2019: 151-152 - [c12]Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim:
When Are Software Verification Results Valid for Approximate Hardware? TAP@FM 2019: 3-20 - [d2]Dirk Beyer, Marie-Christine Jakobs:
Replication Package for Article "CoVeriTest: Cooperative Verifier-Based Testing" in Proc. FASE '19. Zenodo, 2019 - 2018
- [j2]Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim:
Validity of Software Verification Results on Approximate Hardware. IEEE Embed. Syst. Lett. 10(1): 22-25 (2018) - [c11]Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim:
Reducer-based construction of conditional verifiers. ICSE 2018: 1182-1193 - [c10]Paul Börding, Jan Haltermann, Marie-Christine Jakobs, Heike Wehrheim:
JMCTest: Automatically Testing Inter-Method Contracts in Java. ICTSS 2018: 39-55 - [d1]Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim:
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, Heike Wehrheim:
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, Heike Wehrheim:
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, Heike Wehrheim:
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, Heike Wehrheim:
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, Felix Pauck, Heike Wehrheim:
Deriving approximation tolerance constraints from verification runs. CoRR abs/1604.08784 (2016) - 2015
- [c5]Mike Czech, Marie-Christine Jakobs, Heike Wehrheim:
Just Test What You Cannot Verify! FASE 2015: 100-114 - [c4]Marie-Christine Jakobs, Heike Wehrheim:
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, Marco Platzner, Heike Wehrheim, Tobias Wiersema:
Integrating Software and Hardware Verification. IFM 2014: 307-322 - [c1]Marie-Christine Jakobs, Heike Wehrheim:
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-11-07 21:32 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:
