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: 31 Publications since 1992, including 1 Book 1 Contribution as Editor Co-Authors: 33 Co-Authors with 31 Joint Publications 546 Co-Co-Authors all top 5 Co-Authors 1 single-authored 16 Konnov, Igor V. 9 Veith, Helmut 6 Lazić, Marijana 4 Charron-Bost, Bernadette 4 Schmid, Ulrich 4 Stoilkovska, Ilina 3 Bertrand, Nathalie 3 Hutle, Martin 3 Zuleger, Florian 2 Biely, Martin 2 Bloem, Roderick 2 Függer, Matthias 2 Gaillard, Antoine 2 Rubin, Sasha 2 Welch, Jennifer Lundelius 1 Aminof, Benjamin 1 Blanquart, Jean-Paul 1 Dragoi, Cezara 1 Gmeiner, Annu 1 Gridling, Günther 1 Henzinger, Thomas A. 1 Jacobs, Swen 1 Khalimov, Ayrat 1 Kukovec, Jure 1 Kyung, C. M. 1 Mlynski, Dieter A. 1 Schiper, André 1 Spalazzi, Luca 1 Spegni, Francesco 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 all top 5 Fields 32 Computer science (68-XX) 2 Mathematical logic and foundations (03-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 27 Publications have been cited 173 times in 73 Documents Cited by ▼ Year ▼ Decidability of parameterized verification. Zbl 1400.68006Bloem, Roderick; Jacobs, Swen; Khalimov, Ayrat; Konnov, Igor; Rubin, Sasha; Veith, Helmut; Widder, Josef 32 2015 Tolerating corrupted communication. Zbl 1283.68079Biely, Martin; Widder, Josef; Charron-Bost, Bernadette; Gaillard, Antoine; Hutle, Martin; Schiper, André 13 2007 A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms. Zbl 1380.68278Konnov, Igor; Lazić, Marijana; Veith, Helmut; Widder, Josef 12 2017 A logic-based framework for verifying consensus algorithms. Zbl 1428.68371Drăgoi, Cezara; Henzinger, Thomas A.; Veith, Helmut; Widder, Josef; Zufferey, Damien 11 2014 SMT and POR beat counter abstraction: parameterized model checking of threshold-based distributed algorithms. Zbl 1381.68172Konnov, Igor; Veith, Helmut; Widder, Josef 10 2015 On the completeness of bounded model checking for threshold-based distributed algorithms: reachability. Zbl 1355.68176Konnov, Igor; Veith, Helmut; Widder, Josef 10 2017 On the completeness of bounded model checking for threshold-based distributed algorithms: reachability. Zbl 1417.68136Konnov, Igor; Veith, Helmut; Widder, Josef 8 2014 Tutorial on parameterized model checking of fault-tolerant distributed algorithms. Zbl 1445.68133Gmeiner, Annu; Konnov, Igor; Schmid, Ulrich; Veith, Helmut; Widder, Josef 8 2014 Booting clock synchronization in partially synchronous systems with hybrid process and link failures. Zbl 1266.68124Widder, Josef; Schmid, Ulrich 8 2007 Synthesis of distributed algorithms with parameterized threshold guards. Zbl 1487.68252Lazić, Marijana; Konnov, Igor; Widder, Josef; Bloem, Roderick 6 2018 On the possibility and the impossibility of message-driven self-stabilizing failure detection. Zbl 1172.68365Hutle, Martin; Widder, Josef 6 2005 The Theta-Model: achieving synchrony without clocks. Zbl 1267.68159Widder, Josef; Schmid, Ulrich 6 2009 Parameterized model checking of synchronous distributed algorithms by abstraction. Zbl 1446.68086Aminof, Benjamin; Rubin, Sasha; Stoilkovska, Ilina; Widder, Josef; Zuleger, Florian 5 2018 \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. Zbl 1380.68279Konnov, Igor; Lazić, Marijana; Veith, Helmut; Widder, Josef 5 2017 Reachability in parameterized systems: all flavors of threshold automata. Zbl 1520.68062Kukovec, Jure; Konnov, Igor; Widder, Josef 5 2018 Verification of randomized consensus algorithms under round-rigid adversaries. Zbl 07649941Bertrand, Nathalie; Konnov, Igor; Lazić, Marijana; Widder, Josef 5 2019 What you always wanted to know about model checking of fault-tolerant distributed algorithms. Zbl 1461.68115Konnov, Igor; Veith, Helmut; Widder, Josef 5 2016 In search of lost time. Zbl 1379.68022Charron-Bost, Bernadette; Hutle, Martin; Widder, Josef 3 2010 Consensus in the presence of mortal Byzantine faulty processes. Zbl 1255.68043Widder, Josef; Biely, Martin; Gridling, Günther; Weiss, Bettina; Blanquart, Jean-Paul 3 2012 Time complexity of link reversal routing. Zbl 1398.68052Charron-Bost, Bernadette; Függer, Matthias; Welch, Jennifer L.; Widder, Josef 2 2015 Booting clock synchronization in partially synchronous systems. Zbl 1180.68070Widder, Josef 2 2003 Eliminating message counters in synchronous threshold automata. Zbl 1472.68094Stoilkovska, Ilina; Konnov, Igor; Widder, Josef; Zuleger, Florian 2 2021 Accuracy of message counting abstraction in fault-tolerant distributed algorithms. Zbl 1484.68321Konnov, Igor; Widder, Josef; Spegni, Francesco; Spalazzi, Luca 2 2017 A case study on parametric verification of failure detectors. Zbl 07667090Tran, Thanh-Hai; Konnov, Igor; Widder, Josef 1 2023 A reduction theorem for randomized distributed algorithms under weak adversaries. Zbl 1472.68083Bertrand, Nathalie; Lazić, Marijana; Widder, Josef 1 2021 Eliminating message counters in threshold automata. Zbl 1517.68216Stoilkovska, Ilina; Konnov, Igor; Widder, Josef; Zuleger, Florian 1 2020 Link reversal routing with binary link labels: work complexity. Zbl 1271.68243Charron-Bost, Bernadette; Gaillard, Antoine; Welch, Jennifer L.; Widder, Josef 1 2013 A case study on parametric verification of failure detectors. Zbl 07667090Tran, Thanh-Hai; Konnov, Igor; Widder, Josef 1 2023 Eliminating message counters in synchronous threshold automata. Zbl 1472.68094Stoilkovska, Ilina; Konnov, Igor; Widder, Josef; Zuleger, Florian 2 2021 A reduction theorem for randomized distributed algorithms under weak adversaries. Zbl 1472.68083Bertrand, Nathalie; Lazić, Marijana; Widder, Josef 1 2021 Eliminating message counters in threshold automata. Zbl 1517.68216Stoilkovska, Ilina; Konnov, Igor; Widder, Josef; Zuleger, Florian 1 2020 Verification of randomized consensus algorithms under round-rigid adversaries. Zbl 07649941Bertrand, Nathalie; Konnov, Igor; Lazić, Marijana; Widder, Josef 5 2019 Synthesis of distributed algorithms with parameterized threshold guards. Zbl 1487.68252Lazić, Marijana; Konnov, Igor; Widder, Josef; Bloem, Roderick 6 2018 Parameterized model checking of synchronous distributed algorithms by abstraction. Zbl 1446.68086Aminof, Benjamin; Rubin, Sasha; Stoilkovska, Ilina; Widder, Josef; Zuleger, Florian 5 2018 Reachability in parameterized systems: all flavors of threshold automata. Zbl 1520.68062Kukovec, Jure; Konnov, Igor; Widder, Josef 5 2018 A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms. Zbl 1380.68278Konnov, Igor; Lazić, Marijana; Veith, Helmut; Widder, Josef 12 2017 On the completeness of bounded model checking for threshold-based distributed algorithms: reachability. Zbl 1355.68176Konnov, Igor; Veith, Helmut; Widder, Josef 10 2017 \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. Zbl 1380.68279Konnov, Igor; Lazić, Marijana; Veith, Helmut; Widder, Josef 5 2017 Accuracy of message counting abstraction in fault-tolerant distributed algorithms. Zbl 1484.68321Konnov, Igor; Widder, Josef; Spegni, Francesco; Spalazzi, Luca 2 2017 What you always wanted to know about model checking of fault-tolerant distributed algorithms. Zbl 1461.68115Konnov, Igor; Veith, Helmut; Widder, Josef 5 2016 Decidability of parameterized verification. Zbl 1400.68006Bloem, Roderick; Jacobs, Swen; Khalimov, Ayrat; Konnov, Igor; Rubin, Sasha; Veith, Helmut; Widder, Josef 32 2015 SMT and POR beat counter abstraction: parameterized model checking of threshold-based distributed algorithms. Zbl 1381.68172Konnov, Igor; Veith, Helmut; Widder, Josef 10 2015 Time complexity of link reversal routing. Zbl 1398.68052Charron-Bost, Bernadette; Függer, Matthias; Welch, Jennifer L.; Widder, Josef 2 2015 A logic-based framework for verifying consensus algorithms. Zbl 1428.68371Drăgoi, Cezara; Henzinger, Thomas A.; Veith, Helmut; Widder, Josef; Zufferey, Damien 11 2014 On the completeness of bounded model checking for threshold-based distributed algorithms: reachability. Zbl 1417.68136Konnov, Igor; Veith, Helmut; Widder, Josef 8 2014 Tutorial on parameterized model checking of fault-tolerant distributed algorithms. Zbl 1445.68133Gmeiner, Annu; Konnov, Igor; Schmid, Ulrich; Veith, Helmut; Widder, Josef 8 2014 Link reversal routing with binary link labels: work complexity. Zbl 1271.68243Charron-Bost, Bernadette; Gaillard, Antoine; Welch, Jennifer L.; Widder, Josef 1 2013 Consensus in the presence of mortal Byzantine faulty processes. Zbl 1255.68043Widder, Josef; Biely, Martin; Gridling, Günther; Weiss, Bettina; Blanquart, Jean-Paul 3 2012 In search of lost time. Zbl 1379.68022Charron-Bost, Bernadette; Hutle, Martin; Widder, Josef 3 2010 The Theta-Model: achieving synchrony without clocks. Zbl 1267.68159Widder, Josef; Schmid, Ulrich 6 2009 Tolerating corrupted communication. Zbl 1283.68079Biely, Martin; Widder, Josef; Charron-Bost, Bernadette; Gaillard, Antoine; Hutle, Martin; Schiper, André 13 2007 Booting clock synchronization in partially synchronous systems with hybrid process and link failures. Zbl 1266.68124Widder, Josef; Schmid, Ulrich 8 2007 On the possibility and the impossibility of message-driven self-stabilizing failure detection. Zbl 1172.68365Hutle, Martin; Widder, Josef 6 2005 Booting clock synchronization in partially synchronous systems. Zbl 1180.68070Widder, Josef 2 2003 all cited Publications top 5 cited Publications all top 5 Cited by 128 Authors 14 Widder, Josef 11 Konnov, Igor V. 9 Schmid, Ulrich 7 Esparza, Javier 5 Raskin, Mikhail 5 Veith, Helmut 4 Balasubramanian, A. R. 4 Biely, Martin 4 Függer, Matthias 4 Lazić, Marijana 3 Aminof, Benjamin 3 Bertrand, Nathalie 3 Ghilardi, Silvio 3 Pagani, Elena 3 Rubin, Sasha 3 Spegni, Francesco 3 Welzel, Christoph 3 Zuleger, Florian 2 Alberti, Francesco 2 Bonakdarpour, Borzoo 2 Bozga, Marius 2 Charron-Bost, Bernadette 2 Chatterjee, Krishnendu 2 Dolev, Danny 2 Faghih, Fathiyeh 2 Henzinger, Thomas A. 2 Iosif, Radu 2 Jacobs, Swen 2 Lenzen, Christoph 2 Meyer, Roland 2 Mirzaie, Nahal 2 Nowak, Thomas 2 Otop, Jan 2 Spalazzi, Luca 2 Stoilkovska, Ilina 2 Weiss, Bettina 1 Abdulla, Parosh Aziz 1 Aiswarya, Cyriac 1 Alistarh, Dan 1 Attie, Paul C. 1 Bérard, Béatrice 1 Blanquart, Jean-Paul 1 Bollig, Benedikt 1 Bouyer, Patricia 1 Bravo, Manuel 1 Bueri, Lucas 1 Chini, Peter 1 Chockler, Gregory V. 1 Cimatti, Alessandro 1 Conchon, Sylvain 1 Correia, Miguel V. 1 Cristiá, Maximiliano 1 De Nicola, Rocco 1 Delzanno, Giorgio 1 Di Stefano, Luca 1 Dolev, Shlomi 1 Doucet, Frederic 1 Dworzański, Leonid W. 1 Ferrando, Angelo 1 Gastin, Paul 1 Gilbert, Seth 1 Gmeiner, Annu 1 Gotsman, Alexey 1 Gridling, Günther 1 Griggio, Alberto 1 Guerraoui, Rachid 1 Hague, Matthew 1 Hoenicke, Jochen 1 Huang, Ji 1 Hutle, Martin 1 Inverso, Omar 1 Jaax, Stefan 1 Jiménez, Ernesto 1 Kat, Ronen I. 1 Kotek, Tomer 1 Kozhaya, David 1 Kukovec, Jure 1 Kurshan, Robert P. 1 Lafourcade, Pascal 1 Lomazova, Irina A. 1 López-Presa, José Luis 1 Majumdar, Anirban 1 Maric, Ognjen 1 Martín-Rueda, Javier 1 McMillan, Kenneth L. 1 Merlet, Glenn 1 Millet, Laure 1 Moniz, Henrique 1 Moser, Heinrich 1 Murano, Aniello 1 Muskalla, Sebastian 1 Neves, Nuno Ferreira 1 Padon, Oded 1 Pignolet, Yvonne-Anne 1 Pike, Scott M. 1 Pirovano, Edoardo 1 Pittou, Maria 1 Podelski, Andreas 1 Posch, Markus 1 Potop-Butucaru, Maria Gradinariu ...and 28 more Authors all top 5 Cited in 18 Serials 11 Distributed Computing 5 Formal Methods in System Design 4 Theoretical Computer Science 3 Journal of Computer and System Sciences 3 Information and Computation 3 Logical Methods in Computer Science 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 all top 5 Cited in 10 Fields 70 Computer science (68-XX) 8 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