Concepedia

Daniel Dietsch

DD

7

Publications

284

Citations

7

H-Index

2011

Active since

Affiliations

University of Freiburg(Current)

Ludwig-Maximilians-Universität München

University of Passau

Daniel Dietsch is an author at University of Freiburg specializing in software analysis, formal methods, and software testing.

Top concepts

EngineeringFormal MethodsSoftware TestingSoftware AnalysisVerificationComputer ScienceProgram AnalysisFormal VerificationSoftware EngineeringSoftware Verification

Publications per year

2011–2022

7

Publications

7

Witness validation and stepwise testification across software verifiers

Dirk Beyer, Matthias Dangl, Daniel Dietsch et al. · 2015 · 90 citations

Verification Tool, Program Checking, Engineering +19

Correctness witnesses: exchanging verification results between verifiers

Dirk Beyer, Matthias Dangl, Daniel Dietsch et al. · 2016 · 86 citations

Engineering, Information Security, Verification +22

Verification Witnesses

Dirk Beyer, Matthias Dangl, Daniel Dietsch et al. · ACM Transactions on Software Engineering and Methodology · 2022 · 35 citations · Full text

Engineering, Verification, Verification Witnesses +18

Scalable Analysis of Real-Time Requirements

Vincent Langenfeld, Daniel Dietsch, Bernd Westphal et al. · 2019 · 27 citations

Software Maintenance, Engineering, Verification +23

Ready for testing: ensuring conformance to industrial standards through formal verification

Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch et al. · Formal Aspects of Computing · 2016 · 20 citations

Rows per page

1–5 of 7