Josef Widder -

Registered user since Fri 28 Oct 2016

Name:Josef Widder

Country:Austria

Affiliation:TU Wien

Personal website: http://forsyte.at/widder

Research interests:Distributed Algorithms, Parameterized Model Checking

Contributions

2019

ETAPS

Author of Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking within the Posters-track

MeTRiD

Speaker of Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries within the MeTRiD-track

TACAS

Author of Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking within the TACAS 2019-track

2018

VMCAI

Author of Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction within the VMCAI 2018-track

2017

POPL

Author of A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms within the POPL-track

VMCAI

Author of Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms within the VMCAI-track