| Holistic Verification of Blockchain Consensus. | 0 | 0.34 | 2022 |
| Specification and Verification with the TLA + Trifecta: TLC, Apalache, and TLAPS. | 0 | 0.34 | 2022 |
| A Case Study on Parametric Verification of Failure Detectors. | 0 | 0.34 | 2021 |
| Eliminating Message Counters in Synchronous Threshold Automata. | 0 | 0.34 | 2021 |
| 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference). | 0 | 0.34 | 2020 |
| Tutorial - Parameterized Verification with Byzantine Model Checker. | 0 | 0.34 | 2020 |
| Eliminating Message Counters in Threshold Automata. | 0 | 0.34 | 2020 |
| Extracting symbolic transitions from TLA+ specifications | 0 | 0.34 | 2020 |
| Cutoffs for Symmetric Point-to-Point Distributed Algorithms. | 0 | 0.34 | 2020 |
| Front Matter, Table of Contents, Preface, Conference Organization. | 0 | 0.34 | 2020 |
| Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper). | 0 | 0.34 | 2020 |
| TLA+ model checking made symbolic | 1 | 0.41 | 2019 |
| Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries. | 0 | 0.34 | 2019 |
| Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking. | 0 | 0.34 | 2019 |
| Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds): Handbook of model checking - Springer International Publishing AG, Cham, Switzerland, 2018. | 0 | 0.34 | 2019 |
| Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking. | 0 | 0.34 | 2019 |
| ByMC: Byzantine Model Checker. | 1 | 0.38 | 2018 |
| Reachability in Parameterized Systems: All Flavors of Threshold Automata. | 0 | 0.34 | 2018 |
| Synthesis of Distributed Algorithms with Parameterized Threshold Guards. | 0 | 0.34 | 2017 |
| Accuracy Of Message Counting Abstraction In Fault-Tolerant Distributed Algorithms | 1 | 0.36 | 2017 |
| A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms. | 0 | 0.34 | 2017 |
| Para2: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. | 0 | 0.34 | 2017 |
| Partial Linearization Method for Network Equilibrium Problems with Elastic Demands. | 0 | 0.34 | 2016 |
| Smt And Por Beat Counter Abstraction: Parameterized Model Checking Of Threshold-Based Distributed Algorithms | 13 | 0.56 | 2015 |
| Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms. | 5 | 0.40 | 2014 |
| On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability. | 9 | 0.53 | 2014 |
| Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction | 2 | 0.37 | 2013 |
| Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms. | 11 | 0.53 | 2013 |
| Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms | 3 | 0.38 | 2012 |
| Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms | 5 | 0.45 | 2012 |
| CheAPS: a Checker of Asynchronous Parameterized Systems. | 1 | 0.40 | 2010 |
| Partial proximal point method for nonmonotone equilibrium problems | 5 | 0.54 | 2006 |
