Category: Darren Cofer

Video: HACMS – Cybersecurity for Military and Commercial Aircraft
Darren D. Cofer, Ph.D.
Andrew J. Gacek, Ph.D.
John D. Backes, Ph.D.
Konrad L. Slind, Ph.D.
Study on the Barriers to the Industrial Adoption of Formal Methods
Jennifer A. Davis
Matthew Clark
Darren D. Cofer
Aaron Fifarek
Jacob Hinchman
Jonathan Hoffman
Brian Hulbert
Steven P. Miller
Lucas G. Wagner
Qualification of a Model Checker for Avionics Software Verification
Lucas G. Wagner
Alain Mebsout
Cesare Tinelli
Darren D. Cofer
Konrad L. Slind
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.
Requirements and Architectures for Secure Vehicles
Michael W. Whalen, Ph.D.
Darren D. Cofer, Ph.D.
Andrew J. Gacek, Ph.D.
Taming the Complexity Beast
Darren D. Cofer Ph.D.
You Keep Using That Word
Darren D. Cofer, Ph.D.
Certification Considerations for Adaptive Systems
Siddhartha Bhattacharyya, Ph.D.
Darren D. Cofer, Ph.D.
David J. Musliner, Ph.D.
Joseph B. Mueller, Ph.D.
Eric Engstrom
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.