Ganesh J. Pai
I am a research scientist
employed by SGT, Inc.,
at the NASA Ames Research Center,
in the Robust Software Engineering technical area,
of the Intelligent Systems Division (Code TI).
My research interests lie in the broad areas of systems and software engineering with a focus on dependability and safety.
Presently, I am interested in the safety assurance of flight-critical systems and software,
and in the safety aspects of airworthiness certification of unmanned aircraft, to enable their routine access to the national airspace system.
My alma mater is the University of Virginia,
from where I graduated with degrees in
Computer Engineering (PhD), and
Electrical Engineering (MS).
I am a member of
the IEEE Computer Society,
and Eta Kappa Nu.
- E. W. Denney, I. Habli and G. J. Pai.
Dynamic Safety Cases for Through-life Safety Assurance.
37th International Conference on Software Engineering (ICSE 2015) -
New Ideas and Emerging Results (NIER).
May 2015 (To Appear).
E. Denney and G. Pai.
Safety Case Patterns: Theory and Applications.
NASA Technical Memorandum NASA/TM-2015-218492.
NASA Ames Research Center. Feb. 2015.
E. W. Denney, G. J. Pai and I. J. Whiteside.
Formal Foundations for Hierarchical Safety Cases.
16th International Symposium on High Assurance Systems Engineering (HASE).
*Authors are listed in alphabetical order.