1996 |
8 | | 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) |
1994 |
7 | EE | C. Michael Holloway,
Ben L. Di Vito,
David Guaspari,
Michael Smith:
Formal Methods Fact vs. Fiction.
TRI-Ada 1994: 256-258 |
1992 |
6 | | David Guaspari,
Carla Marceau,
Wolfgang Polak:
Formal Verification of Ada Programs.
Larch 1992: 104-141 |
1991 |
5 | | David Guaspari:
Formally Specifying the Logic of an Automatic Guidance Controller.
Ada-Europe 1991: 372-383 |
1990 |
4 | EE | David Guaspari,
Carla Marceau,
Wolfgang Polak:
Formal Verification of Ada Programs.
IEEE Trans. Software Eng. 16(9): 1058-1075 (1990) |
1983 |
3 | | David Guaspari:
Sentences Implying Their Own Provability.
J. Symb. Log. 48(3): 777-789 (1983) |
1980 |
2 | | David Guaspari:
Definability in Models of Set Theory.
J. Symb. Log. 45(1): 9-19 (1980) |
1974 |
1 | | David Guaspari:
A Note on the Kondo-Addison Theorem.
J. Symb. Log. 39(3): 567-570 (1974) |