Stefan Zetzsche
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2023–2025
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICST | Compiler Fuzzing in Continuous Integration: A Case Study on Dafny. | Karnbongkot Boonriong, Stefan Zetzsche, Alastair F. Donaldson |
| 2024 | ICTAC | Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny. | Stefan Zetzsche, Wojciech Rozowski |
| 2023 | CALCO | Generators and Bases for Monadic Closures. | Stefan Zetzsche, Alexandra Silva, Matteo Sammartino |