conf.researchr.org / Daniel Dietsch
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