Georg Weissenbacher -

Registered user since Tue 27 Oct 2020

Name:Georg Weissenbacher

Country:Austria

Affiliation:TU Wien

Personal website: http://www.georg.weissenbacher.science

Research interests:Formal Methods

Contributions

2024

SPLASH

Author of Finding ∀∃ Hyperbugs Using Symbolic Execution within the OOPSLA 2024-track

Formal Methods for Incorrectness

Author of Finding counterexamples to ∀∃ hyperproperties within the Incorrectness-track

2021

SPIN

TU Wien in Programming Committee within the SPIN-track

2020

VMCAI

Author of Language Inclusion for Finite Prime Event Structures within the VMCAI 2020-track

2019

SPIN

Author of Extracting Safe Thread Schedules from Incomplete Model Checking Results within the 26th International SPIN Symposium on Model Checking of Software-track

2018

SPLASH

Author of Randomized Testing of Distributed Systems with Probabilistic Guarantees within the OOPSLA-track

2017

VMCAI

Author of Dynamic Reductions for Model Checking Concurrent Software. within the VMCAI-track