• Sign in
  • Sign up
conf.researchr.org / Christian Schilling
  • ECOOP 2019 profile
  • ETAPS 2019 profile
  • POPL 2020 profile
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

Share
xSat 4 Feb 22:07
using conf.researchr.org (v1.58.0)
Support page
Sign Up