Josef Widder

Decidability in Parameterized Verification

Roderick Bloem, Swen Jacobs, Ayrat Khalimov et al. · ACM SIGACT News · 2016 · 95 citations

Decision Procedure, Engineering, Automated Reasoning +13

Parameterized model checking of fault-tolerant distributed algorithms by abstraction

Annu John, Igor Konnov, Ulrich Schmid et al. · 2013 · 66 citations

Engineering, Verification, Computer-aided Verification +18

Tolerating corrupted communication

Martin Biely, Josef Widder, Bernadette Charron-Bost et al. · 2007 · 63 citations · Full text

Engineering, Error Control Technique, Information Security +16

On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability

Igor Konnov, Helmut Veith, Josef Widder · Information and Computation · 2016 · 46 citations · Full text

Engineering, Reachability Problem, Verification +20

The Theta-Model: achieving synchrony without clocks

Josef Widder, Ulrich Schmid · Distributed Computing · 2009 · 40 citations

Engineering, Synchronization Protocol, Achieving Synchrony +5