| Empirical analysis of software fault content and fault proneness using Bayesian methods GJ Pai, JB Dugan IEEE Transactions on Software Engineering 33 (10), 675-686, 2007 | 291 | 2007 |
| Automatic synthesis of dynamic fault trees from UML system models GJ Pai, JB Dugan 13th International Symposium on Software Reliability Engineering (ISSRE …, 2002 | 189 | 2002 |
| Tool support for assurance case development E Denney, G Pai Automated Software Engineering, 2017 | 117 | 2017 |
| Towards Measurement of Confidence in Safety Cases E Denney, G Pai, I Habli ACM/IEEE International Symposium on Empirical Software Engineering and …, 2011 | 113 | 2011 |
| AdvoCATE: An Assurance Case Automation Toolset E Denney, G Pai, J Pohl Workshop on Next Generation of System Assurance Approaches for Safety …, 2012 | 107 | 2012 |
| Dynamic Safety Cases for Through-life Safety Assurance E Denney, G Pai, I Habli 37th International Conference on Software Engineering (ICSE 2015), 2015 | 106 | 2015 |
| A formal basis for safety case patterns E Denney, G Pai Computer Safety, Reliability, and Security: 32nd International Conference …, 2013 | 69 | 2013 |
| A Lightweight Methodology for Safety Case Assembly E Denney, G Pai 31st International Conference on Computer Safety, Reliability and Security …, 2012 | 51 | 2012 |
| Automating the Assembly of Aviation Safety Cases E Denney, G Pai IEEE Transactions on Reliability 63 (4), 830 - 849, 2014 | 47 | 2014 |
| A survey of software reliability models GJ Pai arXiv preprint arXiv:1304.4539, 2013 | 46 | 2013 |
| Dynamic Assurance Cases: A Pathway to Trusted Autonomy E Asaadi, E Denney, J Menzies, GJ Pai, D Petroff Computer 53 (12), 35-46, 2020 | 40 | 2020 |
| The role of safety architectures in aviation safety cases E Denney, G Pai, I Whiteside Reliability Engineering & System Safety 191, 106502, 2019 | 39 | 2019 |
| Evidence arguments for using formal methods in software certification E Denney, G Pai 2013 IEEE International Symposium on Software Reliability Engineering …, 2013 | 34 | 2013 |
| Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal E Denney, G Pai, J Pohl 17th IEEE International Conference on Engineering of Complex Computer …, 2012 | 31 | 2012 |
| Safety Case Patterns: Theory and Applications EW Denney, GJ Pai NASA Technical Memorandum, 2015 | 30 | 2015 |
| Towards a Rigorous Basis for Specific Operations Risk Assessment of UAS E Denney, G Pai, M Johnson 37th AIAA/IEEE Digital Avionics Systems Conference (DASC 2018), 2018 | 29 | 2018 |
| Making a Risk Informed Safety Case for Small Unmanned Aircraft System Operations R Clothier, E Denney, G Pai 17th AIAA Aviation Technology, Integration, and Operations Conference, 2017 | 23 | 2017 |
| Formal foundations for hierarchical safety cases E Denney, G Pai, I Whiteside 2015 IEEE 16th International Symposium on High Assurance Systems Engineering …, 2015 | 21 | 2015 |
| Architecting a Safety Case for UAS Flight Operations E Denney, G Pai 34th International System Safety Conference (ISSC 2016), 2016 | 20 | 2016 |
| Modeling the safety architecture of UAS flight operations E Denney, G Pai, I Whiteside Computer Safety, Reliability, and Security: 36th International Conference …, 2017 | 19 | 2017 |
Ibrahim HabliProfessor of Safety-Critical Systems at the University of YorkVerified email at york.ac.uk
