Georg Weißenbacher

TU Wien — Austria

Computer Science · Physical Sciences

17h-index1.4kcitations77works2.12yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(51), Software Testing and Debugging Techniques(43), Logic, programming, and type systems(21), Software Reliability and Analysis Research(15), Security and Verification in Computing(10)

Publications77 total

A formalization of Heisenbugs and their causes in terms of hyperproperties
Software & Systems Modeling·2026Open Access
Symbolic execution for refuting ∀∃ hyperproperties
Acta Informatica·2025Open Access
Finding ∀∃ Hyperbugs using Symbolic Execution
Proceedings of the ACM on Programming Languages·2024· 5 citedOpen Access
Verifying Global Two-Safety Properties in Neural Networks with Confidence
arXiv (Cornell University)·2024· 1 citedOpen Access
Statistical Profiling of Micro-Architectural Traces and Machine Learning for Spectre Detection: A Systematic Evaluation
2024· 2 cited
Verifying Global Two-Safety Properties in Neural Networks with Confidence
Lecture notes in computer science·2024· 5 citedOpen Access
Differential Property Monitoring for Backdoor Detection
Lecture notes in computer science·2024· 2 cited
Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification
Formal Methods in System Design·2023· 2 citedOpen Access
A Formalization of Heisenbugs and Their Causes
Lecture notes in computer science·2023· 5 cited
Bounded Model Checking of Speculative Non-Interference
2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD)·2021· 5 cited
Preface of the special issue on the conference on computer-aided verification 2018
Formal Methods in System Design·2021Open Access
Rely-guarantee bound analysis of parameterized concurrent shared-memory programs
Formal Methods in System Design·2021· 2 citedOpen Access
Preface of the special issue on the Conference on Formal Methods in Computer-Aided Design 2017
Formal Methods in System Design·2021· 1 citedOpen Access
Extracting safe thread schedules from incomplete model checking results
International Journal on Software Tools for Technology Transfer·2020· 1 citedOpen Access
RAT Elimination
EPiC series in computing·2020Open Access
Thread-modular Counter Abstraction for Parameterized Program Safety
reposiTUm (TU Wien)·2020Open Access
Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness
Lecture notes in computer science·2020· 4 citedOpen Access
Language Inclusion for Finite Prime Event Structures
Lecture notes in computer science·2020· 1 citedOpen Access
Model-Based Diagnosis with Multiple Observations
2019· 16 citedOpen Access
Extracting Safe Thread Schedules from Incomplete Model Checking Results
Zenodo (CERN European Organization for Nuclear Research)·2019Open Access
page 1 of 4Next →

Frequent Co-authors

Daniel Kroening(18), Sharad Malik(8), Charlie Shucheng Zhu(4), Mitra Tabaei Befrouei(4), Florian Zuleger(4), Vijay D’Silva(3), Henning Günther(3), Matthias Schlaipfer(3), Mitra Purandare(2), Matt Lewis(2), Andreas Fellner(2), Willibald Krenn(2), Rupert Schlick(2), Thorsten Tarrach(2), Alfons Laarman(2), Gérard Basler(2), Yakir Vizel(1), Thomas Witkowski(1), Nicolas Blanc(1), Angelo Brillout(1)