Cedric Richter
Spezifikation und Modellierung von Softwaresystemen
Ehemaliger
Telefon:
+49 5251 60-1762
E-Mail:
Büro:
O4.122
Web:
Besucher:
Pohlweg 51
33098 Paderborn
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