Josef Widder

发表

Who is afraid of Model Checking Distributed Algorithms

Helmut Veith, Igor Konnov, Josef Widder, 2012 .

Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms

Helmut Veith, Ulrich Schmid, Igor Konnov, 2013, SPIN.

Routing without ordering

Jennifer L. Welch, Bernadette Charron-Bost, Josef Widder, 2009, SPAA '09.

Reducing asynchrony to synchronized rounds pdf

Josef Widder, Cezara Dragoi, Josef Widder, 2018, ArXiv.

Booting clock Synchronization in Partially Synchronous Systems

Josef Widder, Josef Widder, 2003, DISC.

In search of lost time

Bernadette Charron-Bost, Josef Widder, Martin Hutle, 2010, Inf. Process. Lett..

Parameterized model checking of fault-tolerant distributed algorithms by abstraction

Helmut Veith, Ulrich Schmid, Igor Konnov, 2013, FMCAD 2013.

Self-Stabilizing Failure Detector Algorithms

Josef Widder, Martin Hutle, Josef Widder, 2005, Parallel and Distributed Computing and Networks.

Programming at the edge of synchrony

Damien Zufferey, Josef Widder, Cezara Drăgoi, 2020, Proc. ACM Program. Lang..

Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper)

Igor Konnov, Josef Widder, Sean Braithwaite, 2020, FMBC@CAV.

A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms

Helmut Veith, Josef Widder, Igor V. Konnov, 2016, POPL.

Full Reversal Routing as a Linear Dynamical System

Matthias Függer, Jennifer L. Welch, Bernadette Charron-Bost, 2011, SIROCCO.

On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection

Josef Widder, Martin Hutle, Josef Widder, 2005, Self-Stabilizing Systems.

Partial is Full

Matthias Függer, Jennifer L. Welch, Bernadette Charron-Bost, 2011, SIROCCO.

Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms pdf

Helmut Veith, Ulrich Schmid, Igor Konnov, 2012, ArXiv.

Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction

Benjamin Aminof, Sasha Rubin, Florian Zuleger, 2018, VMCAI.

A Tendermint Light Client pdf

Igor Konnov, Josef Widder, Zarko Milosevic, 2020, ArXiv.

Consensus in the presence of mortal Byzantine faulty processes

Martin Biely, Josef Widder, Jean-Paul Blanquart, 2011, Distributed Computing.

Adaptive cluster growth: a new algorithm for circuit placement in rectilinear regions

Chong-Min Kyung, Josef Widder, Dieter A. Mlynski, 1992, Comput. Aided Des..

Implementing Reliable Distributed Real-Time Systems with the Theta-Model

Josef Widder, Jean-François Hermant, 2005, OPODIS.

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

Helmut Veith, Josef Widder, Igor V. Konnov, 2014, Inf. Comput..

Verifying safety of synchronous fault-tolerant algorithms by bounded model checking

Florian Zuleger, Igor Konnov, Josef Widder, 2019, International Journal on Software Tools for Technology Transfer.

Distributed value function approximation for multi-agent reinforcement learning

Dragan Savic, Josef Widder, Mladen Veinović, 2018 .

Communication-Closed Asynchronous Protocols

Josef Widder, Andrei Damian, Cezara Dragoi, 2019, CAV.

Formal Verification of Distributed Algorithms

Stephan Merz, Bernadette Charron-Bost, Josef Widder, 2013 .

Eliminating Message Counters in Synchronous Threshold Automata

Florian Zuleger, Igor Konnov, Josef Widder, 2021, VMCAI.

Optimal Message-Driven Implementation of Omega with Mute Processes

Martin Biely, Josef Widder, 2006, SSS.

Solvability-Based Comparison of Failure Detectors

Srikanth Sastry, Josef Widder, S. Sastry, 2014, 2014 IEEE 13th International Symposium on Network Computing and Applications.

Synchronous Consensus with Mortal Byzantines

Josef Widder, Jean-Paul Blanquart, Bettina Weiss, 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).

Booting clock synchronization in partially synchronous systems with hybrid process and link failures

Ulrich Schmid, Josef Widder, U. Schmid, 2007, Distributed Computing.

Brief announcement: full reversal routing as a linear dynamical system

Matthias Függer, Jennifer L. Welch, Bernadette Charron-Bost, 2011, SPAA '11.

Clock Synchronization in the Byzantine-Recovery Failure Model

Emmanuelle Anceaume, Carole Delporte-Gallet, Hugues Fauconnier, 2007, OPODIS.

32nd International Symposium on Distributed Computing, DISC 2018, New Orleans, LA, USA, October 15-19, 2018

Ulrich Schmid, Josef Widder, 2018, DISC.

Efficient Checking of Link-Reversal-Based Concurrent Systems

Matthias Függer, Josef Widder, 2012, CONCUR.

Verification of randomized consensus algorithms under round-rigid adversaries

Igor Konnov, Josef Widder, Nathalie Bertrand, 2019, International Journal on Software Tools for Technology Transfer.

Wait-Free Stabilizing Dining Using Regular Registers

Jennifer L. Welch, Srikanth Sastry, Josef Widder, 2012, OPODIS.

The Theta-Model: achieving synchrony without clocks

Ulrich Schmid, Josef Widder, U. Schmid, 2009, Distributed Computing.

Parameterized model checking of fault-tolerant distributed algorithms by abstraction

Helmut Veith, Ulrich Schmid, Igor Konnov, 2013, 2013 Formal Methods in Computer-Aided Design.

Optimal message-driven implementations of omega with mute processes

Martin Biely, Josef Widder, Josef Widder, 2009, TAAS.

Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141)

Stephan Merz, Bernadette Charron-Bost, Josef Widder, 2013, Dagstuhl Reports.

Tolerating corrupted communication

André Schiper, Martin Biely, Bernadette Charron-Bost, 2007, PODC '07.

An Efficient Test for a Transistion Signalling based Up-/Down-Counter

Andreas Steininger, Matthias Függer, Josef Widder, 2006 .

Tutorial: Parameterized Verification with Byzantine Model Checker

Igor Konnov, Josef Widder, Ilina Stoilkovska, 2020, FORTE.

Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries

Nathalie Bertrand, Josef Widder, Igor Konnov, 2018 .

SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms

Helmut Veith, Igor Konnov, Josef Widder, 2015, CAV.

ByMC: Byzantine Model Checker

Igor Konnov, Josef Widder, I. Konnov, 2018, ISoLA.

On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability

Helmut Veith, Igor Konnov, Josef Widder, 2014, CONCUR.

Failure Detection with Booting in Partially Synchronous Systems

Gérard Le Lann, Ulrich Schmid, Josef Widder, 2005, EDCC.

Adaptive cluster growth (ACG); a new algorithm for circuit packing in rectilinear region

Chong-Min Kyung, Josef Widder, Dieter A. Mlynski, 1990, Proceedings of the European Design Automation Conference, 1990., EDAC..

Challenges in Model Checking of Fault-tolerant Designs in TLA+

Helmut Veith, Igor Konnov, Josef Widder, 2015 .

Synthesis of Distributed Algorithms with Parameterized Threshold Guards

Igor Konnov, Josef Widder, Roderick Bloem, 2018, OPODIS.

Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker pdf

Igor Konnov, Josef Widder, Ilina Stoilkovska, 2020, ArXiv.

Reachability in Parameterized Systems: All Flavors of Threshold Automata

Igor Konnov, Josef Widder, Jure Kukovec, 2018, CONCUR.

Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms

Helmut Veith, Ulrich Schmid, Igor Konnov, 2014, SFM.

Eliminating Message Counters in Threshold Automata

Florian Zuleger, Igor Konnov, Josef Widder, 2020, ATVA.

A Reduction Theorem for Randomized Distributed Algorithms Under Weak Adversaries

Josef Widder, Nathalie Bertrand, Marijana Lazic, 2021, VMCAI.

Switching On: How to Boot Clock Synchronization in Partially Synchronous Systems

Josef Widder, Josef Widder, 2003 .

Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms

Luca Spalazzi, Josef Widder, Igor V. Konnov, 2017, VMCAI.

Link Reversal Routing with Binary Link Labels: Work Complexity

Jennifer L. Welch, Bernadette Charron-Bost, Josef Widder, 2013, SIAM J. Comput..

What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms

Helmut Veith, Josef Widder, Igor V. Konnov, 2015, Ershov Memorial Conference.

Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency

Martin Biely, Josef Widder, Lucia Draque Penso, 2007, SSS.

Tendermint Blockchain Synchronization: Formal Specification and Model Checking

Igor Konnov, Josef Widder, Sean Braithwaite, 2020, ISoLA.

Cutoffs for Symmetric Point-to-Point Distributed Algorithms

Igor Konnov, Josef Widder, Thanh-Hai Tran, 2020, NETYS.

Link Reversal: How to Play Better to Work Less

Jennifer L. Welch, Bernadette Charron-Bost, Josef Widder, 2009, ALGOSENSORS.

Para\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^2$$\end{document}2: parameterized path reduction, acceleration, a

Helmut Veith, Igor Konnov, Josef Widder, 2017, Formal Methods in System Design.

Distributed Computing in the Presence of Bounded Asynchrony

Josef Widder, 2004 .

Implementing reliable distributed real-time systems with the Θ-model

Josef Widder, Jean-Francois Hermant, 2006 .

A Logic-Based Framework for Verifying Consensus Algorithms

Thomas A. Henzinger, Helmut Veith, Damien Zufferey, 2014, VMCAI.

Switching On. How Processes Initialize for Consistent Broadcast

Josef Widder, Josef Widder, 2002 .

Network synchronization in the crash-recovery model

Felix C. Freiling, Josef Widder, Sven Henkel, 2006 .

Communication-Closed Layers as Paradigm for Distributed Systems: A Manifesto

Josef Widder, Cezara Drăgoi, Marijana Lazić, 2018 .

Brief announcement: on the possibility and the impossibility of message-driven self-stabilizing failure detection

Josef Widder, Martin Hutle, 2005, PODC '05.

Decidability of Parameterized Verification

Helmut Veith, Sasha Rubin, Igor Konnov, 2015, Synthesis Lectures on Distributed Computing Theory.

Time Complexity of Link Reversal Routing

Matthias Függer, Jennifer L. Welch, Bernadette Charron-Bost, 2015, ACM Trans. Algorithms.

Time Free Self-Stabilizing Local Failure Detection

Josef Widder, Martin Hutle, 2004 .

Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms pdf

Helmut Veith, Ulrich Schmid, Igor Konnov, 2012, ArXiv.

Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms

Nathalie Bertrand, Josef Widder, Bastien Thomas, 2021, CONCUR.

Verification of randomized consensus algorithms under round-rigid adversaries

Nathalie Bertrand, Josef Widder, Igor Konnov, 2021, Int. J. Softw. Tools Technol. Transf..

Verifying safety of synchronous fault-tolerant algorithms by bounded model checking

Florian Zuleger, Josef Widder, Igor Konnov, 2021, International Journal on Software Tools for Technology Transfer.

A Case Study on Parametric Verification of Failure Detectors pdf

Josef Widder, Igor Konnov, Thanh-Hai Tran, 2021, FORTE.

Correction to: Verification of randomized consensus algorithms under round-rigid adversaries

Nathalie Bertrand, Josef Widder, Igor Konnov, 2021 .

Achieving Synchrony without Clocks

Ulrich Schmid, Josef Widder, U. Schmid, 2008 .