Author Info
Name
Affiliation
Papers
AARON FIFAREK
Air Force Res Lab, LinQuest Corp, Beavercreek, OH 45431 USA
4
Collaborators
Citations 
PageRank 
15
16
1.94
Referers 
Referees 
References 
62
99
33
Title
Citations
PageRank
Year
Run-Time Assurance and Formal Methods Analysis Nonlinear System Applied to Nonlinear System Control.10.382017
SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements.40.452017
Incremental Formal Methods Based Design Approach Demonstrated on a Coupled Tanks Control System30.482016
Study on the Barriers to the Industrial Adoption of Formal Methods80.622013