Cedric Richter

Kontakt

Publikationen

Spezifikation und Modellierung von Softwaresystemen

Ehemaliger

VCard

Telefon:

+49 5251 60-1762

E-Mail:

cedricr(at)mail.upb(dot)de

Büro:

O4.122

Web:

Homepage

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