Josef Widder - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

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

Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking

MeTRiD

Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries

TACAS

Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking

Show activities from other conferences

ETAPS 2019-profile
View general profile