David Guaspari

Publication Activity (10 Years)

Years Active: 1974-2017
Publications (10 Years): 2

Top Topics

Formal Verification

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Sci. Comput. Program.

Publications

Vincent Rahli, David Guaspari, Mark Bickford, Robert L. Constable
EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems. Sci. Comput. Program. 148 (2017)
Vincent Rahli, David Guaspari, Mark Bickford, Robert L. Constable
Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
Stephen Brueckner, David Guaspari, Frank Adelstein, Joseph Weeks
Automated computer forensics training in a virtualized environment. Digit. Investig. 5 (Supplement) (2008)
Joseph A. Profeta III, Nikos P. Andrianos, Bing Yu, Barry W. Johnson, Todd A. DeLong, David Guaspari, Damir Jamsek
Safety-Critical Systems Built with COTS. Computer 29 (11) (1996)
Mike Seager, David Guaspari, Matthew Stillerman, Carla Marceau
Formal methods in the THETA kernel. IEEE Symposium on Security and Privacy (1995)
C. Michael Holloway, Ben L. Di Vito, David Guaspari, Michael K. Smith
Formal Methods Fact vs. Fiction. TRI-Ada (1994)
David Guaspari, Carla Marceau, Wolfgang Polak
Formal Verification of Ada Programs. Larch (1992)
David Guaspari
Formally Specifying the Logic of an Automatic Guidance Controller. Ada-Europe (1991)
David Guaspari, Carla Marceau, Wolfgang Polak
Formal Verification of Ada Programs. IEEE Trans. Software Eng. 16 (9) (1990)
David Guaspari
Penelope, an Ada verification system. TRI-Ada (1989)
David Guaspari
Sentences Implying Their Own Provability. J. Symb. Log. 48 (3) (1983)
David Guaspari
Definability in Models of Set Theory. J. Symb. Log. 45 (1) (1980)
David Guaspari
A Note on the Kondo-Addison Theorem. J. Symb. Log. 39 (3) (1974)