Daniel Drodt

Orcid: 0000-0003-3036-8220

According to our database¹, Daniel Drodt authored at least 5 papers between 2024 and 2026.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

A New Interaction Concept for Interactive and Autoactive Program Verification.

[BibT_eX]

[DOI]

Wolfram Pfeifer

Mattias Ulbrich

Daniel Drodt

CoRR, May, 2026

RustyDL: A Program Logic for Rust.

[BibT_eX]

[DOI]

Daniel Drodt

Reiner Hähnle

CoRR, February, 2026

Rust yDL: A Program Logic for Rust.

[BibT_eX]

[DOI]

Daniel Drodt

Reiner Hähnle

Proceedings of the Formal Methods - 27th International Symposium, 2026

2024

The Java Verification Tool KeY: A Tutorial.

[BibT_eX]

[DOI]

Dataset, June, 2024

The Java Verification Tool KeY:A Tutorial.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 26th International Symposium, 2024

Daniel Drodt

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...