Follow
Marie-Christine Jakobs
Marie-Christine Jakobs
Verified email at sosy.ifi.lmu.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
492015
Reducer-based construction of conditional verifiers
D Beyer, MC Jakobs, T Lemberger, H Wehrheim
Proceedings of the 40th International Conference on Software Engineering …, 2018
422018
CoVeriTest: Cooperative Verifier-Based Testing.
D Beyer, MC Jakobs
FASE, 389-408, 2019
392019
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
312020
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
312017
Certification for configurable program analysis
MC Jakobs, H Wehrheim
Proceedings of the 2014 International SPIN Symposium on Model Checking of …, 2014
242014
HybridTiger: Hybrid model checking and domination-based partitioning for efficient multi-goal test-suite generation (competition contribution)
S Ruland, M Lochau, MC Jakobs
Fundamental Approaches to Software Engineering 12076, 520, 2020
132020
PEQcheck: Localized and context-aware checking of functional equivalence
MC Jakobs
2021 IEEE/ACM 9th International Conference on Formal Methods in Software …, 2021
122021
Speed up configurable certificate validation by certificate reduction and partitioning
MC Jakobs
SEFM 2015 Collocated Workshops, 159-174, 2015
112015
CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution).
MC Jakobs
FASE, 540-544, 2020
92020
Programs from proofs of predicated dataflow analyses
MC Jakobs, H Wehrheim
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1729-1736, 2015
92015
Difference verification with conditions
D Beyer, MC Jakobs, T Lemberger
Software Engineering and Formal Methods: 18th International Conference, SEFM …, 2020
82020
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
82017
Compact proof witnesses
MC Jakobs, H Wehrheim
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017
82017
Peqtest: Testing functional equivalence
MC Jakobs, M Wiesner
International Conference on Fundamental Approaches to Software Engineering …, 2022
72022
Cooperative verifier-based testing with CoVeriTest
D Beyer, MC Jakobs
International Journal on Software Tools for Technology Transfer 23, 313-333, 2021
72021
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
72017
Parallel program analysis via range splitting
J Haltermann, MC Jakobs, C Richter, H Wehrheim
International Conference on Fundamental Approaches to Software Engineering …, 2023
62023
Ranged Program Analysis via Instrumentation
J Haltermann, MC Jakobs, C Richter, H Wehrheim
International Conference on Software Engineering and Formal Methods, 145-164, 2023
52023
Software/hardware co-verification for custom instruction set processors
MC Jakobs, F Pauck, M Platzner, H Wehrheim, T Wiersema
IEEE Access 9, 160559-160579, 2021
52021
The system can't perform the operation now. Try again later.
Articles 1–20