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.

Jan Haltermann, Manuel Töws, Felix Pauck, Cedric Richter, Heike Wehrheim, Jürgen König, Arnab Sharma, Steffen Beringer, Oleksandra Koslova, Elisabeth Schlatt (left to right) Show image information

Jan Haltermann, Manuel Töws, Felix Pauck, Cedric Richter, Heike Wehrheim, Jürgen König, Arnab Sharma, Steffen Beringer, Oleksandra Koslova, Elisabeth Schlatt (left to right)

Cedric Richter, M.Sc.

Address: Cedric Richter
Paderborn University
Faculty of Electrical Engineering, Computer Science and Mathematics
Warburger Str. 100
D-33098 Paderborn, Germany
Office: O4.122

Availability (Working hours):
Monday - Friday
08:00 am until 04:00 pm
Phone: +49 (0) 5251-60-1762
Fax:  +49 (0) 5251-60-3993 
Email: cedricr(at)mail.upb(dot)de
Secretary: Elisabeth Schlatt
Phone: +49 (0) 5251-60-3764
Email: schlatt(at)mail.upb.de
Office: O4.125

Teaching

WS 2019/20         Seminar: Software Testing Organization

Publications


Open list in Research Information System

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


Open list in Research Information System

Research Interest

Algorithm Selection for Software Verification

 

The University for the Information Society