• Sign in
  • Sign up
conf.researchr.org / Daniel Dietsch
  • ETAPS 2019 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • REFSQ 2021 profile
Daniel Dietsch

Registered user since Mon 25 Jun 2018

Name: Daniel Dietsch

Country: Germany

Affiliation: University of Freiburg

Personal website: https://swt.informatik.uni-freiburg.de/staff/dietsch

Contributions

REFSQ 2021 Author of Hanfor: Semantic Requirements Review at Scale within the Posters and Tools -track
VMCAI 2021 Author of Verification of Concurrent Programs Using Petri Net Unfoldings within the VMCAI-track
VMCAI 2020 Artifact Evaluation Chair in Organizing Committee within the VMCAI 2020-track
Artifact Evaluation Chair in Artifact-Evaluation Committee within the VMCAI 2020-track
POPL 2020 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
HCVS 2019 Author of Ultimate TreeAutomizer within the HCVS-track
ETAPS 2019 Author of Ultimate Automizer within the Posters-track
POPL 2019 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

Share
xFri 23 Apr 13:42
using conf.researchr.org (v1.45.0)
Support page
Sign Up