Ganesh Pai

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 13

Top Topics

Fuel Consumption

Intelligent Behavior

Model Driven Architecture

Top Venues

Autom. Softw. Eng.

Publications

Ewen Denney, Ganesh Pai
Reconciling Safety Measurement and Dynamic Assurance. CoRR (2024)
Erfan Asaadi, Ewen Denney, Ganesh Pai
Towards Quantification of Assurance for Learning-enabled Components. CoRR (2023)
Fateh Kaakai, Shridhar "Shreeder" Adibhatla, Ganesh Pai, Emmanuelle Escorihuela
Data-centric Operational Design Domain Characterization for Machine Learning-based Aeronautical Products. CoRR (2023)
Jane Fenn, Mark Nicholson, Ganesh Pai, Michael Wilkinson
Architecting Safer Autonomous Aviation Systems. CoRR (2023)
Fateh Kaakai, Shridhar Shreeder Adibhatla, Ganesh Pai, Emmanuelle Escorihuela
Data-Centric Operational Design Domain Characterization for Machine Learning-Based Aeronautical Products. SAFECOMP (2023)
Erfan Asaadi, Ewen Denney, Ganesh Pai
Quantifying Assurance in Learning-Enabled Systems. SAFECOMP (2020)
Erfan Asaadi, Ewen Denney, Ganesh Pai
Quantifying Assurance in Learning-enabled Systems. CoRR (2020)
Ewen Denney, Ganesh Pai, Colin Smith
Hazard Contribution Modes of Machine Learning Components. SafeAI@AAAI (2020)
Erfan Asaadi, Ewen Denney, Ganesh Pai
Towards Quantification of Assurance for Learning-Enabled Components. EDCC (2019)
Ewen Denney, Ganesh Pai, Iain Whiteside
The role of safety architectures in aviation safety cases. Reliab. Eng. Syst. Saf. 191 (2019)
Ewen Denney, Ganesh Pai
Tool support for assurance case development. Autom. Softw. Eng. 25 (3) (2018)
Ewen Denney, Ganesh Pai, Iain Whiteside
Modeling the Safety Architecture of UAS Flight Operations. SAFECOMP (2017)
Ewen Denney, Ganesh Pai, Iain Whiteside
Model-Driven Development of Safety Architectures. MoDELS (2017)
Ewen Denney, Ganesh Pai
Evidence arguments for using formal methods in software certification. ISSRE (Supplemental Proceedings) (2013)
Ewen Denney, Ganesh Pai, Ibrahim Habli, Tim Kelly, John C. Knight
1st international workshop on assurance cases for software-intensive systems (ASSURE 2013). ICSE (2013)
Ewen Denney, Ganesh Pai
A Formal Basis for Safety Case Patterns. SAFECOMP (2013)
Ewen Denney, Ganesh Pai, Iain Whiteside
Hierarchical Safety Cases. NASA Formal Methods (2013)
Ewen Denney, Ganesh Pai
A Lightweight Methodology for Safety Case Assembly. SAFECOMP (2012)
Ewen Denney, Ganesh Pai, Ibrahim Habli
Perspectives on software safety case development for unmanned aircraft. DSN (2012)
Ewen Denney, Ganesh Pai, Corey Ippolito, Ritchie Lee
An Integrated Safety and Systems Engineering Methodology for Small Unmanned Aircraft Systems. Infotech@Aerospace (2012)
Ewen Denney, Ganesh Pai, Josef Pohl
AdvoCATE: An Assurance Case Automation Toolset. SAFECOMP Workshops (2012)
Ewen Denney, Ganesh Pai, Josef Pohl
Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal. ICECCS (2012)
Ewen Denney, Ganesh Pai, Ibrahim Habli
Towards Measurement of Confidence in Safety Cases. ESEM (2011)