Marie-Christine Jakobs

59 papers A* 3B 17C 5Misc 1Journal 17Unranked 14

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Ultimate Paralizer: Parallel Trace Abstraction (Competition Contribution). TACAS (2) Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs
2026	B	`conf`	Ultimate TestGen: Combining Parallel Trace Abstraction and Symbolic Path Execution (Competition Contribution). FASE Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs
2025	A*	`conf`	Cooperative Software Verification via Dynamic Program Splitting. ICSE Cedric Richter, Marek Chalupa, Marie-Christine Jakobs, Heike Wehrheim
2025	J	`jnl`	Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement. CoRR Max Barth, Marie-Christine Jakobs
2025	J	`jnl`	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. Carlos Diego Nascimento Damasceno, Marie-Christine Jakobs, Leen Lambers, Sebastián Uchitel
2024	J	`jnl`	Parallel Program Analysis on Path Ranges. CoRR Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
2024	J	`jnl`	Parallel program analysis on path ranges. Sci. Comput. Program. Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
2024	J	`jnl`	Preface for the special issue on "Fundamental Approaches to Software Engineering" (FASE 2022). Sci. Comput. Program. Marie-Christine Jakobs, Einar Broch Johnsen, Eduard Kamburjan, Manuel Wimmer
2024	C	`conf`	Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification. Software Engineering Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
2024	C	`conf`	Refining CEGAR-Based Test-Case Generation with Feasibility Annotations. TAP Max Barth, Marie-Christine Jakobs
2024	J	`jnl`	Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version). CoRR 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	—	`conf`	Software Verification with CPAchecker 3.0: Tutorial and User Guide. FM (2) 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	J	`jnl`	Summary of the Eighth International Workshop on CPAchecker(CPAchecker 2023). ACM SIGSOFT Softw. Eng. Notes Marie-Christine Jakobs, Nian-Ze Lee
2024	—	`conf`	Test-Case Generation with Automata-Based Software Model Checking. SPIN Max Barth, Marie-Christine Jakobs
2024	B	`conf`	Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution). FASE Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs
2023	J	`jnl`	Incorporating Data Dependencies and Properties in Difference Verification with Conditions (Technical Report). CoRR Marie-Christine Jakobs, Tim Pollandt
2023	B	`conf`	Parallel Program Analysis via Range Splitting. FASE Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
2023	B	`conf`	Ranged Program Analysis via Instrumentation. SEFM Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
2023	C	`conf`	Variable Misuse Detection: Software Developers versus Neural Bug Detectors. Software Engineering Cedric Richter, Jan Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, Heike Wehrheim
2023	B	`conf`	diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions. iFM Marie-Christine Jakobs, Tim Pollandt
2022	A*	`conf`	Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? ASE Cedric Richter, Jan Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, Heike Wehrheim
2022	—	`conf`	Automatic Test-Case Generation with CoVeriTest (Extended Abstract). TAP@STAF Marie-Christine Jakobs
2022	B	`conf`	PEQtest: Testing Functional Equivalence. FASE Marie-Christine Jakobs, Maik Wiesner
2022	B	`conf`	Reusing Predicate Precision in Value Analysis. IFM Marie-Christine Jakobs
2021	B	`conf`	CoVeriTest with Adaptive Time Scheduling (Competition Contribution). FASE Marie-Christine Jakobs, Cedric Richter
2021	J	`jnl`	CoVeriTest: interleaving value and predicate analysis for test-case generation. Int. J. Softw. Tools Technol. Transf. Marie-Christine Jakobs
2021	J	`jnl`	Cooperative verifier-based testing with CoVeriTest. Int. J. Softw. Tools Technol. Transf. Dirk Beyer, Marie-Christine Jakobs
2021	—	`conf`	PEQCHECK: Localized and Context-aware Checking of Functional Equivalence. FormaliSE@ICSE Marie-Christine Jakobs
2021	J	`jnl`	PEQcheck: Localized and Context-aware Checking of Functional Equivalence (Technical Report). CoRR Marie-Christine Jakobs
2021	—	`conf`	PatEC: Pattern-Based Equivalence Checking. SPIN Marie-Christine Jakobs
2021	J	`jnl`	Software/Hardware Co-Verification for Custom Instruction Set Processors. IEEE Access Marie-Christine Jakobs, Felix Pauck, Marco Platzner, Heike Wehrheim, Tobias Wiersema
2021	—	`conf`	Verifying Pipeline Implementations in OpenMP. SPIN Maik Wiesner, Marie-Christine Jakobs
2020	—	`conf`	A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations. ISoLA (2) Marie-Christine Jakobs, Heiko Mantel
2020	J	`jnl`	Algorithm selection for software validation based on graph kernels. Autom. Softw. Eng. Cedric Richter, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim
2020	B	`conf`	CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution). FASE Marie-Christine Jakobs
2020	—	`conf`	Cooperative Test-Case Generation with Verifiers. SE Dirk Beyer, Marie-Christine Jakobs
2020	B	`conf`	Difference Verification with Conditions. SEFM Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger
2020	B	`conf`	FRed: Conditional Model Checking via Reducers and Folders. SEFM Dirk Beyer, Marie-Christine Jakobs
2020	B	`conf`	HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution). FASE Sebastian Ruland, Malte Lochau, Marie-Christine Jakobs
2019	B	`conf`	CoVeriTest: Cooperative Verifier-Based Testing. FASE Dirk Beyer, Marie-Christine Jakobs
2019	—	`conf`	Combining Verifiers in Conditional Model Checking via Reducers. SE/SWM Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim
2019	—	`conf`	When Are Software Verification Results Valid for Approximate Hardware? TAP@FM Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim
2018	C	`conf`	JMCTest: Automatically Testing Inter-Method Contracts in Java. ICTSS Paul Börding, Jan Haltermann, Marie-Christine Jakobs, Heike Wehrheim
2018	A*	`conf`	Reducer-based construction of conditional verifiers. ICSE Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim
2018	J	`jnl`	Validity of Software Verification Results on Approximate Hardware. IEEE Embed. Syst. Lett. Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim
2017	—	`conf`	Compact Proof Witnesses. NFM Marie-Christine Jakobs, Heike Wehrheim
2017	—	`—`	On-The-Fly safety checking - customizing program certification and program restructuring Marie-Christine Jakobs
2017	B	`conf`	PART _\mathrm PW : From Partial Analysis Results to a Proof Witness. SEFM Marie-Christine Jakobs
2017	J	`jnl`	Predicting Rankings of Software Verification Competitions. CoRR Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim
2017	—	`conf`	Predicting rankings of software verification tools. SWAN@ESEC/SIGSOFT FSE Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim
2017	J	`jnl`	Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. ACM Trans. Program. Lang. Syst. Marie-Christine Jakobs, Heike Wehrheim
2017	—	`ch.`	Spontane Sicherheitsprüfung mittels individualisierter Programmzertifizierung oder Programmrestrukturierung. Ausgezeichnete Informatikdissertationen Marie-Christine Jakobs
2016	J	`jnl`	Deriving approximation tolerance constraints from verification runs. CoRR Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim
2016	C	`conf`	Just test what you cannot verify! Software Engineering Mike Czech, Marie-Christine Jakobs, Heike Wehrheim
2015	B	`conf`	Just Test What You Cannot Verify! FASE Mike Czech, Marie-Christine Jakobs, Heike Wehrheim
2015	Misc	`conf`	Programs from proofs of predicated dataflow analyses. SAC Marie-Christine Jakobs, Heike Wehrheim
2015	B	`conf`	Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning. SEFM Marie-Christine Jakobs
2014	—	`conf`	Certification for configurable program analysis. SPIN Marie-Christine Jakobs, Heike Wehrheim
2014	B	`conf`	Integrating Software and Hardware Verification. IFM Marie-Christine Jakobs, Marco Platzner, Heike Wehrheim, Tobias Wiersema