Ganesh J. Pai

According to our database, Ganesh J. Pai authored at least 31 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Architecting Safer Autonomous Aviation Systems.

Jane Fenn, Mark Nicholson, Ganesh Pai, Michael Wilkinson

CoRR, 2023

Data-Centric Operational Design Domain Characterization for Machine Learning-Based Aeronautical Products.

Fateh Kaakai, Shridhar Shreeder Adibhatla, Ganesh Pai, Emmanuelle Escorihuela

Proceedings of the Computer Safety, Reliability, and Security, 2023

2020

Dynamic Assurance Cases: A Pathway to Trusted Autonomy.

Erfan Asaadi, Ewen Denney, Jonathan Menzies, Ganesh J. Pai, Dimo Petroff

Computer, 2020

Quantifying Assurance in Learning-Enabled Systems.

Erfan Asaadi, Ewen Denney, Ganesh Pai

Proceedings of the Computer Safety, Reliability, and Security, 2020

Hazard Contribution Modes of Machine Learning Components.

Ewen Denney, Ganesh Pai, Colin Smith

Proceedings of the Workshop on Artificial Intelligence Safety, 2020

2019

The role of safety architectures in aviation safety cases.

Ewen Denney, Ganesh Pai, Iain Whiteside

Reliab. Eng. Syst. Saf., 2019

Towards Quantification of Assurance for Learning-Enabled Components.

Erfan Asaadi, Ewen Denney, Ganesh Pai

Proceedings of the 15th European Dependable Computing Conference, 2019

2018

Tool support for assurance case development.

Ewen Denney, Ganesh Pai

Autom. Softw. Eng., 2018

2017

Modeling the Safety Architecture of UAS Flight Operations.

Ewen Denney, Ganesh Pai, Iain Whiteside

Proceedings of the Computer Safety, Reliability, and Security, 2017

Model-Driven Development of Safety Architectures.

Ewen Denney, Ganesh Pai, Iain Whiteside

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

2016

Composition of Safety Argument Patterns.

Ewen Denney, Ganesh J. Pai

Proceedings of the Computer Safety, Reliability, and Security, 2016

2015

Towards a Formal Basis for Modular Safety Cases.

Ewen Denney, Ganesh J. Pai

Proceedings of the Computer Safety, Reliability, and Security, 2015

Dynamic Safety Cases for Through-Life Safety Assurance.

Ewen Denney, Ganesh J. Pai, Ibrahim Habli

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Formal Foundations for Hierarchical Safety Cases.

Ewen Denney, Ganesh J. Pai, Iain Whiteside

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014

Automating the Assembly of Aviation Safety Cases.

Ewen Denney, Ganesh J. Pai

IEEE Trans. Reliab., 2014

Querying Safety Cases.

Ewen Denney, Dwight Naylor, Ganesh J. Pai

Proceedings of the Computer Safety, Reliability, and Security, 2014

2013

A Survey of Software Reliability Models

Ganesh J. Pai

CoRR, 2013

A Formal Basis for Safety Case Patterns.

Ewen Denney, Ganesh Pai

Proceedings of the Computer Safety, Reliability, and Security, 2013

Hierarchical Safety Cases.

Ewen Denney, Ganesh Pai, Iain Whiteside

Proceedings of the NASA Formal Methods, 2013

Evidence arguments for using formal methods in software certification.

Ewen Denney, Ganesh Pai

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

1st international workshop on assurance cases for software-intensive systems (ASSURE 2013).

Ewen Denney, Ganesh Pai, Ibrahim Habli, Tim Kelly, John C. Knight

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

AdvoCATE: An Assurance Case Automation Toolset.

Ewen Denney, Ganesh Pai, Josef Pohl

Proceedings of the Computer Safety, Reliability, and Security, 2012

A Lightweight Methodology for Safety Case Assembly.

Ewen Denney, Ganesh Pai

Proceedings of the Computer Safety, Reliability, and Security, 2012

An Integrated Safety and Systems Engineering Methodology for Small Unmanned Aircraft Systems.

Ewen Denney, Ganesh Pai, Corey Ippolito, Ritchie Lee

Proceedings of the Infotech@Aerospace 2012, 2012

Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal.

Ewen Denney, Ganesh Pai, Josef Pohl

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Perspectives on software safety case development for unmanned aircraft.

Ewen Denney, Ganesh Pai, Ibrahim Habli

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

2011

Towards Measurement of Confidence in Safety Cases.

Ewen Denney, Ganesh Pai, Ibrahim Habli

Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement, 2011

2007

Empirical Analysis of Software Fault Content and Fault Proneness Using Bayesian Methods.

Ganesh J. Pai, Joanne Bechta Dugan

IEEE Trans. Software Eng., 2007

Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems Engineering.

Joanne Bechta Dugan, Ganesh J. Pai, Hong Xu

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

2005

Bayesian Networks applied to Software IV&V.

Ganesh J. Pai, Joanne Bechta Dugan, Khalid Lateef

Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

2002

Automatic Synthesis of Dynamic Fault Trees from UML System Models.

Ganesh J. Pai, Joanne Bechta Dugan

Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002