Ashlie B. Hocking

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 11

Top Topics

Security Protection

Provably Correct

Top Venues

ISSRE Workshops

Publications

Jonathan C. Rowanhill, Ashlie B. Hocking, Aditya Zutshi, Kerianne L. Hobbs
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)
Kerianne L. Hobbs, Benjamin K. Heiner, Lillian Busse, Kyle Dunlap, Jonathan C. Rowanhill, Ashlie B. Hocking, Aditya Zutshi
Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System. CoRR (2022)
Ben L. Di Vito, Ashlie B. Hocking
Polygon Merge: A Geometric Algorithm Verified Using PVS. NFM (2021)
Ashlie B. Hocking, Jonathan C. Rowanhill, Ben L. Di Vito
Unit Lemmas for Detecting Requirement and Specification Flaws. ISSRE Workshops (2020)
Jonathan C. Rowanhill, Ashlie B. Hocking, William H. Hawkins
TDABD: Test-Driven-Assurance-Based Development. ISSRE Workshops (2020)
Ashlie B. Hocking, M. Anthony Aiello
The Measurement Library: Representing Physical Types in PVS. AFM@NFM (2017)
Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Aréchiga
Input Space Partitioning to Enable Massively Parallel Proof. NFM (2017)
Ashlie B. Hocking, Benjamin D. Rodes, John C. Knight, Jack W. Davidson, Clark L. Coleman
A Proof Infrastructure for Binary Programs. NFM (2016)
Jack W. Davidson, Jason D. Hiser, Anh Nguyen-Tuong, Clark L. Coleman, William H. Hawkins, John C. Knight, Benjamin D. Rodes, Ashlie B. Hocking
A System for the Security Protection of Embedded Binary Programs. DSN Workshops (2016)
Ashlie B. Hocking, M. Anthony Aiello, John C. Knight, Nikos Aréchiga
Proving Critical Properties of Simulink Models. HASE (2016)
Ashlie B. Hocking, M. Anthony Aiello, John C. Knight
Static analysis of physical properties in Simulink models. ISSRE Workshops (2015)
Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi
Arguing Software Compliance with ISO 26262. ISSRE Workshops (2014)
Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi
Proving Model Equivalence in Model Based Design. ISSRE Workshops (2014)
M. Anthony Aiello, Ashlie B. Hocking, John C. Knight, Jonathan C. Rowanhill
SCT: A Safety Case Toolkit. ISSRE Workshops (2014)
Ashlie B. Hocking, William B. Levy
Theta-modulated input reduces intrinsic gamma oscillations in a hippocampal model. Neurocomputing 70 (10-12) (2007)
Ashlie B. Hocking, William B. Levy
Gamma oscillations in a minimal CA3 model. Neurocomputing 69 (10-12) (2006)
William B. Levy, Ashlie B. Hocking, Xiangbao Wu
Erratum to: Interpreting hippocampal function as recoding and forecasting [Neural Networks 18 (9) 1242-1264]. Neural Networks 19 (2) (2006)
Ashlie B. Hocking, William B. Levy
Computing conditional probabilities in a minimal CA3 pyramidal neuron. Neurocomputing (2005)
William B. Levy, Ashlie B. Hocking, Xiangbao Wu
Interpreting hippocampal function as recoding and forecasting. Neural Networks 18 (9) (2005)