| Formal verification of a pipelined microprocessor M Srivas, M Bickford IEEE software 7 (5), 52-64, 1990 | 188 | 1990 |
| Innovations in computational type theory using Nuprl SF Allen, M Bickford, RL Constable, R Eaton, C Kreitz, L Lorigo, E Moran Journal of Applied Logic 4 (4), 428-469, 2006 | 122 | 2006 |
| Nysiad: Practical Protocol Transformation to Tolerate Byzantine Failures. C Ho, R Van Renesse, M Bickford, D Dolev NSDI 8, 175-188, 2008 | 66 | 2008 |
| Protocol switching: Exploiting meta-properties X Liu, R van Renesse, M Bickford, C Kreitz, R Constable Proceedings 21st International Conference on Distributed Computing Systems …, 2001 | 60 | 2001 |
| LOWNESS PROPERTIES FOR RE SETS M Bickford, CF Mills JOURNAL OF SYMBOLIC LOGIC 48 (4), 1234-1234, 1983 | 48 | 1983 |
| Formal specification, verification, and implementation of fault-tolerant systems using EventML V Rahli, D Guaspari, M Bickford, RL Constable Electronic Communications of the EASST 72, 2015 | 38 | 2015 |
| Component specification using event classes M Bickford Component-Based Software Engineering: 12th International Symposium, CBSE …, 2009 | 33 | 2009 |
| A nominal exploration of intuitionism V Rahli, M Bickford Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016 | 31 | 2016 |
| A logic of events M Bickford, RL Constable Cornell University, 2003 | 31 | 2003 |
| Proving hybrid protocols correct M Bickford, C Kreitz, R van Renesse, X Liu Theorem Proving in Higher Order Logics: 14th International Conference …, 2001 | 28 | 2001 |
| Intuitionistic completeness of first-order logic R Constable, M Bickford Annals of Pure and Applied Logic 165 (1), 164-198, 2014 | 26 | 2014 |
| The Logic of Events, a framework to reason about distributed systems M Bickford, R Constable, V Rahli 2012 Languages for Distributed Algorithms (LADA) workshop, 2012 | 25 | 2012 |
| Verification of the FtCayuga fault-tolerant microprocessor system. Volume 1: A case study in theorem prover-based verification M Srivas, M Bickford | 25 | 1991 |
| An experiment in formal design using meta-properties M Bickford, C Kreitz, R Van Renesse, R Constable Proceedings DARPA Information Survivability Conference and Exposition II …, 2001 | 24 | 2001 |
| Formal foundations of computer security M Bickford, R Constable NATO SECURITY THROUGH SCIENCE SERIES D-INFORMATION AND COMMUNICATION …, 2008 | 22 | 2008 |
| Verification of a pipelined microprocessor using CLIO M Bickford, M Srivas Hardware Specification, Verification and Synthesis: Mathematical Aspects …, 2005 | 22 | 2005 |
| Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types V Rahli, M Bickford, A Anand Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes …, 2013 | 21 | 2013 |
| Unguessable atoms: A logical foundation for security M Bickford Working Conference on Verified Software: Theories, Tools, and Experiments, 30-53, 2008 | 20 | 2008 |
| Formal specification and verification of VHDL M Bickford, D Jamsek International Conference on Formal Methods in Computer-Aided Design, 310-326, 1996 | 20 | 1996 |
| Clio: An applicative language-based verification system M Bickford, C Mills, EA Schneider Odyssey Research Associates Technical Report TR, 15-7, 1989 | 19 | 1989 |
