Jonathan C. Rowanhill

Affiliations:
  • University of Virginia


According to our database1, Jonathan C. Rowanhill authored at least 14 papers between 2004 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Bridging the Gap: Applying Assurance Arguments to MIL-HDBK-516C Certification of a Neural Network Control System with ASIF Run Time Assurance Architecture.
CoRR, 2023

2022
Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System.
CoRR, 2022

2020
TDABD: Test-Driven-Assurance-Based Development.
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

Unit Lemmas for Detecting Requirement and Specification Flaws.
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

2016
The Indispensable Role of Rationale in Safety Standards.
Proceedings of the Computer Safety, Reliability, and Security, 2016

Domain Arguments in Safety Critical Software Development.
Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

2015
A Safety Condition Monitoring System.
Proceedings of the Computer Safety, Reliability, and Security, 2015

A Comprehensive Safety Lifecycle.
Proceedings of the Computer Safety, Reliability, and Security, 2015

2014
SCT: A Safety Case Toolkit.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2007
Dynamic System-Wide Reconfiguration of Grid Deployments in Response to Intrusion Detections.
Proceedings of the High Performance Computing and Communications, 2007

Meeting virtual organization performance goals through adaptive grid reconfiguration.
Proceedings of the 8th IEEE/ACM International Conference on Grid Computing (GRID 2007), 2007

2006
Secure and practical defense against code-injection attacks using software dynamic translation.
Proceedings of the 2nd International Conference on Virtual Execution Environments, 2006

2005
The Development of Dependable and Survivable Grids.
Proceedings of the Computational Science, 2005

2004
Efficient Hierarchic Management For Reconfiguration of Networked Information Systems.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004


  Loading...