• Sign in
  • Sign up
conf.researchr.org / Christian Schilling
  • ECOOP 2019 profile
  • ETAPS 2019 profile
  • FSEN 2025 profile
  • NASA Formal Methods 2023 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

2025

FSEN

  • Committee Member in Program Committee

2023

NFM

  • Author of Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes within the NFM 2023-track

2020

VMCAI

  • Committee Member in Artifact-Evaluation Committee within the VMCAI 2020-track

2019

ECOOP

  • Committee Member in Artifact Evaluation Committee within the Artifacts-track

ETAPS

  • Author of Semantic Fault Localization and Suspiciousness Ranking within the Posters-track
  • Author of Ultimate Automizer within the Posters-track

TACAS

  • Author of Semantic Fault Localization and Suspiciousness Ranking within the TACAS 2019-track
Share
xThu 12 Jun 06:40
using conf.researchr.org (v1.69.0)
Support page
Sign Up