David Guaspari

According to our database, David Guaspari authored at least 12 papers between 1974 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

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

2015

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

2008

Automated computer forensics training in a virtualized environment.

Stephen Brueckner, David Guaspari, Frank Adelstein, Joseph Weeks

Digit. Investig., 2008

1996

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

1995

Formal methods in the THETA kernel.

Mike Seager, David Guaspari, Matthew Stillerman, Carla Marceau

Proceedings of the 1995 IEEE Symposium on Security and Privacy, 1995

1994

Formal Methods Fact vs. Fiction.

C. Michael Holloway, Ben L. Di Vito, David Guaspari, Michael K. Smith

Proceedings of the 1994 Conference on TRI-Ada 1994, 1994

1991

Formally Specifying the Logic of an Automatic Guidance Controller.

David Guaspari

Proceedings of the Ada: The Choice for '92, Ada-Europe International Conference, 1991

1990

Formal Verification of Ada Programs.

David Guaspari, Carla Marceau, Wolfgang Polak

IEEE Trans. Software Eng., 1990

1989

Penelope, an Ada verification system.

David Guaspari

Proceedings of the Conference on Tri-Ada 1989, 1989

1983

Sentences Implying Their Own Provability.

David Guaspari

J. Symb. Log., 1983

1980

Definability in Models of Set Theory.

David Guaspari

J. Symb. Log., 1980

1974

A Note on the Kondo-Addison Theorem.

David Guaspari

J. Symb. Log., 1974