Category: Darren Cofer

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

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.

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.