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

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