David Guaspari

13 papers Misc 1Journal 8Unranked 4

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