Study on the Barriers to the Industrial Adoption of Formal Methods. - Jennifer A. Davis; Matthew A. Clark 001; Darren D. Cofer; Aaron Fifarek; Jacob Hinchman; Jonathan A. Hoffman; Brian W. Hulbert; Steven P. Miller; Lucas G. Wagner (FMICS, 2013)

Incremental Formal Methods Based Design Approach Demonstrated on a Coupled Tanks Control System. - Kerianne H. Gross; Aaron W. Fifarek; Jonathan A. Hoffman (HASE, 2016)

Compositional Architecture Design for Fuel Tank Thermal Systems. - Sean J. S. Regisford; Brian K. Hulbert; Aaron W. Fifarek (HASE, 2016)

SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements. - Aaron W. Fifarek; Lucas G. Wagner; Jonathan A. Hoffman; Benjamin D. Rodes; M. Anthony Aiello; Jennifer A. Davis (NFM, 2017)

Run-Time Assurance and Formal Methods Analysis Nonlinear System Applied to Nonlinear System Control. - Kerianne H. Gross; Matthew A. Clark 001; Jonathan A. Hoffman; Eric D. Swenson; Aaron W. Fifarek (J. Aerosp. Inf. Syst., 2017)