conf.researchr.org / Georg Weissenbacher
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

SPIN 2021 TU Wien in Programming Committee within the SPIN-track
VMCAI 2020 Author of Language Inclusion for Finite Prime Event Structures within the VMCAI 2020-track
SPIN 2019 Author of Extracting Safe Thread Schedules from Incomplete Model Checking Results within the 26th International SPIN Symposium on Model Checking of Software-track
SPLASH 2018 Author of Randomized Testing of Distributed Systems with Probabilistic Guarantees within the OOPSLA-track
VMCAI 2017 Author of Dynamic Reductions for Model Checking Concurrent Software. within the VMCAI-track