Follow
Patrick J. Graydon
Title
Cited by
Cited by
Year
Concept-based search and retrieval system
AD Lin, PJ Graydon, JE Busch, M Caudill, NA Chinchor, JCM Tseng, ...
US Patent 6,675,159, 2004
10322004
Ontology-based parser for natural language processing
JE Busch, AD Lin, PJ Graydon, M Caudill
US Patent 7,027,974, 2006
6022006
A new approach to creating clear safety arguments
R Hawkins, T Kelly, J Knight, P Graydon
Advances in systems safety, 3-23, 2011
1872011
Assurance based development of critical systems
PJ Graydon, JC Knight, EA Strunk
37th Annual IEEE/IFIP International Conference on Dependable Systems and …, 2007
912007
Arguing conformance
P Graydon, I Habli, R Hawkins, T Kelly, J Knight
IEEE software 29 (3), 50-57, 2012
692012
An investigation of proposed techniques for quantifying confidence in assurance arguments
PJ Graydon, CM Holloway
Safety science 92, 53-65, 2017
482017
Safety assurance driven problem formulation for mixed-criticality scheduling
P Graydon, I Bate
Proc. WMC, RTSS, 19-24, 2013
452013
Realistic safety cases for the timing of systems
P Graydon, I Bate
The Computer Journal 57 (5), 759-774, 2014
352014
Certification and Safety Cases
P Graydon, J Knight, M Green
Proceedings of the 28th International Systems Safety Conference (ISSC), 2010
232010
Using argumentation to evaluate software assurance standards
PJ Graydon, TP Kelly
Information and Software Technology 55 (9), 1551-1562, 2013
222013
Formal assurance arguments: A solution in search of a problem?
PJ Graydon
2015 45th Annual IEEE/IFIP International Conference on Dependable Systems …, 2015
172015
The nature and content of safety contracts: Challenges and suggestions for a way forward
P Graydon, I Bate
2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing …, 2014
172014
Towards a clearer understanding of context and its role in assurance argument confidence
PJ Graydon
International Conference on Computer Safety, Reliability, and Security, 139-154, 2014
152014
A method to formally evaluate safety case evidences against a system architecture model
S Björnander, R Land, P Graydon, K Lundqvist, P Conmy
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
142012
Assessing software interference management when modifying safety-related software
PJ Graydon, TP Kelly
International Conference on Computer Safety, Reliability, and Security, 132-145, 2012
122012
Success arguments: Establishing confidence in software development
P Graydon, J Knight
University of Virginia, Tech. Rep. CS-2008-10, 2008
112008
FUELEAP model-based system safety analysis
KP Woodham, P Graydon, NK Borer, KV Papathakis, T Stoia, C Balan
2018 Aviation Technology, Integration, and Operations Conference, 3362, 2018
102018
“Evidence” under a magnifying glass: Thoughts on safety argument epistemology
PJ Graydon, CM Holloway
IET Digital Library, 2015
102015
An approach to maintaining safety case evidence after a system change
O Jaradat, P Graydon, I Bate
arXiv preprint arXiv:1404.6846, 2014
102014
Assurance based development
PJ Graydon, J Knight
University of Virginia, 2010
102010
The system can't perform the operation now. Try again later.
Articles 1–20