Josef Widder
Orcid: 0000-0003-2795-611X
According to our database1,
Josef Widder
authored at least 68 papers
between 1990 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker.
Log. Methods Comput. Sci., 2023
2022
Proceedings of the 36th International Symposium on Distributed Computing, 2022
Proceedings of the PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25, 2022
Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022
2021
Correction to: Verification of randomized consensus algorithms under round-rigid adversaries.
Int. J. Softw. Tools Technol. Transf., 2021
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021
Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms.
Proceedings of the 32nd International Conference on Concurrency Theory, 2021
2020
Proceedings of the Networked Systems - 8th International Conference, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020
Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper).
Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020
Proceedings of the Automated Technology for Verification and Analysis, 2020
2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the 30th International Conference on Concurrency Theory, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2018
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
Proceedings of the 29th International Conference on Concurrency Theory, 2018
2017
Para<sup>2</sup>: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms.
Formal Methods Syst. Des., 2017
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017
A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Proceedings of the 21st International Conference on Principles of Distributed Systems, 2017
2016
2015
Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers, ISBN: 978-3-031-02011-7, 2015
What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms.
Proceedings of the Perspectives of System Informatics, 2015
SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014
Proceedings of the Formal Methods for Executable Software Models, 2014
Proceedings of the 2014 IEEE 13th International Symposium on Network Computing and Applications, 2014
On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014
2013
SIAM J. Comput., 2013
Dagstuhl Reports, 2013
Proceedings of the Model Checking Software - 20th International Symposium, 2013
Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013
Parameterized model checking of fault-tolerant distributed algorithms by abstraction.
Proceedings of the Formal Methods in Computer-Aided Design, 2013
2012
Distributed Comput., 2012
Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms
CoRR, 2012
CoRR, 2012
Proceedings of the Principles of Distributed Systems, 16th International Conference, 2012
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012
2011
Proceedings of the SPAA 2011: Proceedings of the 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2011
Proceedings of the Structural Information and Communication Complexity, 2011
Proceedings of the Structural Information and Communication Complexity, 2011
2010
2009
ACM Trans. Auton. Adapt. Syst., 2009
Proceedings of the SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2009
Proceedings of the Algorithmic Aspects of Wireless Sensor Networks, 2009
2007
Booting clock synchronization in partially synchronous systems with hybrid process and link failures.
Distributed Comput., 2007
Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency.
Proceedings of the Stabilization, 2007
Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007
Proceedings of the Principles of Distributed Systems, 11th International Conference, 2007
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007
2006
Proceedings of the Stabilization, 2006
2005
On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection.
Proceedings of the Self-Stabilizing Systems, 2005
Brief announcement: on the possibility and the impossibility of message-driven self-stabilizing failure detection.
Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, 2005
Self-Stabilizing Failure Detector Algorithms.
Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2005
Proceedings of the Principles of Distributed Systems, 9th International Conference, 2005
Proceedings of the Dependable Computing, 2005
2003
Proceedings of the Distributed Computing, 17th International Conference, 2003
1992
Adaptive cluster growth: a new algorithm for circuit placement in rectilinear regions.
Comput. Aided Des., 1992
1990
Adaptive Cluster Growth (ACG): a new algorithm for circuit packing in rectilinear region.
Proceedings of the European Design Automation Conference, 1990