Category: John Backes

Video: High-Assurance Cyber Military Systems (HACMS)

Darren D. Cofer, Ph.D.
Andrew J. Gacek, Ph.D.
John D. Backes, Ph.D.
Konrad L. Slind, Ph.D.

From Design Contracts to Component Requirements Verification

Jing (Janet) Liu, Ph.D.
John D. Backes, 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.