Marie-Christine Jakobs
Marie-Christine Jakobs
Verified email at cs.tu-darmstadt.de
Title
Cited by
Cited by
Year
Just test what you cannot verify!
M Czech, MC Jakobs, H Wehrheim
International Conference on Fundamental Approaches to Software Engineering …, 2015
352015
Reducer-based construction of conditional verifiers
D Beyer, MC Jakobs, T Lemberger, H Wehrheim
Proceedings of the 40th International Conference on Software Engineering …, 2018
242018
Certification for configurable program analysis
MC Jakobs, H Wehrheim
Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014
202014
CoVeriTest: Cooperative Verifier-Based Testing.
D Beyer, MC Jakobs
FASE, 389-408, 2019
192019
Predicting rankings of software verification tools
M Czech, E Hüllermeier, MC Jakobs, H Wehrheim
Proceedings of the 3rd ACM SIGSOFT International Workshop on Software …, 2017
192017
Speed up configurable certificate validation by certificate reduction and partitioning
MC Jakobs
SEFM 2015 Collocated Workshops, 159-174, 2015
102015
Algorithm selection for software validation based on graph kernels
C Richter, E Hüllermeier, MC Jakobs, H Wehrheim
Automated Software Engineering 27 (1), 153-186, 2020
62020
Compact proof witnesses
MC Jakobs, H Wehrheim
NASA Formal Methods Symposium, 389-403, 2017
62017
Programs from proofs of predicated dataflow analyses
MC Jakobs, H Wehrheim
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1729-1736, 2015
62015
Programs from proofs: A framework for the safe execution of untrusted software
MC Jakobs, H Wehrheim
ACM Transactions on Programming Languages and Systems (TOPLAS) 39 (2), 1-56, 2017
52017
CoVeriTest: interleaving value and predicate analysis for test-case generation
MC Jakobs
International Journal on Software Tools for Technology Transfer, 1-5, 2020
42020
HybridTiger: Hybrid model checking and domination-based partitioning for efficient multi-goal test-suite generation (competition contribution)
S Ruland, M Lochau, MC Jakobs
International Conference on Fundamental Approaches to Software Engineering …, 2020
42020
Validity of software verification results on approximate hardware
T Isenberg, MC Jakobs, F Pauck, H Wehrheim
IEEE Embedded Systems Letters 10 (1), 22-25, 2017
42017
CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution).
MC Jakobs
FASE, 540-544, 2020
32020
PEQcheck: localized and context-aware checking of functional equivalence
MC Jakobs
2021 IEEE/ACM 9th International Conference on Formal Methods in Software …, 2021
22021
Verifying pipeline implementations in OpenMP
M Wiesner, MC Jakobs
International Symposium on Model Checking Software, 81-98, 2021
12021
PatEC: pattern-based equivalence checking
MC Jakobs
International Symposium on Model Checking Software, 120-139, 2021
12021
Cooperative verifier-based testing with CoVeriTest
D Beyer, MC Jakobs
International Journal on Software Tools for Technology Transfer, 1-21, 2021
12021
CoVeriTest with adaptive time scheduling (competition contribution)
MC Jakobs, C Richter
Fundamental Approaches to Software Engineering 12649, 358, 2021
12021
PEQcheck: Localized and Context-aware Checking of Functional Equivalence (Technical Report)
MC Jakobs
arXiv preprint arXiv:2101.09042, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–20