( en | de | ru )

 

Disambiguation of "Hocking, Ashlie B."

Author of the publication

copydeleteadd this publication to your clipboard
A System for the Security Protection of Embedded Binary Programs.

, , , , , , , and . DSN Workshops, page 234-237. IEEE Computer Society, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

B Jahnke

Sonny B

B Klösgen

B Wiederanders

B Hause

 

Other publications of authors with the same name

Interpreting hippocampal function as recoding and forecasting., , and . Neural Networks, 18 (9): 1242-1264 (2005)Polygon Merge: A Geometric Algorithm Verified Using PVS., and . NFM, volume 12673 of Lecture Notes in Computer Science, page 79-94. Springer, (2021)The Measurement Library: Representing Physical Types in PVS., and . AFM@NFM, volume 5 of Kalpa Publications in Computing, page 77-92. EasyChair, (2017)Static analysis of physical properties in Simulink models., , and . ISSRE Workshops, page 8-11. IEEE Computer Society, (2015)Erratum to: Interpreting hippocampal function as recoding and forecasting Neural Networks 18 (9) 1242-1264., , and . Neural Networks, 19 (2): 248 (2006)Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System., , , , , , and . CoRR, (2022)A System for the Security Protection of Embedded Binary Programs., , , , , , , and . DSN Workshops, page 234-237. IEEE Computer Society, (2016)SCT: A Safety Case Toolkit., , , and . ISSRE Workshops, page 216-219. IEEE Computer Society, (2014)Gamma oscillations in a minimal CA3 model., and . Neurocomputing, 69 (10-12): 1244-1248 (2006)Bridging the Gap: Applying Assurance Arguments to MIL-HDBK-516C Certification of a Neural Network Control System with ASIF Run Time Assurance Architecture., , , and . CoRR, (2023)