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

  • 2nd International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2014) (Collocated with ISSRE 2014). Nov. 3 - 6, 2014. Naples, Italy.

  • 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


  • 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. NASA Contractor 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.

    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