Wolfgang Ahrendt
Scholar

Wolfgang Ahrendt

Google Scholar ID: rFuqP-8AAAAJ
Professor of Computer Science, Chalmers University of Technology
Software VerificationFormal MethodsTheorem Proving
Google Scholar↗
Citations & Impact
All-time
Citations
1,005
 
H-index
15
 
i10-index
22
 
Publications
20
 
Co-authors
10
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
10 total
Reiner Hähnle
Reiner Hähnle
Professor of Computer Science, Technical University of Darmstadt
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Philipp Ruemmer
Philipp Ruemmer
Professor in Computer Science, University of Regensburg
Co-author 8
Co-author 8