Search the dblp DataBase

Publications of Author

1. Mark Bickford, Damir Jamsek
   Formal Specification and Verification of VHDL. [Citation Graph (0, 0)][DBLP]
   FMCAD, 1996, pp:310-326 [Conf]
   
2. Mark Bickford, Jason Hickey
   Predicate Transformers for Infinite-State Automata in NuPRL Type Theory. [Citation Graph (0, 0)][DBLP]
   IWFM, 1999, pp:- [Conf]
   
3. Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride
   Knowledge-Based Synthesis of Distributed Systems Using Event Structures. [Citation Graph (0, 0)][DBLP]
   LPAR, 2004, pp:449-465 [Conf]
   
4. Mark Bickford, Mandayam K. Srivas
   Verification of a Pipelined Microprocessor Using Clio. [Citation Graph (0, 0)][DBLP]
   Hardware Specification, Verification and Synthesis, 1989, pp:307-332 [Conf]
   
5. Mark Bickford, Mandayam K. Srivas
   Verification of a Fault-Tolerant Property of a Multiprocessor System: A Case Study in Theorem Prover-Based Verification. [Citation Graph (0, 0)][DBLP]
   TPCD, 1992, pp:225-251 [Conf]
   
6. Mark Bickford, Christoph Kreitz, Robbert van Renesse, Xiaoming Liu 0003
   Proving Hybrid Protocols Correct. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 2001, pp:105-120 [Conf]
   
7. Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, E. Moran
   Innovations in computational type theory using Nuprl. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2006, v:4, n:4, pp:428-469 [Journal]
   
8. Mandayam K. Srivas, Mark Bickford
   Formal Verification of a Pipelined Microprocessor. [Citation Graph (0, 0)][DBLP]
   IEEE Software, 1990, v:7, n:5, pp:52-64 [Journal]
   
9. Xiaoming Liu 0003, Robbert van Renesse, Mark Bickford, Christoph Kreitz, Robert L. Constable
   Protocol Switching: Exploiting Meta-Properties. [Citation Graph (0, 0)][DBLP]
   ICDCS Workshops, 2001, pp:37-42 [Conf]
   
10. 
    Component Specification Using Event Classes. [Citation Graph (, )][DBLP]
    
    
11. 
    Nysiad: Practical Protocol Transformation to Tolerate Byzantine Failures. [Citation Graph (, )][DBLP]
    
    
12. 
    Unguessable Atoms: A Logical Foundation for Security. [Citation Graph (, )][DBLP]
    
    
13. 
    Knowledge-Based Synthesis of Distributed Systems Using Event Structures [Citation Graph (, )][DBLP]