( en | de | ru )

 

Disambiguation of "Dietsch, Daniel"

Author of the publication

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

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 TreeAutomizer (CHC-COMP Tool Description)., , , , and . HCVS/PERR@ETAPS, volume 296 of EPTCS, page 42-47. (2019)Hanfor: Semantic Requirements Review at Scale., , , , , , and . REFSQ Workshops, volume 2857 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)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)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)Ready for testing: ensuring conformance to industrial standards through formal verification., , , , , and . Formal Aspects Comput., 28 (3): 499-527 (2016)Source-Level Bitwise Branching for Temporal Verification of Lifted Binaries., , , , , , and . CoRR, (2021)Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages., , , , and . CoRR, (2019)Towards successful subcontracting for software in small to medium-sized enterprises., , , , , , , , and . RELAW, page 42-51. IEEE Computer Society, (2012)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)