E-LIB Suche - Ergebnisse für: Dietsch, Daniel

1

Ultimate Automizer and the Abstraction of Bitwise Operation..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Schüssele, Frank ; Bentele, Manuel ; Dietsch, Daniel... - p. 418-423 , 2024

Link: https://doi.org/10.1007/..

2

Ultimate TestGen: Test-Case Generation with Automata-based ..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Barth, Max ; Dietsch, Daniel ; Heizmann, Matthias. - p. 326-330 , 2024

Link: https://doi.org/10.1007/..

3

Ultimate Taipan and Race Detection in Ultimate: (Competitio..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Dietsch, Daniel ; Heizmann, Matthias ; Klumpp, Dominik.. - p. 582-587 , 2023

Link: https://doi.org/10.1007/..

4

Ultimate Automizer and the CommuHash Normal Form: (Competit..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Heizmann, Matthias ; Barth, Max ; Dietsch, Daniel... - p. 577-581 , 2023

Link: https://doi.org/10.1007/..

5

Ultimate GemCutter and the Axes of Generalization: (Competi..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Klumpp, Dominik ; Dietsch, Daniel ; Heizmann, Matthias... - p. 479-483 , 2022

Link: https://doi.org/10.1007/..

6

Verification Witnesses:

Beyer, Dirk ; Dangl, Matthias ; Dietsch, Daniel...
ACM Transactions on Software Engineering and Methodology. 31 (2022) 4 - p. 1-69 , 2022

Link: https://doi.org/10.1145/..

7

Verification of Concurrent Programs Using Petri Net Unfoldi..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Dietsch, Daniel ; Heizmann, Matthias ; Klumpp, Dominik... - p. 174-195 , 2021

Link: https://doi.org/10.1007/..

8

Proving LTL Properties of Bitvector Programs and Decompiled..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Liu, Yuandong Cyrus ; Pang, Chengbin ; Dietsch, Daniel... - p. 285-304 , 2021

Link: https://doi.org/10.1007/..

9

Separating Map Variables in a Logic-Based Intermediate Veri..:

, In: Networked Systems; Lecture Notes in Computer Science,

Dietsch, Daniel ; Heizmann, Matthias ; Hoenicke, Jochen.. - p. 169-186 , 2021

Link: https://doi.org/10.1007/..

10

Formal Requirements in an Informal World:

, In: 2020 IEEE Workshop on Formal Requirements (FORMREQ),

Dietsch, Daniel ; Langenfeld, Vincent ; Westphal, Bernd - p. 14-20 , 2020

Link: https://doi.org/10.1109/..

11

Ultimate Taipan with Symbolic Interpretation and Fluid Abst..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Dietsch, Daniel ; Heizmann, Matthias ; Nutz, Alexander.. - p. 418-422 , 2020

Link: https://doi.org/10.1007/..

12

Ultimate Automizer and the Search for Perfect Interpolants:..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Heizmann, Matthias ; Chen, Yu-Fang ; Dietsch, Daniel... - p. 447-451 , 2018

Link: https://doi.org/10.1007/..

13

Incremental Verification Using Trace Abstraction:

, In: Static Analysis; Lecture Notes in Computer Science,

Rothenberg, Bat-Chen ; Dietsch, Daniel ; Heizmann, Matthias - p. 364-382 , 2018

Link: https://doi.org/10.1007/..

14

Ultimate Taipan with Dynamic Block Encoding: (Competition C..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Dietsch, Daniel ; Greitschus, Marius ; Heizmann, Matthias... - p. 452-456 , 2018

Link: https://doi.org/10.1007/..

15

The Map Equality Domain:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools, and Experiments,

Dietsch, Daniel ; Heizmann, Matthias ; Hoenicke, Jochen.. - p. 291-308 , 2018

Link: https://doi.org/10.1007/..