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 AIAA,
the IEEE,
the IEEE Computer Society,
and Eta Kappa Nu.
Events
28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013).
Selected Recent Publications*
2013
E. W. Denney, G. J. Pai and I. J. Whiteside.
Hierarchical Safety Cases.
5th NASA Formal Methods Symposium (NFM), in LNCS 7871. pp. 478-483. May 2013.
2012
E. W. Denney, G. J. Pai and J. M. Pohl.
AdvoCATE: An Assurance Case Automation Toolset.
31st International Conference on Computer Safety, Reliability and Security (SAFECOMP) Workshops, LNCS 7613, pp. 8-21.
Sept. 2012.
E. W. Denney and G. J. Pai.
A Lightweight Methodology for Safety Case Assembly.
31st International Conference on Computer Safety, Reliability and Security (SAFECOMP), LNCS 7612, pp. 1-12.
Sept. 2012.
E. W. Denney, G. J. Pai and J. M. Pohl.
Heterogeneous Aviation Safety Cases:
Integrating the Formal and the Non-formal.
17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS).
July 2012.
E. W. Denney, I. Habli and G. J. Pai.
Perspectives on Software Safety Case Development for Unmanned Aircraft.
42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
June 2012.
E. W. Denney, C. Ippolito, R. Lee and G. J. Pai.
An Integrated Safety and Systems Engineering Methodology for Small Unmanned Aircraft Systems.
AIAA Infotech @ Aerospace Conference. AIAA 2012-2572.
June 2012.
2011
E. W. Denney, I. Habli and G. J. Pai.
Towards Measurement of Confidence in Safety Cases.
5th IEEE/ACM International Conference on Empirical Software Engineering and Measurement (ESEM).
Sept. 2011.
E. W. Denney, G. J. Pai and J. M. Pohl.
Automating the Generation of Heterogeneous Aviation Safety Cases.
Technical Report No. NASA/CR-2011-215983. NASA Ames Research Center.
Aug. 2011.
*Authors are listed in alphabetical order.
For a complete list of publications, go
here.
