Christian Schilling -

Registered user since Tue 30 Oct 2018

Name:Christian Schilling

Country:Germany

Affiliation:University of Konstanz

Personal website:https://www.christianschilling.net

Research interests:Verification

Contributions

VMCAI 2020	Committee Member in Artifact-Evaluation Committee within the VMCAI 2020-track
ECOOP 2019	Committee Member in Artifact Evaluation Committee within the Artifacts-track
TACAS 2019	Author of Semantic Fault Localization and Suspiciousness Ranking within the TACAS 2019-track
ETAPS 2019	Author of Semantic Fault Localization and Suspiciousness Ranking within the Posters-track Author of Ultimate Automizer within the Posters-track