( en | de | ru )

 

Disambiguation of "Dietsch, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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 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 Taipan and Race Detection in Ultimate - (Competition Contribution)., , , , and . TACAS (2), volume 13994 of Lecture Notes in Computer Science, page 582-587. Springer, (2023)Hanfor: Semantic Requirements Review at Scale., , , , , , and . REFSQ Workshops, volume 2857 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Ultimate TreeAutomizer (CHC-COMP Tool Description)., , , , and . HCVS/PERR@ETAPS, volume 296 of EPTCS, page 42-47. (2019)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)Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages., , , , and . CoRR, (2019)Source-Level Bitwise Branching for Temporal Verification of Lifted Binaries., , , , , , and . CoRR, (2021)Ready for testing: ensuring conformance to industrial standards through formal verification., , , , , and . Formal Aspects Comput., 28 (3): 499-527 (2016)Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution)., , , , and . TACAS (2), volume 12079 of Lecture Notes in Computer Science, page 418-422. Springer, (2020)Disambiguation of industrial standards through formalization and graphical languages., , , and . RE, page 265-270. IEEE Computer Society, (2011)