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.

Change of Perspective. Show image information

Change of Perspective.

Photo: Paderborn University

Cedric Richter

Contact
Publications
 Cedric Richter

Specification and Modelling of Software Systems

Former

Phone:
+49 5251 60-1762
Office:
O4.122
Office hours:

Monday - Friday

8am until ~4pm

Visitor:
Pohlweg 51
33098 Paderborn

Open list in Research Information System

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


Open list in Research Information System

The University for the Information Society