Bases for algebras over a monad. - Stefan Zetzsche; Alexandra Silva 001; Matteo Sammartino (CoRR, 2020)

Canonical automata via distributive law homomorphisms. - Stefan Zetzsche; Gerco van Heerdt; Alexandra Silva 001; Matteo Sammartino (MFPS, 2021)

Guarded Kleene Algebra with Tests: Automata Learning. - Stefan Zetzsche; Alexandra Silva 001; Matteo Sammartino (MFPS, 2022)

Generators and Bases for Monadic Closures. - Stefan Zetzsche; Alexandra Silva 001; Matteo Sammartino (CALCO, 2023)

Canonical Algebraic Generators in Automata Learning. - Stefan Zetzsche (CoRR, 2023)

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny. - Stefan Zetzsche; Wojciech Rozowski (ICTAC, 2024)

Compiler Fuzzing in Continuous Integration: A Case Study on Dafny. - Karnbongkot Boonriong; Stefan Zetzsche; Alastair F. Donaldson (ICST, 2025)

Verified Foundations for Differential Privacy. - Markus de Medeiros; Muhammad Naveed; Tancrède Lepoint; Temesghen Kahsai; Tristan Ravitch; Stefan Zetzsche; Anjali Joshi; Joseph Tassarotti; Aws Albarghouthi; Jean-Baptiste Tristan (Proc. ACM Program. Lang., 2025)

Verifying the Fisher-Yates Shuffle Algorithm in Dafny. - Stefan Zetzsche; Jean-Baptiste Tristan; Tancrède Lepoint; Mikael Mayer (CoRR, 2025)

Dafny as Verification-Aware Intermediate Language for Code Generation. - Yue Chen Li; Stefan Zetzsche; Siva Somayyajula (CoRR, 2025)

CLEVER: A Curated Benchmark for Formally Verified Code Generation. - Amitayush Thakur; Jasper Lee; George Tsoukalas; Meghana Sistla; Matthew Zhao; Stefan Zetzsche; Greg Durrett; Yisong Yue; Swarat Chaudhuri (CoRR, 2025)