フォロー
Ganesh J. Pai
Ganesh J. Pai
KBR / NASA Ames Research Center
確認したメール アドレス: ieee.org - ホームページ
タイトル
引用先
引用先
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
2962007
Automatic synthesis of dynamic fault trees from UML system models
GJ Pai, JB Dugan
13th International Symposium on Software Reliability Engineering (ISSRE …, 2002
1912002
Tool support for assurance case development
E Denney, G Pai
Automated Software Engineering, 2017
1322017
AdvoCATE: An Assurance Case Automation Toolset
E Denney, G Pai, J Pohl
Workshop on Next Generation of System Assurance Approaches for Safety …, 2012
1292012
Towards Measurement of Confidence in Safety Cases
E Denney, G Pai, I Habli
ACM/IEEE International Symposium on Empirical Software Engineering and …, 2011
1232011
Dynamic Safety Cases for Through-life Safety Assurance
E Denney, G Pai, I Habli
37th International Conference on Software Engineering (ICSE 2015), 2015
1202015
A formal basis for safety case patterns
E Denney, G Pai
Computer Safety, Reliability, and Security: 32nd International Conference …, 2013
772013
The role of safety architectures in aviation safety cases
E Denney, G Pai, I Whiteside
Reliability Engineering & System Safety 191, 106502, 2019
562019
Dynamic Assurance Cases: A Pathway to Trusted Autonomy
E Asaadi, E Denney, J Menzies, GJ Pai, D Petroff
Computer 53 (12), 35-46, 2020
552020
Automating the Assembly of Aviation Safety Cases
E Denney, G Pai
IEEE Transactions on Reliability 63 (4), 830 - 849, 2014
552014
A Lightweight Methodology for Safety Case Assembly
E Denney, G Pai
31st International Conference on Computer Safety, Reliability and Security …, 2012
542012
A survey of software reliability models
GJ Pai
arXiv preprint arXiv:1304.4539, 2013
472013
Evidence arguments for using formal methods in software certification
E Denney, G Pai
2013 IEEE International Symposium on Software Reliability Engineering …, 2013
362013
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
352018
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
342012
Safety Case Patterns: Theory and Applications
EW Denney, GJ Pai
NASA Technical Memorandum, 2015
322015
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
292017
Modeling the safety architecture of UAS flight operations
E Denney, G Pai, I Whiteside
Computer Safety, Reliability, and Security: 36th International Conference …, 2017
252017
Architecting a Safety Case for UAS Flight Operations
E Denney, G Pai
34th International System Safety Conference (ISSC 2016), 2016
252016
Formal foundations for hierarchical safety cases
E Denney, G Pai, I Whiteside
2015 IEEE 16th International Symposium on High Assurance Systems Engineering …, 2015
232015
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20