David Guaspari - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2017

EventML: Specification, verification, and implementation of crash-tolerant state machine replication systemsVincent Rahli, David Guaspari, Mark Bickford, Robert L. Constable. SCP, 148:26-48, 2017. [doi]

2015

Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventMLVincent Rahli, David Guaspari, Mark Bickford, Robert L. Constable. eceasst, 72, 2015. [doi]

2008

Automated computer forensics training in a virtualized environmentStephen Brueckner, David Guaspari, Frank Adelstein, Joseph Weeks. di, 5(Supplement), 2008. [doi]

1996

Safety-Critical Systems Built with COTSJoseph A. Profeta III, Nikos P. Andrianos, Bing Yu, Barry W. Johnson, Todd A. DeLong, David Guaspari, Damir Jamsek. Computer, 29(11):54-60, 1996.

1995

Formal methods in the THETA kernelMike Seager, David Guaspari, Matthew Stillerman, Carla Marceau. sp 1995: 88-100 [doi]

1994

Formal Methods Fact vs. FictionC. Michael Holloway, Ben L. Di Vito, David Guaspari, Michael Smith. sigada 1994: 256-258 [doi]

1992

Formal Verification of Ada ProgramsDavid Guaspari, Carla Marceau, Wolfgang Polak. larch 1993: 104-141

1991

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

1990

Formal Verification of Ada ProgramsDavid Guaspari, Carla Marceau, Wolfgang Polak. TSE, 16(9):1058-1075, 1990. [doi]

1989

Penelope, an Ada verification systemDavid Guaspari. sigada 1989: 216-224 [doi]

1983

Sentences Implying Their Own ProvabilityDavid Guaspari. JSYML, 48(3):777-789, 1983.

1980

Definability in Models of Set TheoryDavid Guaspari. JSYML, 45(1):9-19, 1980.

1974

A Note on the Kondo-Addison TheoremDavid Guaspari. JSYML, 39(3):567-570, 1974.

Sign in or sign up to see more results.

runs on WebDSL