|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel | Konferenzbeitrag
Anzahl der Publikationen: 2
Zeitschriftenartikel
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
Konferenzbeitrag
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