Interpreting hippocampal function as recoding and forecasting WB Levy, AB Hocking, X Wu Neural Networks 18 (9), 1242-1264, 2005 | 65 | 2005 |
Life prediction for turbopropulsion systems under dwell fatigue conditions KS Chan, MP Enright, JP Moody, B Hocking, SHK Fitch Journal of engineering for gas turbines and power 134 (12), 122501, 2012 | 29 | 2012 |
Arguing software compliance with ISO 26262 AB Hocking, J Knight, MA Aiello, S Shiraishi 2014 IEEE International Symposium on Software Reliability Engineering …, 2014 | 20 | 2014 |
Proving critical properties of Simulink models AB Hocking, MA Aiello, JC Knight, N Aréchiga 2016 IEEE 17th International Symposium on High Assurance Systems Engineering …, 2016 | 12 | 2016 |
Proving model equivalence in model based design AB Hocking, J Knight, MA Aiello, S Shiraishi 2014 IEEE International Symposium on Software Reliability Engineering …, 2014 | 9 | 2014 |
SCT: a safety case toolkit MA Aiello, AB Hocking, J Knight, J Rowanhill 2014 IEEE International Symposium on Software Reliability Engineering …, 2014 | 9 | 2014 |
Formal verification in model based development AB Hocking, JC Knight, MA Aiello, S Shiraishi SAE Technical Paper, 2015 | 7 | 2015 |
Systems theoretic process analysis of a run time assured neural network control system KL Hobbs, B Heiner, L Busse, K Dunlap, J Rowanhill, AB Hocking, ... AIAA SciTech 2023 Forum, 2664, 2023 | 6 | 2023 |
Current State of data mining DT Drewry, L Gu, AB Hocking, K Kang, RC Schutt III, CM Taylor, JL Pfaltz University of Virginia, Charlottesville, VA, 2002 | 5 | 2002 |
A system for the security protection of embedded binary programs JW Davidson, JD Hiser, A Nguyen-Tuong, CL Coleman, WH Hawkins, ... 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems …, 2016 | 4 | 2016 |
Proving properties of simulink models that include discrete valued functions AB Hocking, MA Aiello, JC Knight, S Shiraishi, M Yamaura, N Arechiga SAE Technical Paper, 2016 | 4 | 2016 |
Static analysis of physical properties in Simulink models AB Hocking, MA Aiello, JC Knight 2015 IEEE International Symposium on Software Reliability Engineering …, 2015 | 4 | 2015 |
Gamma oscillations in a minimal CA3 model AB Hocking, WB Levy Neurocomputing 69 (10-12), 1244-1248, 2006 | 4 | 2006 |
Input space partitioning to enable massively parallel proof AB Hocking, MA Aiello, JC Knight, N Aréchiga NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017 | 3 | 2017 |
Verification System for System Design Consistency S Shiraishi, AB Hocking, MA Aiello, JC Knight US Patent App. 14/491,915, 2016 | 3 | 2016 |
Model-based compositional reasoning for complex systems of systems (sos) M Aiello, BD Rodes, AB Hocking, JC Rowanhill, JC Knight, AJ Bateman, ... Dependable Computing LLC Charlottesville United States, Tech. Rep., 2016 | 2 | 2016 |
Real-World Contracts - Rich Semantics for Formal Interfaces AB Hocking Safe and Secure Systems and Software Symposium, 2015 | 2 | 2015 |
Theta-modulated input reduces intrinsic gamma oscillations in a hippocampal model AB Hocking, WB Levy Neurocomputing 70 (10-12), 2074-2078, 2007 | 2 | 2007 |
An analysis of implementing PVS in SPARK Ada AB Hocking, JC Rowanhill, BL Di Vito 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 1-7, 2020 | 1 | 2020 |
Visualizing properties of Simulink models GN Anderson, AB Hocking, JC Knight IET Digital Library, 2016 | 1 | 2016 |