Concepedia
Statistics
Publications
6
Citations
156
H-Index
Active since
1989
Affiliations
Cornell University(Current)
University of Luxembourg
David Guaspari is an author at Cornell University specializing in computer science, computing, and specification languages.
Publications per year
1989–2024
Formal verification of Ada programs
David Guaspari, Carla Marceau, Wolfgang Polak · IEEE Transactions on Software Engineering · 1990 · 76 citations
Computing, Computer Science, Computer Systems +17
Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML
Vincent Rahli, David Guaspari, Mark Bickford et al. · Open Repository and Bibliography (University of Luxembourg) · 2024 · 23 citations · Full text
Penelope, an Ada verification system
David Guaspari · 1989 · 16 citations · Full text
Computing, Computer Engineering, Computer Science +14
Automated computer forensics training in a virtualized environment
Stephen Brueckner, David Guaspari, Frank Adelstein et al. · Digital Investigation · 2008 · 15 citations · Full text
Education, Computer Science, Educational Technology +17
EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems
Vincent Rahli, David Guaspari, Mark Bickford et al. · Science of Computer Programming · 2017 · 15 citations · Full text
Computing, Computer Science, Computer Systems +12
1–5 of 6