Year: 2017

SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements

Aaron W. Fifarek
Lucas G. Wagner
Erika R. Hoffman
Benjamin D. Rodes
M. Anthony Aiello
Jennifer A. Davis

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

All About Data

Anthony J. Chapman
Senior Director, Global Product Management and Strategic Programs,
Global Airports, Information Management Services

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.