David Guaspari

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. IEEE Computer 29(11): 54-60 (1996)

Mike Seager, David Guaspari, Matthew Stillerman, Carla Marceau: Formal methods in the THETA kernel. IEEE Symposium on Security and Privacy 1995: 88-100

C. Michael Holloway, Ben L. Di Vito, David Guaspari, Michael Smith: Formal Methods Fact vs. Fiction. TRI-Ada 1994: 256-258

David Guaspari, Carla Marceau, Wolfgang Polak: Formal Verification of Ada Programs. Larch 1992: 104-141

David Guaspari: Formally Specifying the Logic of an Automatic Guidance Controller. Ada-Europe 1991: 372-383

David Guaspari, Carla Marceau, Wolfgang Polak: Formal Verification of Ada Programs. IEEE Trans. Software Eng. 16(9): 1058-1075 (1990)

David Guaspari: Sentences Implying Their Own Provability. J. Symb. Log. 48(3): 777-789 (1983)

David Guaspari: Definability in Models of Set Theory. J. Symb. Log. 45(1): 9-19 (1980)

David Guaspari: A Note on the Kondo-Addison Theorem. J. Symb. Log. 39(3): 567-570 (1974)