Aaron Fifarek
According to our database1,
Aaron Fifarek
authored at least 5 papers
between 2013 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
2013
2014
2015
2016
2017
0
1
2
3
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Run-Time Assurance and Formal Methods Analysis Nonlinear System Applied to Nonlinear System Control.
J. Aerosp. Inf. Syst., 2017
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017
2016
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.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016
2013
Proceedings of the Formal Methods for Industrial Critical Systems, 2013