Josef Widder - RankMe

78 papers A* 5A 4B 21C 5Misc 1Journal 27Unranked 14

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	A case study on parametric verification of failure detectors. Log. Methods Comput. Sci. Thanh-Hai Tran, Igor Konnov, Josef Widder
2023	J	`jnl`	Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker. Log. Methods Comput. Sci. Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder
2022	A*	`conf`	Brief Announcement: Holistic Verification of Blockchain Consensus. PODC Nathalie Bertrand, Vincent Gramoli, Igor Konnov, Marijana Lazic, Pierre Tholoniat, Josef Widder
2022	A	`conf`	Holistic Verification of Blockchain Consensus. DISC Nathalie Bertrand, Vincent Gramoli, Igor Konnov, Marijana Lazic, Pierre Tholoniat, Josef Widder
2022	J	`jnl`	Holistic Verification of Blockchain Consensus. CoRR Nathalie Bertrand, Vincent Gramoli, Igor Konnov, Marijana Lazic, Pierre Tholoniat, Josef Widder
2022	—	`conf`	Revisiting Tendermint: Design Tradeoffs, Accountability, and Practical Use. DSN (Supplements) Ethan Buchman, Rachid Guerraoui, Jovan Komatovic, Zarko Milosevic, Dragos-Adrian Seredinschi, Josef Widder
2022	J	`jnl`	Verifying safety of synchronous fault-tolerant algorithms by bounded model checking. Int. J. Softw. Tools Technol. Transf. Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
2021	C	`conf`	A Case Study on Parametric Verification of Failure Detectors. FORTE Thanh-Hai Tran, Igor Konnov, Josef Widder
2021	B	`conf`	A Reduction Theorem for Randomized Distributed Algorithms Under Weak Adversaries. VMCAI Nathalie Bertrand, Marijana Lazic, Josef Widder
2021	J	`jnl`	A case study on parametric verification of failure detectors. CoRR Thanh-Hai Tran, Igor Konnov, Josef Widder
2021	J	`jnl`	Correction to: Verification of randomized consensus algorithms under round-rigid adversaries. Int. J. Softw. Tools Technol. Transf. Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder
2021	B	`conf`	Eliminating Message Counters in Synchronous Threshold Automata. VMCAI Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
2021	B	`conf`	Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms. CONCUR Nathalie Bertrand, Bastien Thomas, Josef Widder
2021	J	`jnl`	Verification of randomized consensus algorithms under round-rigid adversaries. Int. J. Softw. Tools Technol. Transf. Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder
2020	J	`jnl`	A Tendermint Light Client. CoRR Sean Braithwaite, Ethan Buchman, Ismail Khoffi, Igor Konnov, Zarko Milosevic, Romain Ruetschi, Josef Widder
2020	—	`conf`	Cutoffs for Symmetric Point-to-Point Distributed Algorithms. NETYS Thanh-Hai Tran, Igor Konnov, Josef Widder
2020	B	`conf`	Eliminating Message Counters in Threshold Automata. ATVA Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
2020	—	`conf`	Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper). FMBC@CAV Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir
2020	J	`jnl`	Programming at the edge of synchrony. Proc. ACM Program. Lang. Cezara Dragoi, Josef Widder, Damien Zufferey
2020	J	`jnl`	Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker. CoRR Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder
2020	—	`conf`	Tendermint Blockchain Synchronization: Formal Specification and Model Checking. ISoLA (1) Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir
2020	C	`conf`	Tutorial: Parameterized Verification with Byzantine Model Checker. FORTE Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder
2019	—	`conf`	Communication-Closed Asynchronous Protocols. CAV (2) Andrei Damian, Cezara Dragoi, Alexandru Militaru, Josef Widder
2019	B	`conf`	Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries. CONCUR Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder
2019	—	`conf`	Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking. TACAS (2) Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
2018	A	`ed.`	32nd International Symposium on Distributed Computing, DISC 2018, New Orleans, LA, USA, October 15-19, 2018 DISC Ulrich Schmid, Josef Widder
2018	—	`conf`	ByMC: Byzantine Model Checker. ISoLA (3) Igor Konnov, Josef Widder
2018	B	`conf`	Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction. VMCAI Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger
2018	B	`conf`	Reachability in Parameterized Systems: All Flavors of Threshold Automata. CONCUR Jure Kukovec, Igor Konnov, Josef Widder
2018	J	`jnl`	Reducing asynchrony to synchronized rounds. CoRR Cezara Dragoi, Josef Widder
2017	A*	`conf`	A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms. POPL Igor V. Konnov, Marijana Lazic, Helmut Veith, Josef Widder
2017	B	`conf`	Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms. VMCAI Igor V. Konnov, Josef Widder, Francesco Spegni, Luca Spalazzi
2017	J	`jnl`	On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability. Inf. Comput. Igor V. Konnov, Helmut Veith, Josef Widder
2017	J	`jnl`	Para Formal Methods Syst. Des. Igor Konnov, Marijana Lazic, Helmut Veith, Josef Widder
2017	B	`conf`	Synthesis of Distributed Algorithms with Parameterized Threshold Guards. OPODIS Marijana Lazic, Igor Konnov, Josef Widder, Roderick Bloem
2016	J	`jnl`	A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms. CoRR Igor Konnov, Marijana Lazic, Helmut Veith, Josef Widder
2016	J	`jnl`	Decidability in Parameterized Verification. SIGACT News Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
2015	—	`book`	Decidability of Parameterized Verification Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
2015	—	`conf`	SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms. CAV (1) Igor Konnov, Helmut Veith, Josef Widder
2015	J	`jnl`	Time Complexity of Link Reversal Routing. ACM Trans. Algorithms Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, Josef Widder
2015	—	`conf`	What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms. Ershov Memorial Conference Igor V. Konnov, Helmut Veith, Josef Widder
2014	B	`conf`	A Logic-Based Framework for Verifying Consensus Algorithms. VMCAI Cezara Dragoi, Thomas A. Henzinger, Helmut Veith, Josef Widder, Damien Zufferey
2014	B	`conf`	On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability. CONCUR Igor Konnov, Helmut Veith, Josef Widder
2014	B	`conf`	Solvability-Based Comparison of Failure Detectors. NCA Srikanth Sastry, Josef Widder
2014	J	`jnl`	Solvability-Based Comparison of Failure Detectors. CoRR Srikanth Sastry, Josef Widder
2014	—	`conf`	Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms. SFM Annu Gmeiner, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
2013	A*	`conf`	Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction. PODC Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
2013	J	`jnl`	Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141). Dagstuhl Reports Bernadette Charron-Bost, Stephan Merz, Andrey Rybalchenko, Josef Widder
2013	J	`jnl`	Link Reversal Routing with Binary Link Labels: Work Complexity. SIAM J. Comput. Bernadette Charron-Bost, Antoine Gaillard, Jennifer L. Welch, Josef Widder
2013	B	`conf`	Parameterized model checking of fault-tolerant distributed algorithms by abstraction. FMCAD Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
2013	—	`conf`	Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms. SPIN Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
2012	J	`jnl`	Consensus in the presence of mortal Byzantine faulty processes. Distributed Comput. Josef Widder, Martin Biely, Günther Gridling, Bettina Weiss, Jean-Paul Blanquart
2012	J	`jnl`	Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms CoRR Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
2012	B	`conf`	Efficient Checking of Link-Reversal-Based Concurrent Systems. CONCUR Matthias Függer, Josef Widder
2012	J	`jnl`	Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms CoRR Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
2012	B	`conf`	Wait-Free Stabilizing Dining Using Regular Registers. OPODIS Srikanth Sastry, Jennifer L. Welch, Josef Widder
2011	B	`conf`	Brief announcement: full reversal routing as a linear dynamical system. SPAA Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, Josef Widder
2011	B	`conf`	Full Reversal Routing as a Linear Dynamical System. SIROCCO Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, Josef Widder
2011	B	`conf`	Partial is Full. SIROCCO Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, Josef Widder
2010	J	`jnl`	In search of lost time. Inf. Process. Lett. Bernadette Charron-Bost, Martin Hutle, Josef Widder
2009	C	`conf`	Link Reversal: How to Play Better to Work Less. ALGOSENSORS Bernadette Charron-Bost, Jennifer L. Welch, Josef Widder
2009	J	`jnl`	Optimal message-driven implementations of omega with mute processes. ACM Trans. Auton. Adapt. Syst. Martin Biely, Josef Widder
2009	B	`conf`	Routing without ordering. SPAA Bernadette Charron-Bost, Antoine Gaillard, Jennifer L. Welch, Josef Widder
2009	J	`jnl`	The Theta-Model: achieving synchrony without clocks. Distributed Comput. Josef Widder, Ulrich Schmid
2007	J	`jnl`	Booting clock synchronization in partially synchronous systems with hybrid process and link failures. Distributed Comput. Josef Widder, Ulrich Schmid
2007	B	`conf`	Clock Synchronization in the Byzantine-Recovery Failure Model. OPODIS Emmanuelle Anceaume, Carole Delporte-Gallet, Hugues Fauconnier, Michel Hurfin, Josef Widder
2007	C	`conf`	Relating Stabilizing Timing Assumptions to Stabilizing Failure Detectors Regarding Solvability and Efficiency. SSS Martin Biely, Martin Hutle, Lucia Draque Penso, Josef Widder
2007	A	`conf`	Synchronous Consensus with Mortal Byzantines. DSN Josef Widder, Günther Gridling, Bettina Weiss, Jean-Paul Blanquart
2007	A*	`conf`	Tolerating corrupted communication. PODC Martin Biely, Josef Widder, Bernadette Charron-Bost, Antoine Gaillard, Martin Hutle, André Schiper
2006	C	`conf`	Optimal Message-Driven Implementation of Omega with Mute Processes. SSS Martin Biely, Josef Widder
2005	A*	`conf`	Brief announcement: on the possibility and the impossibility of message-driven self-stabilizing failure detection. PODC Martin Hutle, Josef Widder
2005	Misc	`conf`	Failure Detection with Booting in Partially Synchronous Systems. EDCC Josef Widder, Gérard Le Lann, Ulrich Schmid
2005	B	`conf`	Implementing Reliable Distributed Real-Time Systems with the OPODIS Jean-François Hermant, Josef Widder
2005	—	`conf`	On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection. Self-Stabilizing Systems Martin Hutle, Josef Widder
2005	—	`conf`	Self-Stabilizing Failure Detector Algorithms. Parallel and Distributed Computing and Networks Martin Hutle, Josef Widder
2003	A	`conf`	Booting clock Synchronization in Partially Synchronous Systems. DISC Josef Widder
1992	J	`jnl`	Adaptive cluster growth: a new algorithm for circuit placement in rectilinear regions. Comput. Aided Des. Chong-Min Kyung, Josef Widder, Dieter A. Mlynski
1990	—	`conf`	Adaptive Cluster Growth (ACG): a new algorithm for circuit packing in rectilinear region. EURO-DAC Chong-Min Kyung, Josef Widder, Dieter A. Mlynski