( en | de | ru )

 

Disambiguation of "Dietsch, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
Witness validation and stepwise testification across software verifiers.

, , , , and . Software Engineering, volume P-252 of LNI, page 105-106. GI, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Daniel Dietsch

Rolf Dietsch

Evamaria Dietsch

Peter Dietsch

Volkmar Dietsch

 

Other publications of authors with the same name

Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution)., , , , and . TACAS (2), volume 13994 of Lecture Notes in Computer Science, page 582-587. Springer, (2023)Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution)., , , , , , , , , and . TACAS (2), volume 13994 of Lecture Notes in Computer Science, page 577-581. Springer, (2023)Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution)., , , , , , and . TACAS (3), volume 14572 of Lecture Notes in Computer Science, page 418-423. Springer, (2024)Hanfor: Semantic Requirements Review at Scale., , , , , , and . REFSQ Workshops, volume 2857 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Ultimate GemCutter and the Axes of Generalization - (Competition Contribution)., , , , , , and . TACAS (2), volume 13244 of Lecture Notes in Computer Science, page 479-483. Springer, (2022)A Software Lab with On-demand Support., and . HICSS, page 1-10. ScholarSpace, (2022)The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification., , , , and . FM, volume 8442 of Lecture Notes in Computer Science, page 658-672. Springer, (2014)Scalable Analysis of Real-Time Requirements., , , , and . RE, page 234-244. IEEE, (2019)Separating Map Variables in a Logic-Based Intermediate Verification Language., , , , and . NETYS, volume 12754 of Lecture Notes in Computer Science, page 169-186. Springer, (2021)Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution)., , , and . FASE, volume 14573 of Lecture Notes in Computer Science, page 326-330. Springer, (2024)