Category: Michael Whalen
Requirements and Architectures for Secure Vehicles
Michael W. Whalen, Ph.D.
Darren D. Cofer, Ph.D.
Andrew J. Gacek, Ph.D.
On Implementing Real-time Specification Patterns Using Observers
John D. Backes, Ph.D.
Michael W. Whalen, Ph.D.
Andrew J. Gacek, Ph.D.
John Komp
Towards Realizability Checking of Contracts using Theories
Andrew J. Gacek, Ph.D.
Andreas Katis
Michael W. Whalen, Ph.D.
John D. Backes, Ph.D.
Darren D. Cofer, Ph.D.
Requirements Analysis of a Quad-Redundant Flight Control System
John D. Backes, Ph.D.
Darren D. Cofer, Ph.D.
Steven P. Miller, Ph.D.
Michael W. Whalen, Ph.D.