| Formal verification of a pipelined microprocessor M Srivas, M Bickford IEEE software 7 (5), 52-64, 1990 | 183 | 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 | 125 | 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 | 58 | 2001 |
| LOWNESS PROPERTIES FOR RE SETS M Bickford, CF Mills JOURNAL OF SYMBOLIC LOGIC 48 (4), 1234-1234, 1983 | 46 | 1983 |
| Formal specification, verification, and implementation of fault-tolerant systems using EventML V Rahli, D Guaspari, M Bickford, R Constable Electronic Communications of the EASST 72, 2015 | 39 | 2015 |
| Component specification using event classes M Bickford Component-Based Software Engineering: 12th International Symposium, CBSE …, 2009 | 34 | 2009 |
| A nominal exploration of intuitionism V Rahli, M Bickford Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016 | 32 | 2016 |
| A logic of events M Bickford, RL Constable Cornell University, 2003 | 28 | 2003 |
| Intuitionistic completeness of first-order logic R Constable, M Bickford Annals of Pure and Applied Logic 165 (1), 164-198, 2014 | 26 | 2014 |
| Proving hybrid protocols correct M Bickford, C Kreitz, R van Renesse, X Liu Theorem Proving in Higher Order Logics: 14th International Conference …, 2001 | 26 | 2001 |
| Verification of the FtCayuga fault-tolerant microprocessor system. Volume 1: A case study in theorem prover-based verification M Srivas, M Bickford | 25 | 1991 |
| 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 | 23 | 2012 |
| Verification of a pipelined microprocessor using CLIO M Bickford, M Srivas Hardware Specification, Verification and Synthesis: Mathematical Aspects …, 2005 | 21 | 2005 |
| 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 | 21 | 2001 |
| 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 | 20 | 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 Logical Methods for System Security and Correctness 29 O. Grumberg et al.(Eds.) IOS Press, 2008© 2008 IOS Press. All rights reserved. Formal Foundations of Computer Security M Bickford, R Constable Formal Logical Methods for System Security and Correctness 14, 29, 2008 | 20 | 2008 |
| EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems V Rahli, D Guaspari, M Bickford, RL Constable Science of Computer Programming 148, 26-48, 2017 | 19 | 2017 |
| Formal specification and verification of VHDL M Bickford, D Jamsek International Conference on Formal Methods in Computer-Aided Design, 310-326, 1996 | 19 | 1996 |
