| Code-Level Model Checking In The Software Development Workflow At Amazon Web Services | 0 | 0.34 | 2021 |
| Model Checking Boot Code From Aws Data Centers | 0 | 0.34 | 2021 |
| Rapid Structure Detection In Support Of Disaster Response : A Case Study Of The 2018 Kilauea Volcano Eruption | 0 | 0.34 | 2020 |
| Code-level model checking in the software development workflow | 3 | 0.40 | 2020 |
| Model Checking Boot Code From Aws Data Centers | 5 | 0.43 | 2018 |
| Symbolic Execution for BIOS Security | 6 | 0.50 | 2015 |
| Symbolic Execution for BIOS Security. | 0 | 0.34 | 2015 |
| Protocol Proof Checking Simplified with SMT | 2 | 0.41 | 2012 |
| SMT-Based System Verification with DVF. | 6 | 0.48 | 2012 |
| Many random walks are faster than one | 71 | 2.72 | 2011 |
| Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions | 4 | 0.44 | 2011 |
| Model Checking Transactional Memory With Spin | 0 | 0.34 | 2009 |
| Protocol verification using flows: An industrial experience | 19 | 0.68 | 2009 |
| Extracting models from design documents with mapster | 2 | 0.39 | 2008 |
| A game of timing and visibility | 5 | 0.56 | 2008 |
| Collaborate with Strangers to Find Own Preferences | 17 | 1.02 | 2008 |
| Going with the flow: parameterized verification using message flows | 31 | 1.04 | 2008 |
| Verifying Correctness of Transactional Memories | 22 | 1.01 | 2007 |
| Publish and perish: definition and analysis of an n-person publication impact game | 2 | 1.00 | 2006 |
| Adaptive Collaboration in Peer-to-Peer Systems | 5 | 0.50 | 2005 |
| Timing games and shared memory | 1 | 0.41 | 2005 |
| Improved recommendation systems | 27 | 1.52 | 2005 |
| A theory of redo recovery | 8 | 0.98 | 2003 |
| An Overview of Synchronous Message-Passing and Topology | 3 | 0.43 | 2001 |
| A New Synchronous Lower Bound for Set Agreement | 1 | 0.38 | 2001 |
| Tight bounds for k-set agreement | 37 | 1.26 | 2000 |
| Logical logging to extend recovery to new domains | 11 | 0.88 | 1999 |
| Wait-free implementations in message-passing systems | 16 | 0.66 | 1999 |
| Unifying synchronous and asynchronous message-passing models | 37 | 1.64 | 1998 |
| Redo Recovery after System Crashes | 26 | 9.32 | 1995 |
| Fast Increment Registers | 1 | 0.37 | 1994 |
| Common knowledge and consistent simultaneous coordination | 19 | 1.11 | 1993 |
| Knowledge, probability, and adversaries | 51 | 7.93 | 1993 |
| A semantics for a logic of authentication (extended abstract) | 126 | 14.94 | 1991 |
| Lower bounds for wait-free computation in message-passing systems | 8 | 0.81 | 1990 |
| A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) | 2 | 9.11 | 1988 |
| Hierarchical correctness proofs for distributed algorithms | 483 | 68.42 | 1987 |
| Programming simultaneous actions using common knowledge: Preliminary version | 3 | 2.23 | 1986 |
