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.

Perspektivenwechsel. Bildinformationen anzeigen

Perspektivenwechsel.

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
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


Liste im Research Information System öffnen

Die Universität der Informationsgesellschaft