• Sign in
  • Sign up
conf.researchr.org / Daniel Dietsch
  • ETAPS 2019 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • POPL 2021 profile
  • REFSQ 2021 profile
  • Requirements Engineering 2023 profile
  • SPLASH 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
Research interests:formal methods, requirements engineering, static analysis, program analysis, software model checking, software engineering

Contributions

Requirements Engineering 2023 Committee Member in Program Committee within the Industrial Innovation Papers-track
APLAS 2021 Author of Proving LTL Properties of Bitvector Programs and Decompiled Binaries within the Research Papers-track
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
POPL 2020 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-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
ETAPS 2019 Author of Ultimate Automizer within the Posters-track
HCVS 2019 Author of Ultimate TreeAutomizer within the HCVS-track
POPL 2019 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

Share
xFri 31 Mar 02:35
using conf.researchr.org (v1.60.0)
Support page
Sign Up