Aaron Fifarek

According to our database, Aaron Fifarek authored at least 5 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Run-Time Assurance and Formal Methods Analysis Nonlinear System Applied to Nonlinear System Control.

Kerianne H. Gross, Matthew A. Clark, Jonathan A. Hoffman, Eric D. Swenson, Aaron W. Fifarek

J. Aerosp. Inf. Syst., 2017

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

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2016

Compositional Architecture Design for Fuel Tank Thermal Systems.

Sean J. S. Regisford, Brian K. Hulbert, Aaron W. Fifarek

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

Incremental Formal Methods Based Design Approach Demonstrated on a Coupled Tanks Control System.

Kerianne H. Gross, Aaron W. Fifarek, Jonathan A. Hoffman

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

2013

Study on the Barriers to the Industrial Adoption of Formal Methods.

Jennifer A. Davis, Matthew A. Clark, Darren D. Cofer, Aaron Fifarek, Jacob Hinchman, Jonathan A. Hoffman, Brian W. Hulbert, Steven P. Miller, Lucas G. Wagner

Proceedings of the Formal Methods for Industrial Critical Systems, 2013