Ganesh Pai

27 papers A* 1A 3B 7Misc 1Journal 8Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
Message from the Industry Track Co-Chairs: ISSREW 2025.
ISSREW
Daniel Fireman, Ganesh Pai
2025 J jnl
Relating System Safety and Machine Learnt Model Performance.
CoRR
Ganesh Pai
2024 B conf
Reconciling Safety Measurement and Dynamic Assurance.
SAFECOMP
Ewen Denney, Ganesh Pai
2024 J jnl
Reconciling Safety Measurement and Dynamic Assurance.
CoRR
Ewen Denney, Ganesh Pai
2023 J jnl
Architecting Safer Autonomous Aviation Systems.
CoRR
Jane Fenn, Mark Nicholson, Ganesh Pai, Michael Wilkinson
2023 B conf
Data-Centric Operational Design Domain Characterization for Machine Learning-Based Aeronautical Products.
SAFECOMP
Fateh Kaakai, Shridhar Shreeder Adibhatla, Ganesh Pai, Emmanuelle Escorihuela
2023 J jnl
Data-centric Operational Design Domain Characterization for Machine Learning-based Aeronautical Products.
CoRR
Fateh Kaakai, Shridhar Shreeder Adibhatla, Ganesh Pai, Emmanuelle Escorihuela
2023 J jnl
Towards Quantification of Assurance for Learning-enabled Components.
CoRR
Erfan Asaadi, Ewen Denney, Ganesh Pai
2020 — conf
Hazard Contribution Modes of Machine Learning Components.
SafeAI@AAAI
Ewen Denney, Ganesh Pai, Colin Smith
2020 B conf
Quantifying Assurance in Learning-Enabled Systems.
SAFECOMP
Erfan Asaadi, Ewen Denney, Ganesh Pai
2020 J jnl
Quantifying Assurance in Learning-enabled Systems.
CoRR
Erfan Asaadi, Ewen Denney, Ganesh Pai
2019 J jnl
The role of safety architectures in aviation safety cases.
Reliab. Eng. Syst. Saf.
Ewen Denney, Ganesh Pai, Iain Whiteside
2019 Misc conf
Towards Quantification of Assurance for Learning-Enabled Components.
EDCC
Erfan Asaadi, Ewen Denney, Ganesh Pai
2018 J jnl
Tool support for assurance case development.
Autom. Softw. Eng.
Ewen Denney, Ganesh Pai
2017 A conf
Model-Driven Development of Safety Architectures.
MoDELS
Ewen Denney, Ganesh Pai, Iain Whiteside
2017 B conf
Modeling the Safety Architecture of UAS Flight Operations.
SAFECOMP
Ewen Denney, Ganesh Pai, Iain Whiteside
2013 A* conf
1st international workshop on assurance cases for software-intensive systems (ASSURE 2013).
ICSE
Ewen Denney, Ganesh Pai, Ibrahim Habli, Tim Kelly, John C. Knight
2013 B conf
A Formal Basis for Safety Case Patterns.
SAFECOMP
Ewen Denney, Ganesh Pai
2013 — conf
Evidence arguments for using formal methods in software certification.
ISSRE (Supplemental Proceedings)
Ewen Denney, Ganesh Pai
2013 — conf
Hierarchical Safety Cases.
NASA Formal Methods
Ewen Denney, Ganesh Pai, Iain Whiteside
2013 — ed.
Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, ASSURE '13, San Francisco, California, USA, May 19, 2013
ASSURE@ICSE
Ewen Denney, Ibrahim Habli, Tim Kelly, John C. Knight, Ganesh Pai
2012 B conf
A Lightweight Methodology for Safety Case Assembly.
SAFECOMP
Ewen Denney, Ganesh Pai
2012 — conf
AdvoCATE: An Assurance Case Automation Toolset.
SAFECOMP Workshops
Ewen Denney, Ganesh Pai, Josef Pohl
2012 — conf
An Integrated Safety and Systems Engineering Methodology for Small Unmanned Aircraft Systems.
Infotech@Aerospace
Ewen Denney, Ganesh Pai, Corey Ippolito, Ritchie Lee
2012 B conf
Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal.
ICECCS
Ewen Denney, Ganesh Pai, Josef Pohl
2012 A conf
Perspectives on software safety case development for unmanned aircraft.
DSN
Ewen Denney, Ganesh Pai, Ibrahim Habli
2011 A conf
Towards Measurement of Confidence in Safety Cases.
ESEM
Ewen Denney, Ganesh Pai, Ibrahim Habli