Computing conditional probabilities in a minimal CA3 pyramidal neuron. - Ashlie B. Hocking; William B. Levy (Neurocomputing, 2005)

Interpreting hippocampal function as recoding and forecasting. - William B. Levy; Ashlie B. Hocking; Xiangbao Wu (Neural Networks, 2005)

Gamma oscillations in a minimal CA3 model. - Ashlie B. Hocking; William B. Levy (Neurocomputing, 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)

Theta-modulated input reduces intrinsic gamma oscillations in a hippocampal model. - Ashlie B. Hocking; William B. Levy (Neurocomputing, 2007)

SCT: A Safety Case Toolkit. - M. Anthony Aiello; Ashlie B. Hocking; John C. Knight; Jonathan C. Rowanhill (ISSRE Workshops, 2014)

Proving Model Equivalence in Model Based Design. - Ashlie B. Hocking; John C. Knight; M. Anthony Aiello; Shinichi Shiraishi (ISSRE Workshops, 2014)

Arguing Software Compliance with ISO 26262. - Ashlie B. Hocking; John C. Knight; M. Anthony Aiello; Shinichi Shiraishi (ISSRE Workshops, 2014)

Static analysis of physical properties in Simulink models. - Ashlie B. Hocking; M. Anthony Aiello; John C. Knight (ISSRE Workshops, 2015)

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 (DSN Workshops, 2016)

Proving Critical Properties of Simulink Models. - Ashlie B. Hocking; M. Anthony Aiello; John C. Knight; Nikos Aréchiga (HASE, 2016)

A Proof Infrastructure for Binary Programs. - Ashlie B. Hocking; Benjamin D. Rodes; John C. Knight; Jack W. Davidson; Clark L. Coleman (NFM, 2016)

The Measurement Library: Representing Physical Types in PVS. - Ashlie B. Hocking; M. Anthony Aiello (AFM@NFM, 2017)

Input Space Partitioning to Enable Massively Parallel Proof. - Ashlie B. Hocking; M. Anthony Aiello; John C. Knight; Nikos Aréchiga (NFM, 2017)

Unit Lemmas for Detecting Requirement and Specification Flaws. - Ashlie B. Hocking; Jonathan C. Rowanhill; Ben L. Di Vito (ISSRE Workshops, 2020)

TDABD: Test-Driven-Assurance-Based Development. - Jonathan C. Rowanhill; Ashlie B. Hocking; William Hawkins 001 (ISSRE Workshops, 2020)

Polygon Merge: A Geometric Algorithm Verified Using PVS. - Ben L. Di Vito; Ashlie B. Hocking (NFM, 2021)

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 003 (CoRR, 2022)

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 003; Kerianne L. Hobbs (CoRR, 2023)