Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

#WirFeiernZukunft - Alle Veranstaltungen: www.upb50.de - 50 Jahre UPB

Foto: Universität Paderborn

Cedric Richter

Kontakt
Publikationen
 Cedric Richter

Spezifikation und Modellierung von Softwaresystemen

Ehemaliger

Telefon:
+49 5251 60-1762
Büro:
O4.122
Web:
Besucher:
Pohlweg 51
33098 Paderborn

Liste im Research Information System öffnen

2020

Attend and Represent: A Novel View on Algorithm Selection for Software Verification

C. Richter, H. Wehrheim, in: 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020, {IEEE}, 2020, pp. 1016-1028


Algorithm Selection for Software Validation Based on Graph Kernels

C. Richter, E. Hüllermeier, M. Jakobs, H. Wehrheim, Journal of Automated Software Engineering (2020)


2019

PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)

C. Richter, H. Wehrheim, in: Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}, Springer, 2019, pp. 229-233

DOI


Liste im Research Information System öffnen

Die Universität der Informationsgesellschaft