MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Mark Bickford – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

An object-oriented approach to verifying group communication systems
by Mark Bickford, Jason Hickey — 1998
…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
by Mark Bickford, Jason Hickey — 1999 — In Proceedings of 3 rd Irish Workshop in Formal Methods
…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
by David Greve, Matthew Wilding, Mark Bickford, David Guaspari — 2000
… 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
by Stuart Allen, Mark Bickford, Robert Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo — 2002
… Mark Bickford Robert Constable Richard Eaton Christoph Kreitz Lori Lorigo Preface Department…
Cited by 3 (3 self) – Add To MetaCart

Proving hybrid ¡ protocols correct
by Mark Bickford, Christoph Kreitz, Robbert Van Renesse, Xiaoming Liu — 2001 — In R. Boulton and P. 14 Jackson (Eds.), International Conference on Theorem Proving in Higher Order Logics, Volume 2152 of Lecture Notes in Computer Science
…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
by Mark Bickford, Christoph Kreitz, Robbert Van Renesse, Robert Constable — 2001 — In Proc. DISCEX-II ’01: The 2nd DARPA Information Survivability Conference and Exposition. IEEE
…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
by Mark Bickford, Christoph Kreitz, Robbert Van Renesse — 2001
…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
by Chi Ho, Robbert Van Renesse, Mark Bickford, Danny Dolev — 2008 — In NSDI
… 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
by Mark Bickford, Robert C. Constable, Joseph Y. Halpern, Sabina Petride — 2005 — In Proc. 11th Int. Conf. on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2004), Lecture Notes in Computer Science
…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
by Robert L. Constable, Stuart Allen, Mark Bickford, James Caldwell, Jason Hickey, Christoph Kreitz
… Stuart Allen Mark Bickford James Caldwell Jason Hickey Christoph Kreitz 1This work was supported…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB