Searching for authors named Mark Bickford – sorted by Relevance.
-
An object-oriented approach to verifying group communication systems
- An Object-Oriented Approach to Verifying Group Communication Systems Mark Bickford 2 and Jason
- Cited by 8 (2 self) – Add To MetaCart
-
Predicate transformers for infinite-state automata in nuprl type theory
- Predicate Transformers for Infinite-State Automata in NuPRL Type Theory Mark Bickford Odyssey
- Cited by 8 (2 self) – Add To MetaCart
-
Orpheus: A Self-Checking Translation Tool Arrangement for Flight Critical Hardware Development
- David Greve Matthew Wilding Mark Bickford y David Guaspari y Abstract We describe Orpheus, our
- Cited by 2 (1 self) – Add To MetaCart
-
FDL: A prototype formal digital library. PostScript document on website
- Mark Bickford Robert Constable Richard Eaton Christoph Kreitz Lori Lorigo Preface Department
- Cited by 3 (3 self) – Add To MetaCart
-
Proving hybrid ¡ protocols correct
- Proving Hybrid Protocols Correct Mark Bickford, Christoph Kreitz, Robbert van Renesse, Xiaoming
- Cited by 1 (1 self) – Add To MetaCart
-
An experiment in formal design using meta-properties
- An Experiment in Formal Design Using Meta-properties Mark Bickford, Christoph Kreitz, Robbert van
- Cited by 5 (2 self) – Add To MetaCart
-
Formally verifying hybrid protocols with the Nuprl logical programming environment
- Formally Verifying Hybrid Protocols with the Nuprl Logical Programming Environment Mark Bickford
- Cited by 3 (2 self) – Add To MetaCart
-
Nysiad: Practical protocol transformation to tolerate byzantine failures
- Renesse Cornell University Mark Bickford ATC-NY Danny Dolev Hebrew University of Jerusalem Abstract
- Cited by 4 (0 self) – Add To MetaCart
-
Knowledge-based synthesis of distributed systems using event structures
- Knowledge-Based Synthesis of Distributed Systems Using Event Structures Mark Bickford Robert C
- Cited by 1 (0 self) – Add To MetaCart
-
Steps Toward a World Wide Digital Library of Formal Algorithmic Knowledge
- Stuart Allen Mark Bickford James Caldwell Jason Hickey Christoph Kreitz 1This work was supported
- Cited by 1 (1 self) – Add To MetaCart

