Skip to content

Ganesh Pai

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

16

Venues

9

Active years

2011–2025

Best venue rank

A*

Where they publish

Papers

16 indexed papers, newest first.

YearVenueTitleAuthors
2025ISSREMessage from the Industry Track Co-Chairs: ISSREW 2025.Daniel Fireman, Ganesh Pai
2024SAFECOMPReconciling Safety Measurement and Dynamic Assurance.Ewen Denney, Ganesh Pai
2023SAFECOMPData-Centric Operational Design Domain Characterization for Machine Learning-Based Aeronautical Products.Fateh Kaakai, Shridhar Shreeder Adibhatla, Ganesh Pai, Emmanuelle Escorihuela
2020AAAIHazard Contribution Modes of Machine Learning Components.Ewen Denney, Ganesh Pai, Colin Smith
2020SAFECOMPQuantifying Assurance in Learning-Enabled Systems.Erfan Asaadi, Ewen Denney, Ganesh Pai
2019EDCCTowards Quantification of Assurance for Learning-Enabled Components.Erfan Asaadi, Ewen Denney, Ganesh Pai
2017MODELSModel-Driven Development of Safety Architectures.Ewen Denney, Ganesh Pai, Iain Whiteside
2017SAFECOMPModeling the Safety Architecture of UAS Flight Operations.Ewen Denney, Ganesh Pai, Iain Whiteside
2013ICSE1st international workshop on assurance cases for software-intensive systems (ASSURE 2013).Ewen Denney, Ganesh Pai, Ibrahim Habli, Tim Kelly, John C. Knight
2013ISSREEvidence arguments for using formal methods in software certification.Ewen Denney, Ganesh Pai
2013SAFECOMPA Formal Basis for Safety Case Patterns.Ewen Denney, Ganesh Pai
2012DSNPerspectives on software safety case development for unmanned aircraft.Ewen Denney, Ganesh Pai, Ibrahim Habli
2012ICECCSHeterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal.Ewen Denney, Ganesh Pai, Josef Pohl
2012SAFECOMPA Lightweight Methodology for Safety Case Assembly.Ewen Denney, Ganesh Pai
2012SAFECOMPAdvoCATE: An Assurance Case Automation Toolset.Ewen Denney, Ganesh Pai, Josef Pohl
2011ESEMTowards Measurement of Confidence in Safety Cases.Ewen Denney, Ganesh Pai, Ibrahim Habli