| 2026 | FASE | Ultimate TestGen: Combining Parallel Trace Abstraction and Symbolic Path Execution (Competition Contribution). | Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs |
| 2026 | TACAS | Ultimate Paralizer: Parallel Trace Abstraction (Competition Contribution). | Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs |
| 2025 | ICSE | Cooperative Software Verification via Dynamic Program Splitting. | Cedric Richter, Marek Chalupa, Marie-Christine Jakobs, Heike Wehrheim |
| 2024 | FASE | Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution). | Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs |
| 2024 | FM | Software Verification with CPAchecker 3.0: Tutorial and User Guide. | 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 |
| 2024 | TAP | Refining CEGAR-Based Test-Case Generation with Feasibility Annotations. | Max Barth, Marie-Christine Jakobs |
| 2023 | FASE | Parallel Program Analysis via Range Splitting. | Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim |
| 2023 | IFM | diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions. | Marie-Christine Jakobs, Tim Pollandt |
| 2023 | SEFM | Ranged Program Analysis via Instrumentation. | Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim |
| 2022 | FASE | PEQtest: Testing Functional Equivalence. | Marie-Christine Jakobs, Maik Wiesner |
| 2022 | IFM | Reusing Predicate Precision in Value Analysis. | Marie-Christine Jakobs |
| 2022 | TAP | Automatic Test-Case Generation with CoVeriTest (Extended Abstract). | Marie-Christine Jakobs |
| 2021 | FASE | CoVeriTest with Adaptive Time Scheduling (Competition Contribution). | Marie-Christine Jakobs, Cedric Richter |
| 2021 | ICSE | PEQCHECK: Localized and Context-aware Checking of Functional Equivalence. | Marie-Christine Jakobs |
| 2020 | FASE | CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution). | Marie-Christine Jakobs |
| 2020 | FASE | HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution). | Sebastian Ruland, Malte Lochau, Marie-Christine Jakobs |
| 2020 | ISoLA | A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations. | Marie-Christine Jakobs, Heiko Mantel |
| 2020 | SEFM | FRed: Conditional Model Checking via Reducers and Folders. | Dirk Beyer, Marie-Christine Jakobs |
| 2020 | SEFM | Difference Verification with Conditions. | Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger |
| 2019 | FASE | CoVeriTest: Cooperative Verifier-Based Testing. | Dirk Beyer, Marie-Christine Jakobs |
| 2019 | TAP | When Are Software Verification Results Valid for Approximate Hardware? | Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim |
| 2018 | ICSE | Reducer-based construction of conditional verifiers. | Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim |
| 2017 | SEFM | PART _\mathrm PW : From Partial Analysis Results to a Proof Witness. | Marie-Christine Jakobs |
| 2015 | FASE | Just Test What You Cannot Verify! | Mike Czech, Marie-Christine Jakobs, Heike Wehrheim |
| 2015 | SAC | Programs from proofs of predicated dataflow analyses. | Marie-Christine Jakobs, Heike Wehrheim |
| 2015 | SEFM | Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning. | Marie-Christine Jakobs |
| 2014 | IFM | Integrating Software and Hardware Verification. | Marie-Christine Jakobs, Marco Platzner, Heike Wehrheim, Tobias Wiersema |