|
Eine Ebene nach oben |
Gruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 2
2022
Beyer, Dirk 
ORCID: https://orcid.org/0000-0003-4832-7662; Kanav, Sudeep ORCID: https://orcid.org/0000-0001-6078-4175 und Richter, Cedric ORCID: https://orcid.org/0000-0003-2906-6508
(2022):
Construction of Verifier Combinations Based on Off-the-Shelf Verifiers.
.
In: Fundamental Approaches to Software Engineering. 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Lecture Notes in Computer Science
Bd. 13241
Cham, Switzerland: Springer. S. 49-70
ORCID: https://orcid.org/0000-0003-4832-7662; Kanav, Sudeep ORCID: https://orcid.org/0000-0001-6078-4175 und Richter, Cedric ORCID: https://orcid.org/0000-0003-2906-6508
(2022):
Construction of Verifier Combinations Based on Off-the-Shelf Verifiers.
.
In: Fundamental Approaches to Software Engineering. 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Lecture Notes in Computer Science
Bd. 13241
Cham, Switzerland: Springer. S. 49-70
2020
Richter, Cedric; Hüllermeier, Eyke ORCID: https://orcid.org/0000-0002-9944-4108; Jakobs, Marie-Christine und Wehrheim, Heike
(April 2020):
Algorithm selection for software validation based on graph kernels.
In: Automated Software Engineering, Bd. 27, Nr. 1-2: S. 153-186
ORCID: https://orcid.org/0000-0002-9944-4108; Jakobs, Marie-Christine und Wehrheim, Heike
(April 2020):
Algorithm selection for software validation based on graph kernels.
In: Automated Software Engineering, Bd. 27, Nr. 1-2: S. 153-186