Category: Lucas Wagner

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