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