Publications of the research group semantics and verification of parallel systems

Publications of the Research Group

The research group semantic and verification of parallel systems exists since March 2019. The following list only shows the publications of the research group. Further publications of individual members of the group exists. To find out the publications of an individual member, please have a look at the personal web pages.

List of Publications

Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Creator(s) | Item type
Jump to: 2020 | 2019
Es werden nur Einträge angezeigt, bei denen keine untergeordnete Organisationseinheit ausgewählt wurde. Anzahl: 8.

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]

This list was generated on Wed Mar 3 02:10:49 2021 CET.