conf.researchr.org / Georg Weissenbacher

Not registered as user yet

Name: Georg Weissenbacher

Affiliation: Technische Universität Wien

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

Contributions

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