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