Concepedia

Ganesh Pai

GP

Statistics

Publications

22

Citations

1K

H-Index

17

Active since

2002

Affiliations

Ames Research Center(Current)

Stinger Ghaffarian Technologies (United States)

University of Virginia

University of York

Ganesh Pai is an author at Ames Research Center specializing in systems engineering, engineering, and formal verification.

Top concepts

EngineeringSystems EngineeringComputer ScienceSoftware DesignSoftware EngineeringVerificationSafety ScienceFormal VerificationSoftware AnalysisFormal Methods

Publications per year

2002–2020

22

Publications

22

Empirical Analysis of Software Fault Content and Fault Proneness Using Bayesian Methods

Ganesh Pai, J.B. Dugan · IEEE Transactions on Software Engineering · 2007 · 199 citations

Software Maintenance, Software Reliability Testing, Engineering +23

Automatic synthesis of dynamic fault trees from UML system models

Ganesh Pai, J.B. Dugan · 2002 · 127 citations

Engineering, Software Engineering, System Synthesis +23

Tool support for assurance case development

Ewen Denney, Ganesh Pai · Automated Software Engineering · 2017 · 100 citations

Software Maintenance, Engineering, Program Analysis +10

Towards Measurement of Confidence in Safety Cases

Ewen Denney, Ganesh Pai, Ibrahim Habli · 2011 · 83 citations

Safety Case, Engineering, Verification +24

Dynamic Safety Cases for Through-Life Safety Assurance

Ewen Denney, Ganesh Pai, Ibrahim Habli · 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering · 2015 · 76 citations

Safety Case, Engineering, Dynamic Safety Cases +21

1–5 of 22