- Home
- About the University
- Find staff
- Wolfgang Ahrendt
Wolfgang Ahrendt
Assistant Professor
Formal Methods (FM)-
Model to mitigate: Using DCR graphs to prevent vulnerabilities in smart
contracts
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider
Journal of Logical and Algebraic Methods in Programming - 2026 -
Formalizing smart contract design patterns with DCR
graphs
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider
SOFTWARE AND SYSTEMS MODELING - 2026 -
Axiomatisation of Solidity Memory
and Storage
GUILHERME HORTA ALVARES DA SILVA, Wolfgang Ahrendt, Richard Bubel
Lecture Notes in Computer Science - 2026 -
AI Assisted Programming (AISoLA 2025 Track
Introduction)
Wolfgang Ahrendt, Bernhard K. Aichernig, Klaus Havelund
Lecture Notes in Computer Science - 2026 -
Smart contract denial-of-service analysis using non-blocking
verification
Nishant Parekh, Wolfgang Ahrendt, Martin Fabian
Discrete Event Dynamic Systems - 2025 -
The Many Uses of Dynamic
Logic
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
Go Where the Bugs Are: Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday - 2025