Ashlie B. Hocking

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