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
10732004
Ontology-based parser for natural language processing
JE Busch, AD Lin, PJ Graydon, M Caudill
US Patent 7,027,974, 2006
6392006
A new approach to creating clear safety arguments
R Hawkins, T Kelly, J Knight, P Graydon
Advances in Systems Safety: Proceedings of the Nineteenth Safety-Critical …, 2011
2082011
Assurance based development of critical systems
PJ Graydon, JC Knight, EA Strunk
37th Annual IEEE/IFIP International Conference on Dependable Systems and …, 2007
992007
Arguing conformance
P Graydon, I Habli, R Hawkins, T Kelly, J Knight
IEEE software 29 (3), 50-57, 2012
712012
An investigation of proposed techniques for quantifying confidence in assurance arguments
PJ Graydon, CM Holloway
Safety science 92, 53-65, 2017
622017
Safety assurance driven problem formulation for mixed-criticality scheduling
P Graydon, I Bate
Proc. WMC, RTSS, 19-24, 2013
492013
Realistic safety cases for the timing of systems
P Graydon, I Bate
The Computer Journal 57 (5), 759-774, 2014
372014
Using argumentation to evaluate software assurance standards
PJ Graydon, TP Kelly
Information and Software Technology 55 (9), 1551-1562, 2013
232013
Certification and Safety Cases
P Graydon, J Knight, M Green
Proceedings of the 28th International Systems Safety Conference (ISSC), 2010
232010
Formal assurance arguments: A solution in search of a problem?
PJ Graydon
2015 45th Annual IEEE/IFIP International Conference on Dependable Systems …, 2015
182015
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
182014
Towards a clearer understanding of context and its role in assurance argument confidence
PJ Graydon
Computer Safety, Reliability, and Security: 33rd International Conference …, 2014
172014
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
162012
Assessing software interference management when modifying safety-related software
PJ Graydon, TP Kelly
Computer Safety, Reliability, and Security: SAFECOMP 2012 Workshops: Sassur …, 2012
122012
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
112018
Deriving safety contracts to support architecture design of safety critical systems
I Sljivo, O Jaradat, I Bate, P Graydon
2015 IEEE 16th International Symposium on High Assurance Systems Engineering …, 2015
112015
Success arguments: Establishing confidence in software development
P Graydon, J Knight
University of Virginia, Tech. Rep. CS-2008-10, 2008
112008
“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
The system can't perform the operation now. Try again later.
Articles 1–20