Georg Weissenbacher
Technische Universität Wien
H-index: 21
Europe-Austria
Top articles of Georg Weissenbacher
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Finding counterexamples to∀∃ hyperproperties | Tobias Nießen Georg Weissenbacher | 2024/1/16 | |
A Formalization of Heisenbugs and Their Causes | Sarah Sallinger Georg Weissenbacher Florian Zuleger | 2023/10/31 | |
Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification | Formal Methods in System Design | Thomas Pani Georg Weissenbacher Florian Zuleger | 2023/10/6 |
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design–FMCAD 2023 | Alexander Nadel Kristin Yvonne Rozier | 2023 | |
Bounded model checking of speculative non-interference | Emmanuel Pescosta Georg Weissenbacher Florian Zuleger | 2021/11/1 | |
Model checking AUTOSAR components with CBMC | Timothee Durand Katalin Fazekas Georg Weissenbacher Jakob Zwirchmayr | 2021/10/19 | |
Preface of the special issue on the Conference on Formal Methods in Computer-Aided Design 2017 | Formal Methods in System Design | Daryl Stewart Georg Weissenbacher | 2021/9/1 |
Rely-guarantee bound analysis of parameterized concurrent shared-memory programs: With an application to proving that non-blocking algorithms are bounded lock-free | Formal Methods in System Design | Thomas Pani Georg Weissenbacher Florian Zuleger | 2021/8 |
Mutation testing with hyperproperties | Software and Systems Modeling | Andreas Fellner Mitra Tabaei Befrouei Georg Weissenbacher | 2021/4 |
Extracting safe thread schedules from incomplete model checking results | International Journal on Software Tools for Technology Transfer | Patrick Metzler Neeraj Suri Georg Weissenbacher | 2020/10 |
Multi-linear strategy extraction for QBF expansion proofs via local soundness | Matthias Schlaipfer Friedrich Slivovsky Georg Weissenbacher Florian Zuleger | 2020/6/26 | |
Thread-modular counter abstraction for parameterized program safety | Thomas Pani Georg Weissenbacher Florian Zuleger | 2020 | |
RAT Elimination. | Adrián Rebola-Pardo Georg Weissenbacher | 2020 | |
Language inclusion for finite prime event structures | Andreas Fellner Thorsten Tarrach Georg Weissenbacher | 2020 |