Veröffentlichungen der Arbeitsgruppe Semantik und Verifikation paralleler Systeme

Veröffentlichungen der Arbeitsgruppe

Die Arbeitsgruppe Semantik und Verifikation paralleler Systeme besteht seit März 2019. Nachfolgend werden lediglich die Veröffentlichungen gelistet, die in der Arbeitsgruppe entstanden sind. Einzelne Mitarbeiter haben zusätzliche Veröffentlichungen. Alle Veröffentlichungen eines Mitarbeiters finden Sie auf seiner persönlichen Webseite.

Liste der Veröffentlichungen

Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Publikationsjahr | Autor(en) | Typ des Eintrags
Springe zu: 2021 | 2020 | 2019
Es werden nur Einträge angezeigt, bei denen keine untergeordnete Organisationseinheit ausgewählt wurde. Anzahl: 9.

2021

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,
[Konferenzveröffentlichung]

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,
[Konferenzveröffentlichung]

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,
[Artikel]

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,
[Konferenzveröffentlichung]

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,
[Konferenzveröffentlichung]

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,
[Konferenzveröffentlichung]

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,
[Konferenzveröffentlichung]

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,
[Konferenzveröffentlichung]

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,
[Konferenzveröffentlichung]

Diese Liste wurde am Mon Jun 14 02:23:52 2021 CEST generiert.