A Note on the Kondo-Addison Theorem. - David Guaspari (J. Symb. Log., 1974)

Definability in Models of Set Theory. - David Guaspari (J. Symb. Log., 1980)

Sentences Implying Their Own Provability. - David Guaspari (J. Symb. Log., 1983)

Penelope, an Ada verification system. - David Guaspari (TRI-Ada, 1989)

Formal Verification of Ada Programs. - David Guaspari; Carla Marceau; Wolfgang Polak (IEEE Trans. Software Eng., 1990)

Formally Specifying the Logic of an Automatic Guidance Controller. - David Guaspari (Ada-Europe, 1991)

Formal Methods Fact vs. Fiction. - C. Michael Holloway; Ben L. Di Vito; David Guaspari; Michael K. Smith (TRI-Ada, 1994)

Formal methods in the THETA kernel. - Mike Seager; David Guaspari; Matthew Stillerman; Carla Marceau (S&P, 1995)

Safety-Critical Systems Built with COTS. - Joseph A. Profeta III; Nikos P. Andrianos; Bing Yu; Barry W. Johnson; Todd A. DeLong; David Guaspari; Damir Jamsek (Computer, 1996)

Automated computer forensics training in a virtualized environment. - Stephen Brueckner; David Guaspari; Frank Adelstein; Joseph Weeks (Digit. Investig., 2008)

Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML. - Vincent Rahli; David Guaspari; Mark Bickford; Robert L. Constable (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems. - Vincent Rahli; David Guaspari; Mark Bickford; Robert L. Constable (Sci. Comput. Program., 2017)