Login / Signup
Aaron W. Fifarek
Publication Activity (10 Years)
Years Active: 2016-2017
Publications (10 Years): 4
Top Topics
Formal Methods
Control System
Power Plant
Infrared
Top Venues
HASE
J. Aerosp. Inf. Syst.
NFM
</>
Publications
</>
Aaron W. Fifarek
,
Lucas G. Wagner
,
Jonathan A. Hoffman
,
Benjamin D. Rodes
,
M. Anthony Aiello
,
Jennifer A. Davis
SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements.
NFM
(2017)
Kerianne H. Gross
,
Matthew A. Clark
,
Jonathan A. Hoffman
,
Eric D. Swenson
,
Aaron W. Fifarek
Run-Time Assurance and Formal Methods Analysis Nonlinear System Applied to Nonlinear System Control.
J. Aerosp. Inf. Syst.
14 (4) (2017)
Sean J. S. Regisford
,
Brian K. Hulbert
,
Aaron W. Fifarek
Compositional Architecture Design for Fuel Tank Thermal Systems.
HASE
(2016)
Kerianne H. Gross
,
Aaron W. Fifarek
,
Jonathan A. Hoffman
Incremental Formal Methods Based Design Approach Demonstrated on a Coupled Tanks Control System.
HASE
(2016)