Georg Weissenbacher
Scholar

Georg Weissenbacher

Google Scholar ID: 1KfaH-QAAAAJ
Professor of Computer Science, TU Wien
Automated verificationdecision procedures
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,323
 
H-index
22
 
i10-index
34
 
Publications
20
 
Co-authors
42
list available
Contact
No contact links provided.
Publications
2 items
Differential Zonotopes for Verifying Global Robustness of DNNs
2026
Cited
0
Finding $forallexists$ Hyperbugs using Symbolic Execution
2025
Cited
0
Resume (English only)
Co-authors
42 total
Daniel Kroening
Daniel Kroening
Amazon
Sharad Malik
Sharad Malik
Professor of Electrical and Computer Engineering, Princeton University
Vijay D'Silva
Vijay D'Silva
Google Inc.
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Florian Zuleger
Florian Zuleger
Associate Professor, TU Wien
Philipp Ruemmer
Philipp Ruemmer
Professor in Computer Science, University of Regensburg