Ashlie B. Hocking

According to our database, Ashlie B. Hocking authored at least 19 papers between 2005 and 2023.

Collaborative distances:

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

2023

Bridging the Gap: Applying Assurance Arguments to MIL-HDBK-516C Certification of a Neural Network Control System with ASIF Run Time Assurance Architecture.

Jonathan C. Rowanhill, Ashlie B. Hocking, Aditya Zutshi, Kerianne L. Hobbs

CoRR, 2023

2022

Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System.

Kerianne L. Hobbs, Benjamin K. Heiner, Lillian Busse, Kyle Dunlap, Jonathan C. Rowanhill, Ashlie B. Hocking, Aditya Zutshi

CoRR, 2022

2021

Polygon Merge: A Geometric Algorithm Verified Using PVS.

Ben L. Di Vito, Ashlie B. Hocking

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

2020

TDABD: Test-Driven-Assurance-Based Development.

Jonathan C. Rowanhill, Ashlie B. Hocking, William H. Hawkins

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

Unit Lemmas for Detecting Requirement and Specification Flaws.

Ashlie B. Hocking, Jonathan C. Rowanhill, Ben L. Di Vito

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

2017

Input Space Partitioning to Enable Massively Parallel Proof.

Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Aréchiga

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

The Measurement Library: Representing Physical Types in PVS.

Ashlie B. Hocking, M. Anthony Aiello

Proceedings of the Automated Formal Methods, 2017

2016

A Proof Infrastructure for Binary Programs.

Ashlie B. Hocking, Benjamin D. Rodes, John C. Knight, Jack W. Davidson, Clark L. Coleman

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Proving Critical Properties of Simulink Models.

Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Aréchiga

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

A System for the Security Protection of Embedded Binary Programs.

Jack W. Davidson, Jason D. Hiser, Anh Nguyen-Tuong, Clark L. Coleman, William H. Hawkins, John C. Knight, Benjamin D. Rodes, Ashlie B. Hocking

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

2015

Static analysis of physical properties in Simulink models.

Ashlie B. Hocking, M. Anthony Aiello, John C. Knight

Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

2014

Arguing Software Compliance with ISO 26262.

Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Proving Model Equivalence in Model Based Design.

Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

SCT: A Safety Case Toolkit.

M. Anthony Aiello, Ashlie B. Hocking, John C. Knight, Jonathan C. Rowanhill

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2007

Theta-modulated input reduces intrinsic gamma oscillations in a hippocampal model.

Ashlie B. Hocking, William B. Levy

Neurocomputing, 2007

2006

Erratum to: Interpreting hippocampal function as recoding and forecasting [Neural Networks 18 (9) 1242-1264].

William B. Levy, Ashlie B. Hocking, Xiangbao Wu

Neural Networks, 2006

Gamma oscillations in a minimal CA3 model.

Ashlie B. Hocking, William B. Levy

Neurocomputing, 2006

2005

Interpreting hippocampal function as recoding and forecasting.

William B. Levy, Ashlie B. Hocking, Xiangbao Wu

Neural Networks, 2005

Computing conditional probabilities in a minimal CA3 pyramidal neuron.

Ashlie B. Hocking, William B. Levy

Neurocomputing, 2005