2021

Jakobs, Marie-Christine
Laarman, Alfons ; Sokolova, Ana (Hrsg.) (2021):
PatEC: Pattern-Based Equivalence Checking.
In: Lecture Notes in Computer Science, 12864, In: Model Checking Software, S. 120-139,
Springer, 27th International Symposium on Model Checking Software (SPIN 2021), virtual Conference, 12.07.2021, ISBN 978-3-030-84628-2,
DOI: 10.1007/978-3-030-84629-9_7,
[Conference item]

Jakobs, Marie-Christine (2021):
PEQCHECK: Localized and Context-aware Checking of Functional Equivalence.
In: Proceedings: 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE 2021), S. 130-140,
IEEE, 9th International Conference on Formal Methods in Software Engineering, virtual Conference, 22.-30.05.2021, ISBN 978-1-6654-2984-9,
DOI: 10.1109/FormaliSE52586.2021.00019,
[Conference item]

Jakobs, Marie-Christine ; Richter, Cedric (2021):
CoVeriTest with Adaptive Time Scheduling (Competition Contribution).
In: Lecture Notes in Computer Science, 12649, In: Fundamental Approaches to Software Engineering, S. 358-362,
Springer, 24th International Conference on Fundamental Approaches to Software Engineering, virtual Conference, 27.03.-01.04.2021, ISBN 978-3-030-71499-4,
DOI: 10.1007/978-3-030-71500-7_18,
[Conference item]

2020

Jakobs, Marie-Christine ; Mantel, Heiko
Margaria, Tiziana ; Steffen, Bernhard (Hrsg.) (2020):
A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations.
S. 72-92, Springer, 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), virtual Conference, 20.-30.10., ISBN 978-3-030-61469-0,
DOI: 10.1007/978-3-030-61470-6_6,
[Conference item]

Richter, Cedric ; Hüllermeier, Eyke ; Jakobs, Marie-Christine ; Wehrheim, Heike (2020):
Algorithm selection for software validation based on graph kernels.
In: Automated Software Engineering, 27 (1-2), S. 153-186. Springer, ISSN 0928-8910,
DOI: 10.1007/s10515-020-00270-x,
[Article]

Beyer, Dirk ; Jakobs, Marie-Christine
Michael, Felderer ; Wilhelm, Hasselbring ; Rick, Rabiser ; Jung, Reiner (Hrsg.) (2020):
Cooperative Test-Case Generation with Verifiers.
In: Software Engineering 2020, S. 107-108,
Bonn, Gesellschaft für Informatik e.V., Tagung Software Engineering der Gesellschaft für Informatik 2020, Innsbruck, Österreich, 24.-28.02.2020, DOI: 10.18420/SE2020_31,
[Conference item]

Beyer, Dirk ; Jakobs, Marie-Christine
de Boer, Frank S. ; Cerone, Antonio (Hrsg.) (2020):
FRed: Conditional Model Checking via Reducers and Folders.
In: 18th International Conference on Software Engineering and Formal Methods (SEFM 2020), S. 113-132,
Springer, virtual Conference, 14.-18.09, ISBN 978-3-030-58768-0,
DOI: 10.1007/978-3-030-58768-0_7,
[Conference item]

Beyer, Dirk ; Lemberger, Thomas ; Jakobs, Marie-Christine
de Boer, Frank S. ; Cerone, Antonio (Hrsg.) (2020):
Difference Verification with Conditions.
In: 18th International Conference on Software Engineering and Formal Methods (SEFM 2020), S. 133-154,
Springer, virtual Conference, 14.–18.09., ISBN 978-3-030-58768-0,
DOI: 10.1007/978-3-030-58768-0_8,
[Conference item]

Jakobs, Marie-Christine (2020):
CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution).
In: Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020 ; Proceedings, S. 540-544,
Cham, Springer, ETAPS, Dublin, Irland, April 25–30, 2020, ISBN 978-3-030-45233-9,
DOI: 10.1007/978-3-030-45234-6_30,
[Conference item]

Ruland, Sebastian ; Lochau, Malte ; Jakobs, Marie-Christine (2020):
HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution).
In: Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020 ; Proceedings, S. 520-524,
Cham, Springer, ETAPS 2020, Dublin, Irland, April 25–30, 2020, ISBN 978-3-030-45233-9,
DOI: 10.1007/978-3-030-45234-6_26,
[Conference item]

2019

Isenberg, Tobias ; Jakobs, Marie-Christine ; Pauck, Felix ; Wehrheim, Heike
Beyer, Dirk ; Keller, Chantal (Hrsg.) (2019):
When are Software Verification Results valid for Approximate Hardware?
TAP 2019-13th International Conference on Tests and Proofs, Porto, Portugal, 9.-11.10.2019, ISBN 978-3-030-31157-5,
DOI: 10.1007/978-3-030-31157-5_1,
[Conference item]