Edit Profile (opens in new tab) Widder, Josef Co-Author Distance Author ID: widder.josef Published as: Widder, Josef; Widder, J. External Links: ORCID Documents Indexed: 33 Publications since 1992, including 1 Book 1 Contribution as Editor Software Indexed: 1 Package Co-Authors: 37 Co-Authors with 33 Joint Publications 593 Co-Co-Authors all top 5 Co-Authors 1 single-authored 17 Konnov, Igor Vladimirovich 9 Veith, Helmut 7 Lazić, Marijana 4 Bertrand, Nathalie 4 Charron-Bost, Bernadette 4 Schmid, Ulrich 4 Stoilkovska, Ilina 3 Hutle, Martin 3 Zuleger, Florian 2 Biely, Martin 2 Bloem, Roderick 2 Dragoi, Cezara 2 Függer, Matthias 2 Gaillard, Antoine 2 Rubin, Sasha 2 Welch, Jennifer Lundelius 1 Aminof, Benjamin 1 Blanquart, Jean-Paul 1 Damian, Andrei 1 Gmeiner, Annu 1 Gramoli, Vincent 1 Gridling, Günther 1 Henzinger, Thomas A. 1 Jacobs, Swen 1 Khalimov, Ayrat 1 Kukovec, Jure 1 Kyung, C. M. 1 Militaru, Alexandru 1 Mlynski, Dieter A. 1 Schiper, André 1 Spalazzi, Luca 1 Spegni, Francesco 1 Tholoniat, Pierre 1 Thomas, Bastien 1 Tran, Thanh-Hai 1 Weiss, Bettina 1 Zufferey, Damien all top 5 Serials 3 Distributed Computing 2 Logical Methods in Computer Science 1 Information Processing Letters 1 SIAM Journal on Computing 1 Information and Computation 1 CAD. Computer-Aided Design 1 Formal Methods in System Design 1 ACM Transactions on Algorithms 1 LIPIcs – Leibniz International Proceedings in Informatics 1 Synthesis Lectures on Distributed Computing Theory Fields 34 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 29 Publications have been cited 221 times in 99 Documents Cited by ▼ Year ▼ Decidability of parameterized verification. Zbl 1400.68006 Bloem, Roderick; Jacobs, Swen; Khalimov, Ayrat; Konnov, Igor; Rubin, Sasha; Veith, Helmut; Widder, Josef 46 2015 Tolerating corrupted communication. Zbl 1283.68079 Biely, Martin; Widder, Josef; Charron-Bost, Bernadette; Gaillard, Antoine; Hutle, Martin; Schiper, André 17 2007 A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms. Zbl 1380.68278 Konnov, Igor; Lazić, Marijana; Veith, Helmut; Widder, Josef 16 2017 A logic-based framework for verifying consensus algorithms. Zbl 1428.68371 Drăgoi, Cezara; Henzinger, Thomas A.; Veith, Helmut; Widder, Josef; Zufferey, Damien 15 2014 SMT and POR beat counter abstraction: parameterized model checking of threshold-based distributed algorithms. Zbl 1381.68172 Konnov, Igor; Veith, Helmut; Widder, Josef 12 2015 On the completeness of bounded model checking for threshold-based distributed algorithms: reachability. Zbl 1355.68176 Konnov, Igor; Veith, Helmut; Widder, Josef 11 2017 The Theta-Model: achieving synchrony without clocks. Zbl 1267.68159 Widder, Josef; Schmid, Ulrich 10 2009 Tutorial on parameterized model checking of fault-tolerant distributed algorithms. Zbl 1445.68133 Gmeiner, Annu; Konnov, Igor; Schmid, Ulrich; Veith, Helmut; Widder, Josef 9 2014 Booting clock synchronization in partially synchronous systems with hybrid process and link failures. Zbl 1266.68124 Widder, Josef; Schmid, Ulrich 9 2007 On the completeness of bounded model checking for threshold-based distributed algorithms: reachability. Zbl 1417.68136 Konnov, Igor; Veith, Helmut; Widder, Josef 8 2014 On the possibility and the impossibility of message-driven self-stabilizing failure detection. Zbl 1172.68365 Hutle, Martin; Widder, Josef 7 2005 Synthesis of distributed algorithms with parameterized threshold guards. Zbl 1487.68252 Lazić, Marijana; Konnov, Igor; Widder, Josef; Bloem, Roderick 7 2018 What you always wanted to know about model checking of fault-tolerant distributed algorithms. Zbl 1461.68115 Konnov, Igor; Veith, Helmut; Widder, Josef 7 2016 \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. Zbl 1380.68279 Konnov, Igor; Lazić, Marijana; Veith, Helmut; Widder, Josef 5 2017 Parameterized model checking of synchronous distributed algorithms by abstraction. Zbl 1446.68086 Aminof, Benjamin; Rubin, Sasha; Stoilkovska, Ilina; Widder, Josef; Zuleger, Florian 5 2018 Reachability in parameterized systems: all flavors of threshold automata. Zbl 1520.68062 Kukovec, Jure; Konnov, Igor; Widder, Josef 5 2018 Verification of randomized consensus algorithms under round-rigid adversaries. Zbl 07649941 Bertrand, Nathalie; Konnov, Igor; Lazić, Marijana; Widder, Josef 5 2019 In search of lost time. Zbl 1379.68022 Charron-Bost, Bernadette; Hutle, Martin; Widder, Josef 4 2010 Communication-closed asynchronous protocols. Zbl 1533.68148 Damian, Andrei; Drăgoi, Cezara; Militaru, Alexandru; Widder, Josef 4 2019 Consensus in the presence of mortal Byzantine faulty processes. Zbl 1255.68043 Widder, Josef; Biely, Martin; Gridling, Günther; Weiss, Bettina; Blanquart, Jean-Paul 3 2012 Booting clock synchronization in partially synchronous systems. Zbl 1180.68070 Widder, Josef 3 2003 Accuracy of message counting abstraction in fault-tolerant distributed algorithms. Zbl 1484.68321 Konnov, Igor; Widder, Josef; Spegni, Francesco; Spalazzi, Luca 3 2017 Time complexity of link reversal routing. Zbl 1398.68052 Charron-Bost, Bernadette; Függer, Matthias; Welch, Jennifer L.; Widder, Josef 2 2015 Eliminating message counters in synchronous threshold automata. Zbl 1472.68094 Stoilkovska, Ilina; Konnov, Igor; Widder, Josef; Zuleger, Florian 2 2021 Eliminating message counters in threshold automata. Zbl 1517.68216 Stoilkovska, Ilina; Konnov, Igor; Widder, Josef; Zuleger, Florian 2 2020 Link reversal routing with binary link labels: work complexity. Zbl 1271.68243 Charron-Bost, Bernadette; Gaillard, Antoine; Welch, Jennifer L.; Widder, Josef 1 2013 A reduction theorem for randomized distributed algorithms under weak adversaries. Zbl 1472.68083 Bertrand, Nathalie; Lazić, Marijana; Widder, Josef 1 2021 A case study on parametric verification of failure detectors. Zbl 07667090 Tran, Thanh-Hai; Konnov, Igor; Widder, Josef 1 2023 Survey on parameterized verification with threshold automata and the Byzantine Model Checker. Zbl 07667095 Konnov, Igor; Lazić, Marijana; Stoilkovska, Ilina; Widder, Josef 1 2023 A case study on parametric verification of failure detectors. Zbl 07667090 Tran, Thanh-Hai; Konnov, Igor; Widder, Josef 1 2023 Survey on parameterized verification with threshold automata and the Byzantine Model Checker. Zbl 07667095 Konnov, Igor; Lazić, Marijana; Stoilkovska, Ilina; Widder, Josef 1 2023 Eliminating message counters in synchronous threshold automata. Zbl 1472.68094 Stoilkovska, Ilina; Konnov, Igor; Widder, Josef; Zuleger, Florian 2 2021 A reduction theorem for randomized distributed algorithms under weak adversaries. Zbl 1472.68083 Bertrand, Nathalie; Lazić, Marijana; Widder, Josef 1 2021 Eliminating message counters in threshold automata. Zbl 1517.68216 Stoilkovska, Ilina; Konnov, Igor; Widder, Josef; Zuleger, Florian 2 2020 Verification of randomized consensus algorithms under round-rigid adversaries. Zbl 07649941 Bertrand, Nathalie; Konnov, Igor; Lazić, Marijana; Widder, Josef 5 2019 Communication-closed asynchronous protocols. Zbl 1533.68148 Damian, Andrei; Drăgoi, Cezara; Militaru, Alexandru; Widder, Josef 4 2019 Synthesis of distributed algorithms with parameterized threshold guards. Zbl 1487.68252 Lazić, Marijana; Konnov, Igor; Widder, Josef; Bloem, Roderick 7 2018 Parameterized model checking of synchronous distributed algorithms by abstraction. Zbl 1446.68086 Aminof, Benjamin; Rubin, Sasha; Stoilkovska, Ilina; Widder, Josef; Zuleger, Florian 5 2018 Reachability in parameterized systems: all flavors of threshold automata. Zbl 1520.68062 Kukovec, Jure; Konnov, Igor; Widder, Josef 5 2018 A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms. Zbl 1380.68278 Konnov, Igor; Lazić, Marijana; Veith, Helmut; Widder, Josef 16 2017 On the completeness of bounded model checking for threshold-based distributed algorithms: reachability. Zbl 1355.68176 Konnov, Igor; Veith, Helmut; Widder, Josef 11 2017 \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. Zbl 1380.68279 Konnov, Igor; Lazić, Marijana; Veith, Helmut; Widder, Josef 5 2017 Accuracy of message counting abstraction in fault-tolerant distributed algorithms. Zbl 1484.68321 Konnov, Igor; Widder, Josef; Spegni, Francesco; Spalazzi, Luca 3 2017 What you always wanted to know about model checking of fault-tolerant distributed algorithms. Zbl 1461.68115 Konnov, Igor; Veith, Helmut; Widder, Josef 7 2016 Decidability of parameterized verification. Zbl 1400.68006 Bloem, Roderick; Jacobs, Swen; Khalimov, Ayrat; Konnov, Igor; Rubin, Sasha; Veith, Helmut; Widder, Josef 46 2015 SMT and POR beat counter abstraction: parameterized model checking of threshold-based distributed algorithms. Zbl 1381.68172 Konnov, Igor; Veith, Helmut; Widder, Josef 12 2015 Time complexity of link reversal routing. Zbl 1398.68052 Charron-Bost, Bernadette; Függer, Matthias; Welch, Jennifer L.; Widder, Josef 2 2015 A logic-based framework for verifying consensus algorithms. Zbl 1428.68371 Drăgoi, Cezara; Henzinger, Thomas A.; Veith, Helmut; Widder, Josef; Zufferey, Damien 15 2014 Tutorial on parameterized model checking of fault-tolerant distributed algorithms. Zbl 1445.68133 Gmeiner, Annu; Konnov, Igor; Schmid, Ulrich; Veith, Helmut; Widder, Josef 9 2014 On the completeness of bounded model checking for threshold-based distributed algorithms: reachability. Zbl 1417.68136 Konnov, Igor; Veith, Helmut; Widder, Josef 8 2014 Link reversal routing with binary link labels: work complexity. Zbl 1271.68243 Charron-Bost, Bernadette; Gaillard, Antoine; Welch, Jennifer L.; Widder, Josef 1 2013 Consensus in the presence of mortal Byzantine faulty processes. Zbl 1255.68043 Widder, Josef; Biely, Martin; Gridling, Günther; Weiss, Bettina; Blanquart, Jean-Paul 3 2012 In search of lost time. Zbl 1379.68022 Charron-Bost, Bernadette; Hutle, Martin; Widder, Josef 4 2010 The Theta-Model: achieving synchrony without clocks. Zbl 1267.68159 Widder, Josef; Schmid, Ulrich 10 2009 Tolerating corrupted communication. Zbl 1283.68079 Biely, Martin; Widder, Josef; Charron-Bost, Bernadette; Gaillard, Antoine; Hutle, Martin; Schiper, André 17 2007 Booting clock synchronization in partially synchronous systems with hybrid process and link failures. Zbl 1266.68124 Widder, Josef; Schmid, Ulrich 9 2007 On the possibility and the impossibility of message-driven self-stabilizing failure detection. Zbl 1172.68365 Hutle, Martin; Widder, Josef 7 2005 Booting clock synchronization in partially synchronous systems. Zbl 1180.68070 Widder, Josef 3 2003 all cited Publications top 5 cited Publications all top 5 Cited by 172 Authors 17 Widder, Josef 16 Konnov, Igor Vladimirovich 12 Schmid, Ulrich 7 Esparza, Javier 7 Lazić, Marijana 6 Veith, Helmut 5 Raskin, Mikhail 4 Balasubramanian, A. R. 4 Bertrand, Nathalie 4 Biely, Martin 4 Bozga, Marius 4 Függer, Matthias 4 Iosif, Radu 4 Jacobs, Swen 4 Zuleger, Florian 3 Aminof, Benjamin 3 Chatterjee, Krishnendu 3 Dolev, Danny 3 Ghilardi, Silvio 3 Henzinger, Thomas A. 3 Kukovec, Jure 3 Meyer, Roland 3 Nowak, Thomas 3 Pagani, Elena 3 Rubin, Sasha 3 Sifakis, Joseph 3 Spegni, Francesco 3 Welzel, Christoph 2 Abdulla, Parosh Aziz 2 Alberti, Francesco 2 Bollig, Benedikt 2 Bonakdarpour, Borzoo 2 Bravo, Manuel 2 Charron-Bost, Bernadette 2 Chockler, Gregory V. 2 Cimatti, Alessandro 2 Faghih, Fathiyeh 2 Godbole, Adwait Amit 2 Gotsman, Alexey 2 Griggio, Alberto 2 Lenzen, Christoph 2 McMillan, Kenneth L. 2 Mirzaie, Nahal 2 Otop, Jan 2 Redondi, Gianluca 2 Sastry, Srikanth 2 Schiller, Elad Michael 2 Spalazzi, Luca 2 Stoilkovska, Ilina 2 Tran, Thanh-Hai 2 Weiss, Bettina 2 Zimmermann, Martin 1 Aiswarya, Cyriac 1 Alistarh, Dan 1 Atig, Mohamad Faouzi 1 Attie, Paul C. 1 Bérard, Béatrice 1 Blanquart, Jean-Paul 1 Bloem, Roderick 1 Bonnet, François 1 Bouyer, Patricia 1 Brázdil, Tomáš 1 Bueri, Lucas 1 Chakraborty, Soham 1 Chini, Peter 1 Conchon, Sylvain 1 Conrejo, Alejandro 1 Correia, Miguel V. 1 Cristiá, Maximiliano 1 Daliot, Ariel 1 De Nicola, Rocco 1 Delzanno, Giorgio 1 Di Stefano, Luca 1 Doan, Ha Thi Thu 1 Dolev, Shlomi 1 Doucet, Frederic 1 Dragoi, Cezara 1 Dworzański, Leonid W. 1 Eugster, Patrick Th. 1 Ferrando, Angelo 1 Fruzsa, Krisztina 1 Furbach, Florian 1 Gastin, Paul 1 Gilbert, Seth 1 Gmeiner, Annu 1 Gramoli, Vincent 1 Gridling, Günther 1 Guerraoui, Rachid 1 Hague, Matthew 1 Hendi, Yacoub G. 1 Hoenicke, Jochen 1 Huang, Ji 1 Hutle, Martin 1 Inverso, Omar 1 Jaax, Stefan 1 Jaber, Nouraldin 1 Jiménez, Ernesto 1 Kat, Ronen I. 1 Kotek, Tomer 1 Kozhaya, David ...and 72 more Authors all top 5 Cited in 20 Serials 12 Distributed Computing 6 Theoretical Computer Science 5 Formal Methods in System Design 4 Information and Computation 4 Logical Methods in Computer Science 3 Journal of Computer and System Sciences 2 Artificial Intelligence 2 Journal of Automated Reasoning 2 Fundamenta Informaticae 1 Acta Informatica 1 Discrete Applied Mathematics 1 Linear and Multilinear Algebra 1 Computing 1 Algorithmica 1 Formal Aspects of Computing 1 International Journal of Adaptive Control and Signal Processing 1 International Journal of Foundations of Computer Science 1 Journal of the ACM 1 ACM Transactions on Computational Logic 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 10 Fields 96 Computer science (68-XX) 14 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 1 General and overarching topics; collections (00-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Probability theory and stochastic processes (60-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) Citations by Year