Ganesh J. Pai

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