Ganesh J. Pai

Publication Activity (10 Years)

Years Active: 2002-2020
Publications (10 Years): 2

Top Topics

Aviation Safety

Hierarchical Structures

Software Reliability

Top Venues

IEEE Trans. Reliab.

Publications

Erfan Asaadi, Ewen Denney, Jonathan Menzies, Ganesh J. Pai, Dimo Petroff
Dynamic Assurance Cases: A Pathway to Trusted Autonomy. Computer 53 (12) (2020)
Ewen Denney, Ganesh J. Pai
Composition of Safety Argument Patterns. SAFECOMP (2016)
Ewen Denney, Ganesh J. Pai
Towards a Formal Basis for Modular Safety Cases. SAFECOMP (2015)
Ewen Denney, Ganesh J. Pai, Iain Whiteside
Formal Foundations for Hierarchical Safety Cases. HASE (2015)
Ewen Denney, Ganesh J. Pai, Ibrahim Habli
Dynamic Safety Cases for Through-Life Safety Assurance. ICSE (2) (2015)
Ewen Denney, Dwight Naylor, Ganesh J. Pai
Querying Safety Cases. SAFECOMP (2014)
Ewen Denney, Ganesh J. Pai
Automating the Assembly of Aviation Safety Cases. IEEE Trans. Reliab. 63 (4) (2014)
Ganesh J. Pai
A Survey of Software Reliability Models CoRR (2013)
Ganesh J. Pai, Joanne Bechta Dugan
Empirical Analysis of Software Fault Content and Fault Proneness Using Bayesian Methods. IEEE Trans. Software Eng. 33 (10) (2007)
Joanne Bechta Dugan, Ganesh J. Pai, Hong Xu
Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems Engineering. HASE (2007)
Ganesh J. Pai, Joanne Bechta Dugan, Khalid Lateef
Bayesian Networks applied to Software IV&V. SEW (2005)
Ganesh J. Pai, Joanne Bechta Dugan
Automatic Synthesis of Dynamic Fault Trees from UML System Models. ISSRE (2002)