Scholar
Wolfgang Ahrendt
Google Scholar ID: rFuqP-8AAAAJ
Professor of Computer Science, Chalmers University of Technology
Software Verification
Formal Methods
Theorem Proving
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
1,005
H-index
15
i10-index
22
Publications
20
Co-authors
10
list available
Publications
2 items
Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
2025
Cited
0
HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts
International Conference on Automated Software Engineering · 2023
Cited
1
Co-authors
4 total
Reiner Hähnle
Professor of Computer Science, Technical University of Darmstadt
Philipp Ruemmer
Professor in Computer Science, University of Regensburg
Peter Baumgartner
Data61|CSIRO
Silvio Ranise
FBK
