Ashlie B. Hocking
According to our database1,
Ashlie B. Hocking
authored at least 19 papers
between 2005 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
1
1
1
2
2
1
2
2
3
1
3
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Bridging the Gap: Applying Assurance Arguments to MIL-HDBK-516C Certification of a Neural Network Control System with ASIF Run Time Assurance Architecture.
CoRR, 2023
2022
Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System.
CoRR, 2022
2021
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021
2020
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020
2017
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017
Proceedings of the Automated Formal Methods, 2017
2016
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016
2015
Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015
2014
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014
2007
Neurocomputing, 2007
2006
Erratum to: Interpreting hippocampal function as recoding and forecasting [Neural Networks 18 (9) 1242-1264].
Neural Networks, 2006
2005
Neurocomputing, 2005