Registered user since Wed 22 Jan 2020
Name: Cedric Richter
Country: Germany
Affiliation: Paderborn University, Germany
Personal website: https://en.cs.uni-paderborn.de/sms/team/people/cedric-richter
Research interests: Machine Learning, Software Verification
Contributions
| ASE 2020 | Author of Attend and Represent: A Novel View on Algorithm Selection for Software Verification within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ASE 2020-profile
View general profile
View general profile