Scholar
Georg Weissenbacher
Google Scholar ID: 1KfaH-QAAAAJ
Professor of Computer Science, TU Wien
Automated verification
decision procedures
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,323
H-index
22
i10-index
34
Publications
20
Co-authors
42
list available
Publications
2 items
Differential Zonotopes for Verifying Global Robustness of DNNs
2026
Cited
0
Finding $forallexists$ Hyperbugs using Symbolic Execution
2025
Cited
0
Co-authors
10 total
Daniel Kroening
Amazon
Sharad Malik
Professor of Electrical and Computer Engineering, Princeton University
Vijay D'Silva
Google Inc.
Armin Biere
Professor of Computer Science, University of Freiburg
Florian Zuleger
Associate Professor, TU Wien
Philipp Ruemmer
Professor in Computer Science, University of Regensburg
Yakir Vizel
Technion
Rupak Majumdar
MPI for Software Systems
