conf.researchr.org / Christian Schilling
Christian Schilling

Registered user since Tue 30 Oct 2018

Name:Christian Schilling
Country:Denmark
Affiliation:Aalborg University
Personal website:https://www.christianschilling.net
Research interests:Formal methods, Cyber-physical systems

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
ETAPS 2019 Author of Semantic Fault Localization and Suspiciousness Ranking within the Posters-track
Author of Ultimate Automizer within the Posters-track
TACAS 2019 Author of Semantic Fault Localization and Suspiciousness Ranking within the TACAS 2019-track