Integrating Software and Hardware Verification. - Marie-Christine Jakobs; Marco Platzner; Heike Wehrheim; Tobias Wiersema (IFM, 2014)

Certification for configurable program analysis. - Marie-Christine Jakobs; Heike Wehrheim (SPIN, 2014)

Programs from proofs of predicated dataflow analyses. - Marie-Christine Jakobs; Heike Wehrheim (SAC, 2015)

Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning. - Marie-Christine Jakobs (SEFM, 2015)

Just test what you cannot verify! - Mike Czech; Marie-Christine Jakobs; Heike Wehrheim (Software Engineering, 2016)

Deriving approximation tolerance constraints from verification runs. - Tobias Isenberg 002; Marie-Christine Jakobs; Felix Pauck; Heike Wehrheim (CoRR, 2016)

Spontane Sicherheitsprüfung mittels individualisierter Programmzertifizierung oder Programmrestrukturierung. - Marie-Christine Jakobs (Ausgezeichnete Informatikdissertationen, 2017)

Compact Proof Witnesses. - Marie-Christine Jakobs; Heike Wehrheim (NFM, 2017)

PART _ mathrm PW : From Partial Analysis Results to a Proof Witness. - Marie-Christine Jakobs (SEFM, 2017)

Predicting rankings of software verification tools. - Mike Czech; Eyke Hüllermeier; Marie-Christine Jakobs; Heike Wehrheim (SWAN@ESEC/SIGSOFT FSE, 2017)

Predicting Rankings of Software Verification Competitions. - Mike Czech; Eyke Hüllermeier; Marie-Christine Jakobs; Heike Wehrheim (CoRR, 2017)

Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. - Marie-Christine Jakobs; Heike Wehrheim (ACM Trans. Program. Lang. Syst., 2017)

On-The-Fly safety checking - customizing program certification and program restructuring - Marie-Christine Jakobs (2017)

Reducer-based construction of conditional verifiers. - Dirk Beyer 001; Marie-Christine Jakobs; Thomas Lemberger 002; Heike Wehrheim (ICSE, 2018)

JMCTest: Automatically Testing Inter-Method Contracts in Java. - Paul Börding; Jan Haltermann; Marie-Christine Jakobs; Heike Wehrheim (ICTSS, 2018)

Validity of Software Verification Results on Approximate Hardware. - Tobias Isenberg 002; Marie-Christine Jakobs; Felix Pauck; Heike Wehrheim (IEEE Embed. Syst. Lett., 2018)

Reproduction Package for ICSE 2018 Article 'Reducer-Based Construction of Conditional Verifiers'. - Dirk Beyer 001; Marie-Christine Jakobs; Thomas Lemberger 002; Heike Wehrheim (Zenodo, 2018)

CoVeriTest: Cooperative Verifier-Based Testing. - Dirk Beyer 001; Marie-Christine Jakobs (FASE, 2019)

Combining Verifiers in Conditional Model Checking via Reducers. - Dirk Beyer 001; Marie-Christine Jakobs; Thomas Lemberger 002; Heike Wehrheim (SE/SWM, 2019)

When Are Software Verification Results Valid for Approximate Hardware? - Tobias Isenberg 002; Marie-Christine Jakobs; Felix Pauck; Heike Wehrheim (TAP@FM, 2019)

Replication Package for Article "CoVeriTest: Cooperative Verifier-Based Testing" in Proc. FASE '19. - Dirk Beyer 001; Marie-Christine Jakobs (Zenodo, 2019)

CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution). - Marie-Christine Jakobs (FASE, 2020)

HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution). - Sebastian Ruland; Malte Lochau; Marie-Christine Jakobs (FASE, 2020)

A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations. - Marie-Christine Jakobs; Heiko Mantel (ISoLA (2), 2020)

Cooperative Test-Case Generation with Verifiers. - Dirk Beyer 001; Marie-Christine Jakobs (SE, 2020)

FRed: Conditional Model Checking via Reducers and Folders. - Dirk Beyer 001; Marie-Christine Jakobs (SEFM, 2020)

Difference Verification with Conditions. - Dirk Beyer 001; Marie-Christine Jakobs; Thomas Lemberger 002 (SEFM, 2020)

Algorithm selection for software validation based on graph kernels. - Cedric Richter; Eyke Hüllermeier; Marie-Christine Jakobs; Heike Wehrheim (Autom. Softw. Eng., 2020)

Reproduction Package for STTT Article 'Cooperative, Verifier-Based Testing with CoVeriTest'. - Dirk Beyer 001; Marie-Christine Jakobs (Zenodo, 2020)

Replication Package for Article 'Difference Verification with Conditions'. - Dirk Beyer 001; Thomas Lemberger 002; Marie-Christine Jakobs (Zenodo, 2020)

Replication Package for SEFM 2020 Article 'FRed: Conditional Model Checking via Reducers and Folders'. - Dirk Beyer 001; Marie-Christine Jakobs (Zenodo, 2020)

Reproduction Package for SEFM 2020 Article 'Difference Verification with Conditions'. - Dirk Beyer 001; Marie-Christine Jakobs; Thomas Lemberger 002 (Zenodo, 2020)

CoVeriTest with Adaptive Time Scheduling (Competition Contribution). - Marie-Christine Jakobs; Cedric Richter (FASE, 2021)

PEQCHECK: Localized and Context-aware Checking of Functional Equivalence. - Marie-Christine Jakobs (FormaliSE@ICSE, 2021)

PatEC: Pattern-Based Equivalence Checking. - Marie-Christine Jakobs (SPIN, 2021)

Verifying Pipeline Implementations in OpenMP. - Maik Wiesner; Marie-Christine Jakobs (SPIN, 2021)

Software/Hardware Co-Verification for Custom Instruction Set Processors. - Marie-Christine Jakobs; Felix Pauck; Marco Platzner; Heike Wehrheim; Tobias Wiersema (IEEE Access, 2021)

PEQcheck: Localized and Context-aware Checking of Functional Equivalence (Technical Report). - Marie-Christine Jakobs (CoRR, 2021)

Cooperative verifier-based testing with CoVeriTest. - Dirk Beyer 001; Marie-Christine Jakobs (Int. J. Softw. Tools Technol. Transf., 2021)

CoVeriTest: interleaving value and predicate analysis for test-case generation. - Marie-Christine Jakobs (Int. J. Softw. Tools Technol. Transf., 2021)

PEQtest: Testing Functional Equivalence. - Marie-Christine Jakobs; Maik Wiesner (FASE, 2022)

Reusing Predicate Precision in Value Analysis. - Marie-Christine Jakobs (IFM, 2022)

Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? - Cedric Richter; Jan Haltermann; Marie-Christine Jakobs; Felix Pauck; Stefan Schott; Heike Wehrheim (ASE, 2022)

Automatic Test-Case Generation with CoVeriTest (Extended Abstract). - Marie-Christine Jakobs (TAP@STAF, 2022)

Parallel Program Analysis via Range Splitting. - Jan Haltermann; Marie-Christine Jakobs; Cedric Richter; Heike Wehrheim (FASE, 2023)

diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions. - Marie-Christine Jakobs; Tim Pollandt (iFM, 2023)

Variable Misuse Detection: Software Developers versus Neural Bug Detectors. - Cedric Richter; Jan Haltermann; Marie-Christine Jakobs; Felix Pauck; Stefan Schott; Heike Wehrheim (Software Engineering, 2023)

Ranged Program Analysis via Instrumentation. - Jan Haltermann; Marie-Christine Jakobs; Cedric Richter; Heike Wehrheim (SEFM, 2023)

Incorporating Data Dependencies and Properties in Difference Verification with Conditions (Technical Report). - Marie-Christine Jakobs; Tim Pollandt (CoRR, 2023)

Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution). - Max Barth; Daniel Dietsch; Matthias Heizmann; Marie-Christine Jakobs (FASE, 2024)

Software Verification with CPAchecker 3.0: Tutorial and User Guide. - Daniel Baier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (FM (2), 2024)

Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification. - Jan Haltermann; Marie-Christine Jakobs; Cedric Richter; Heike Wehrheim (Software Engineering, 2024)

Test-Case Generation with Automata-Based Software Model Checking. - Max Barth; Marie-Christine Jakobs (SPIN, 2024)

Refining CEGAR-Based Test-Case Generation with Feasibility Annotations. - Max Barth; Marie-Christine Jakobs (TAP, 2024)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version). - Daniel Baier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (CoRR, 2024)

Parallel program analysis on path ranges. - Jan Haltermann; Marie-Christine Jakobs; Cedric Richter; Heike Wehrheim (Sci. Comput. Program., 2024)

Preface for the special issue on "Fundamental Approaches to Software Engineering" (FASE 2022). - Marie-Christine Jakobs; Einar Broch Johnsen; Eduard Kamburjan; Manuel Wimmer (Sci. Comput. Program., 2024)

Replication package for article 'Parallel Program Analysis on Path Ranges'. - Jan Haltermann; Marie-Christine Jakobs; Cedric Richter; Heike Wehrheim (Zenodo, 2024)

Summary of the Eighth International Workshop on CPAchecker(CPAchecker 2023). - Marie-Christine Jakobs; Nian-Ze Lee (ACM SIGSOFT Softw. Eng. Notes, 2024)

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker: Tutorial and User Guide'. - Daniel Beier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (Zenodo, 2024)

Artifact for research regarding Ranged Program Analysis. - Jan Haltermann; Marie-Christine Jakobs; Cedric Richter; Heike Wehrheim (Zenodo, 2024)

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'. - Daniel Beier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (Zenodo, 2024)

Cooperative Software Verification via Dynamic Program Splitting. - Cedric Richter; Marek Chalupa; Marie-Christine Jakobs; Heike Wehrheim (Zenodo, 2024)

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'. - Daniel Beier; Dirk Beyer 001; Po-Chun Chien; Marie-Christine Jakobs; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Henrik Wachowitz; Philipp Wendler (Zenodo, 2024)

CPAchecker (SV-COMP25 submission). - Dirk Beyer 001; Philipp Wendler; Marian Lingsch Rosenfeld; Matthias Kettl; Marek Jankola; Marie-Christine Jakobs; Daniel Baier (Zenodo, 2024)

CPAchecker (SV-COMP25 submission). - Dirk Beyer 001; Philipp Wendler; Marian Lingsch Rosenfeld; Matthias Kettl; Marek Jankola; Marie-Christine Jakobs; Daniel Baier (Zenodo, 2024)

CPAchecker (SV-COMP25 submission). - Dirk Beyer 001; Philipp Wendler; Marian Lingsch Rosenfeld; Matthias Kettl; Marek Jankola; Marie-Christine Jakobs; Daniel Baier (Zenodo, 2024)

CPAchecker (SV-COMP25 submission). - Dirk Beyer 001; Philipp Wendler; Marian Lingsch Rosenfeld; Matthias Kettl; Marek Jankola; Marie-Christine Jakobs; Daniel Baier (Zenodo, 2024)

CPAchecker (SV-COMP25 submission). - Dirk Beyer 001; Philipp Wendler; Marian Lingsch Rosenfeld; Matthias Kettl; Marek Jankola; Marie-Christine Jakobs; Daniel Baier (Zenodo, 2024)

Cooperative Software Verification via Dynamic Program Splitting. - Cedric Richter; Marek Chalupa; Marie-Christine Jakobs; Heike Wehrheim (ICSE, 2025)

Preface for the special issue on "Selected Papers and Tools of the 26th International Conference on Fundamental Approaches to Software Engineering" (FASE 2023). - Carlos Diego Nascimento Damasceno; Marie-Christine Jakobs; Leen Lambers; Sebastián Uchitel (Sci. Comput. Program., 2025)

Cooperative Software Verification via Dynamic Program Splitting. - Cedric Richter; Marek Chalupa; Marie-Christine Jakobs; Heike Wehrheim (Zenodo, 2025)

Cooperative Software Verification via Dynamic Program Splitting. - Cedric Richter; Marek Chalupa; Marie-Christine Jakobs; Heike Wehrheim (Zenodo, 2025)

Cooperative Software Verification via Dynamic Program Splitting. - Cedric Richter; Marek Chalupa; Marie-Christine Jakobs; Heike Wehrheim (Zenodo, 2025)