Follow
Josef Widder
Title
Cited by
Cited by
Year
Decidability in parameterized verification
R Bloem, S Jacobs, A Khalimov, I Konnov, S Rubin, H Veith, J Widder
ACM SIGACT News 47 (2), 53-64, 2016
1922016
A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms
I Konnov, M Lazić, H Veith, J Widder
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
802017
Parameterized model checking of fault-tolerant distributed algorithms by abstraction
A John, I Konnov, U Schmid, H Veith, J Widder
2013 Formal Methods in Computer-Aided Design, 201-209, 2013
772013
Tolerating corrupted communication
M Biely, J Widder, B Charron-Bost, A Gaillard, M Hutle, A Schiper
Proceedings of the twenty-sixth annual ACM symposium on Principles of …, 2007
742007
A logic-based framework for verifying consensus algorithms
C Drăgoi, TA Henzinger, H Veith, J Widder, D Zufferey
Verification, Model Checking, and Abstract Interpretation: 15th …, 2014
712014
The Theta-Model: achieving synchrony without clocks
J Widder, U Schmid
Distributed Computing 22 (1), 29-47, 2009
57*2009
On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability
I Konnov, H Veith, J Widder
Information and Computation 252, 95-109, 2017
562017
SMT and POR beat counter abstraction: Parameterized model checking of threshold-based distributed algorithms
I Konnov, H Veith, J Widder
International Conference on Computer Aided Verification, 85-102, 2015
442015
Towards modeling and model checking fault-tolerant distributed algorithms
A John, I Konnov, U Schmid, H Veith, J Widder
Model Checking Software: 20th International Symposium, SPIN 2013, Stony …, 2013
442013
ByMC: Byzantine model checker
I Konnov, J Widder
International Symposium on Leveraging Applications of Formal Methods, 327-342, 2018
422018
Booting clock synchronization in partially synchronous systems with hybrid process and link failures
J Widder, U Schmid
Distributed Computing 20 (2), 115-140, 2007
412007
Booting clock synchronization in partially synchronous systems
J Widder
International Symposium on Distributed Computing, 121-135, 2003
352003
Synthesis of distributed algorithms with parameterized threshold guards
M Lazic, I Konnov, J Widder, R Bloem
21st International Conference on Principles of Distributed Systems (OPODIS 2017), 2018
342018
Failure detection with booting in partially synchronous systems
J Widder, G Le Lann, U Schmid
European Dependable Computing Conference, 20-37, 2005
342005
Communication-closed asynchronous protocols
A Damian, C Drăgoi, A Militaru, J Widder
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
312019
Distributed computing in the presence of bounded asynchrony
J Widder
Technische Universität Wien, 2004
312004
Parameterized model checking of synchronous distributed algorithms by abstraction
B Aminof, S Rubin, I Stoilkovska, J Widder, F Zuleger
Verification, Model Checking, and Abstract Interpretation: 19th …, 2018
302018
On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability
I Konnov, H Veith, J Widder
CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 2014
292014
On the possibility and the impossibility of message-driven self-stabilizing failure detection
M Hutle, J Widder
Symposium on Self-Stabilizing Systems, 153-170, 2005
292005
Verifying safety of synchronous fault-tolerant algorithms by bounded model checking
I Stoilkovska, I Konnov, J Widder, F Zuleger
International Journal on Software Tools for Technology Transfer 24 (1), 33-48, 2022
272022
The system can't perform the operation now. Try again later.
Articles 1–20