Mark Bickford

Formal verification of a pipelined microprocessor

Mandayam Srivas, Mark Bickford · IEEE Software · 1990 · 118 citations

Computing, Computer Engineering, Computer Science +17

Innovations in computational type theory using Nuprl

Stuart F. Allen, Mark Bickford, Robert L. Constable et al. · Journal of Applied Logic · 2005 · 91 citations

Computing, Mathematics, Theory Of Computation +6

Protocol switching: exploiting meta-properties

Xiaoming Liu, Robbert van Renesse, Mark Bickford et al. · 2002 · 37 citations

Computing, Communication, Computer Science +15

Nysiad: practical protocol transformation to tolerate Byzantine failures

Chi Ho, Robbert van Renesse, Mark Bickford et al. · 2008 · 33 citations

Computing, Computer Science, Computer Systems +16

Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML

Vincent Rahli, David Guaspari, Mark Bickford et al. · Open Repository and Bibliography (University of Luxembourg) · 2024 · 23 citations · Full text

Computing, Computer Science, Computer Systems +17