David Guaspari

Formal verification of Ada programs

David Guaspari, Carla Marceau, Wolfgang Polak · IEEE Transactions on Software Engineering · 1990 · 76 citations

Program Checking, Engineering, Verification +20

Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML

Vincent Rahli, David Guaspari, Mark Bickford et al. · University of Birmingham Research Portal (University of Birmingham) · 2024 · 23 citations · Full text

Event-driven Architecture, Engineering, Verification +21

Penelope, an Ada verification system

David Guaspari · 1989 · 15 citations · Full text

Program Checking, Engineering, Biometrics +25

Automated computer forensics training in a virtualized environment

Stephen Brueckner, David Guaspari, Frank Adelstein et al. · Digital Investigation · 2008 · 15 citations · Full text

Forensic Psychology, Training System, Engineering +20

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

Engineering, Fault-tolerant Messaging, Byzantine Fault +10