Ashlie B. Hocking
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
2
Active years
2014–2020
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ISSRE | Unit Lemmas for Detecting Requirement and Specification Flaws. | Ashlie B. Hocking, Jonathan C. Rowanhill, Ben L. Di Vito |
| 2020 | ISSRE | TDABD: Test-Driven-Assurance-Based Development. | Jonathan C. Rowanhill, Ashlie B. Hocking, William Hawkins |
| 2016 | DSN | 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 |
| 2015 | ISSRE | Static analysis of physical properties in Simulink models. | Ashlie B. Hocking, M. Anthony Aiello, John C. Knight |
| 2014 | ISSRE | SCT: A Safety Case Toolkit. | M. Anthony Aiello, Ashlie B. Hocking, John C. Knight, Jonathan C. Rowanhill |
| 2014 | ISSRE | Proving Model Equivalence in Model Based Design. | Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi |
| 2014 | ISSRE | Arguing Software Compliance with ISO 26262. | Ashlie B. Hocking, John C. Knight, M. Anthony Aiello, Shinichi Shiraishi |