• Sign in
  • Sign up
conf.researchr.org / Simon Dierl
  • NASA Formal Methods 2023 profile
  • POPL 2020 profile
No Photo

Not registered as user

Name:Simon Dierl

Contributions

2023

NFM

  • Author of Learning Symbolic Timed Models from Concrete Timed Data within the NFM 2023-track

2020

VMCAI

  • Committee Member in Artifact-Evaluation Committee within the VMCAI 2020-track
Share
xTue 20 May 18:18
using conf.researchr.org (v1.69.0)
Support page
Sign Up