• Sign in
  • Sign up
conf.researchr.org / Georg Weissenbacher
  • ECOOP and ISSTA 2021 profile
  • ISSTA 2019 profile
  • POPL 2017 profile
  • POPL 2020 profile
  • SPLASH 2018 profile
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

Share
xMon 23 May 03:37
using conf.researchr.org (v1.55.6)
Support page
Sign Up