NASA Logo, National Aeronautics and Space Administration

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

Selected Recent Publications*

2014


  • E. W. Denney, D. Naylor and G. J. Pai. Querying Safety Cases. 3rd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2014). LNCS 8666, pp. 294-309. Sep. 2014.

  • E. W. Denney and G. J. Pai. Automating the Assembly of Aviation Safety Cases. IEEE Transactions on Reliability (Early Access). 2014.

  • R. Berthold, E. Denney, M. Fladeland, G. Pai, B. Storms and M. Sumich. Assuring Ground-based Detect and Avoid for UAS Operations. 33rd IEEE/AIAA Digital Avionics Systems Conference (DASC 2014). (To Appear). Oct. 2014.


2013


  • D. Bushnell, E. Denney, F. Enomoto, G. Pai and J. Schumann. Preliminary Recommendations for the Collection, Storage, and Analysis of UAS Safety Data. NASA Technical Memorandum No. NASA/TM–2013–216624. NASA Ames Research Center. Dec. 2013.

  • E. W. Denney and G. J. Pai. Evidence Arguments for Using Formal Methods in Software Certification. 24th IEEE International Symposium on Software Reliability Engineering (ISSRE) Workshops. Nov. 2013. pp. 375-380.

  • E. W. Denney and G. J. Pai. A Formal Basis for Safety Case Patterns. 32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013). LNCS 8153. pp. 21-32. Sep. 2013.

  • E. W. Denney, G. J. Pai and I. J. Whiteside. Hierarchical Safety Cases. 5th NASA Formal Methods Symposium (NFM). LNCS 7871. pp. 478-483. May 2013.


2012



2011



*Authors are listed in alphabetical order.

For a complete list of publications, go here.

CONTACT

Affiliation

SGT, Inc.

Address

NASA Ames Research Center
Mail Stop 269-1
Moffett Field, CA 94035-1000

Office

Bldg. N-269, Rm. 260x9

Phone

+1 650 604 0760

Email

ganesh.pai@nasa.gov

WWW

  • At NASA
  • Non-NASA
  • First Gov logo
    NASA Logo - nasa.gov