| Concept-based search and retrieval system AD Lin, PJ Graydon, JE Busch, M Caudill, NA Chinchor, JCM Tseng, ... US Patent 6,675,159, 2004 | 1082 | 2004 |
| Ontology-based parser for natural language processing JE Busch, AD Lin, PJ Graydon, M Caudill US Patent 7,027,974, 2006 | 650 | 2006 |
| 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 | 223 | 2011 |
| Assurance based development of critical systems PJ Graydon, JC Knight, EA Strunk 37th Annual IEEE/IFIP International Conference on Dependable Systems and …, 2007 | 102 | 2007 |
| Arguing conformance P Graydon, I Habli, R Hawkins, T Kelly, J Knight IEEE software 29 (3), 50-57, 2012 | 72 | 2012 |
| An investigation of proposed techniques for quantifying confidence in assurance arguments PJ Graydon, CM Holloway Safety science 92, 53-65, 2017 | 71 | 2017 |
| Safety assurance driven problem formulation for mixed-criticality scheduling P Graydon, I Bate Proc. WMC, RTSS, 19-24, 2013 | 54 | 2013 |
| Realistic safety cases for the timing of systems P Graydon, I Bate The Computer Journal 57 (5), 759-774, 2014 | 38 | 2014 |
| Using argumentation to evaluate software assurance standards PJ Graydon, TP Kelly Information and Software Technology 55 (9), 1551-1562, 2013 | 25 | 2013 |
| Certification and Safety Cases P Graydon, J Knight, M Green Proceedings of the 28th International Systems Safety Conference (ISSC), 2010 | 23 | 2010 |
| 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 | 21 | 2014 |
| Formal assurance arguments: A solution in search of a problem? PJ Graydon 2015 45th Annual IEEE/IFIP International Conference on Dependable Systems …, 2015 | 20 | 2015 |
| Towards a clearer understanding of context and its role in assurance argument confidence PJ Graydon Computer Safety, Reliability, and Security: 33rd International Conference …, 2014 | 19 | 2014 |
| 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 | 17 | 2012 |
| 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 | 12 | 2018 |
| 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 | 12 | 2015 |
| Assessing software interference management when modifying safety-related software PJ Graydon, TP Kelly Computer Safety, Reliability, and Security: SAFECOMP 2012 Workshops: Sassur …, 2012 | 12 | 2012 |
| Success arguments: Establishing confidence in software development P Graydon, J Knight University of Virginia, Tech. Rep. CS-2008-10, 2008 | 11 | 2008 |
| “Evidence” under a magnifying glass: Thoughts on safety argument epistemology PJ Graydon, CM Holloway IET Digital Library, 2015 | 10 | 2015 |
| An approach to maintaining safety case evidence after a system change O Jaradat, P Graydon, I Bate arXiv preprint arXiv:1404.6846, 2014 | 10 | 2014 |
