Ganesh J. Pai
Ganesh J. Pai
KBR / NASA Ames Research Center
Verified email at ieee.org - Homepage
Title
Cited by
Cited by
Year
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
2432007
Automatic synthesis of dynamic fault trees from UML system models
GJ Pai, JB Dugan
13th International Symposium on Software Reliability Engineering (ISSRE …, 2002
1742002
Towards Measurement of Confidence in Safety Cases
E Denney, G Pai, I Habli
ACM/IEEE International Symposium on Empirical Software Engineering and …, 2011
982011
AdvoCATE: An Assurance Case Automation Toolset
E Denney, G Pai, J Pohl
Workshop on Next Generation of System Assurance Approaches for Safety …, 2012
802012
Dynamic Safety Cases for Through-life Safety Assurance
E Denney, G Pai, I Habli
37th International Conference on Software Engineering (ICSE 2015), 2015
632015
A formal basis for safety case patterns
E Denney, G Pai
International Conference on Computer Safety, Reliability, and Security, 21-32, 2013
602013
Tool support for assurance case development
E Denney, G Pai
Automated Software Engineering, 2017
592017
A Lightweight Methodology for Safety Case Assembly
E Denney, G Pai
31st International Conference on Computer Safety, Reliability and Security …, 2012
432012
A survey of software reliability models
GJ Pai
arXiv Preprint, 2002
38*2002
Automating the Assembly of Aviation Safety Cases
E Denney, G Pai
IEEE Transactions on Reliability 63 (4), 830 - 849, 2014
302014
Safety Case Patterns: Theory and Applications
EW Denney, GJ Pai
NASA Technical Memorandum, 2015
262015
Evidence arguments for using formal methods in software certification
E Denney, G Pai
2013 IEEE International Symposium on Software Reliability Engineering …, 2013
252013
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
232012
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
192017
Automating the generation of heterogeneous aviation safety cases
E Denney, G Pai, J Pohl
NASA Contractor Report, 2012
192012
Formal foundations for hierarchical safety cases
E Denney, G Pai, I Whiteside
2015 IEEE 16th International Symposium on High Assurance Systems Engineering …, 2015
182015
Perspectives on software safety case development for unmanned aircraft
E Denney, G Pai, I Habli
IEEE/IFIP International Conference on Dependable Systems and Networks (DSN …, 2012
182012
Architecting a Safety Case for UAS Flight Operations
E Denney, G Pai
34th International System Safety Conference (ISSC 2016), 2016
172016
Querying safety cases
E Denney, D Naylor, G Pai
International Conference on Computer Safety, Reliability, and Security, 294-309, 2014
162014
Bayesian Networks applied to Software IV&V
G Pai, J Bechta Dugan, K Lateef
29th Annual IEEE/NASA Software Engineering Workshop (SEW) 2005, 293-304, 2005
162005
The system can't perform the operation now. Try again later.
Articles 1–20