NASA Logo, National Aeronautics and Space Administration

Dimitra Giannakopoulou, Ph.D.

I am a Research Computer Scientist with the NASA Ames Research Center, and a member of the Robust Software Engineering Group. My work is concerned with applying modular and compositional formal verification techniques to autonomous systems and architectures.

Before joining Ames, I was a Research Associate with the Department of Computing, Imperial College, University of London, UK, working on methods for the specification and automatic verification of distributed systems. I have graduated from the Dept of Computer Engineering and Informatics, University of Patras, Greece. I hold an MSc with distinction from Imperial College, in "Foundations of Advanced Information Technology", and since March 1999, a PhD degree from Imperial College, University of London, thesis title " Model Checking for Concurrent Software Architectures".

[Awards] [Keynotes] [Research/Publications] [Events/Committees] [Projects/Tools]

News

  • Posters co-chair, 38th International Conference on Software Engineering (ICSE 2016) .
  • Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamaric, Vishwanath Raman: Taming Test Inputs for Separation Assurance. ASE 2014.
  • Christian von Essen, Dimitra Giannakopoulou: Analyzing the Next Generation Airborne Collision Avoidance System. TACAS 2014.
  • Keynotes

  • "To Scale or Not to Scale: Experience with Formal Methods and NASA Systems". Invited talk at FMICS 2012, 17th International Workshop on Formal Methods for Industrial Critical Systems, Paris France, 2012.
  • "Automata Generation: *Not* your Usual Machine Learning". Invited talk at MALETS 2011, International Workshop on Machine Learning Technologies in Software Engineering, Lawrence, KS, USA, 2011.
  • ""Fly me to the Moon: Verification of Aerospace Systems"". Invited talk at SEFM 2010, 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010), Pisa, Italy, 2011.
  • "NASA's State-Space Exploration: Verifying Safety-Critical Systems". Invited talk at SEAA 2009, 35th EUROMICRO conference on Software Engineering and Advanced Applications in Patras, Greece. [Slides] .
  • Research

    I am interested in the design and analysis of distributed and component-based systems, with a focus on model checking and software architectures. Recently, my research has focused on automating assume-guarantee verification by generating assumptions. I have also been working on test-case generation for air-traffic control systems.

    Publications

    My full list of publications can be found HERE.

    Selected Publications

  • Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Todd Lauderdale, Zvonimir Rakamaric, Vishwanath Raman: Taming Test Inputs for Separation Assurance. ASE 2014.
  • Christian von Essen, Dimitra Giannakopoulou: Analyzing the Next Generation Airborne Collision Avoidance System. TACAS 2014.
  • Falk Howar, Dimitra Giannakopoulou, Zvonimir Rakamaric: Hybrid learning: interface generation through static, dynamic, and symbolic analysis. ISSTA 2013.
  • Giannakopoulou, D., Rakamaric, Z., and Raman, V. : Symbolic Learning of Component Interfaces. SAS 2012.
  • Giannakopoulou, D, Bushnell, D., Schumann, J., Erzberger, H., Heere, K.: Formal testing for separation assurance. Ann. Math. Artif. Intell. 63(1): 5-30 (2011).
  • Sébastien C., Giannakopoulou, D., Pecheur,C., Feary, M.: A formal framework for design and analysis of human-machine interaction. SMC 2011.
  • Giannakopoulou, D., and Pasareanu, C.S., “Interface Generation and Compositional Verification in JavaPathfinder”, FASE 2009.
  • Giannakopoulou, D., and Pasareanu, C.S., editors. Journal of Formal methods in System Design, special issue on Learning Techniques for Compositional Reasoning, Volume 32, Number 3, Springer, June 2008.
  • Gheorghiu, M., Pasareanu, C.S., and Giannakopoulou, D. “Automated Assume-Guarantee Reasoning by Abstraction Refinement”, CAV 2008.
  • Emmi, M., Giannakopoulou, D., and Pasareanu, C.S., “Assume-Guarantee Verification for Interface Automata”, FM’08.
  • Gheorghiu, M., Giannakopoulou, D., and Pasareanu, C.S. “Refining Interface Alphabets for Compositional Verification”, TACAS 2007.
  • Giannakopoulou, D., Pasareanu, C., and Cobleigh, J.M. "Assume-guarantee Verification of Source Code with Design-Level Assumptions", ICSE'2004.
  • Cobleigh, J.M., Giannakopoulou, D., and Pasareanu, C.S. "Learning Assumptions for Compositional Verification", TACAS 2003.
  • Giannakopoulou, D. and Lerda, F. "From States to Transitions: Improving translation of LTL formulae to Buchi automata", FORTE 2002.
  • Giannakopoulou, D., Pasareanu, C., and Barringer, H., "Assumption Generation for Software Component Verification", ASE 2002.
    Best paper, ACM Sigsoft Distinguished Paper.

  • Events / Committees

  • Program co-chair, 12th International Conference on Software Engineering and Formal Methods (SEFM 2014) .
  • Program co-chair, 6th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2014) .
  • Program co-chair, 16th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2013) .
  • Program co-chair, 18th International Symposium on Formal Methods (FM 2012).
  • Program co-chair, Conference on Fundamental Approaches to Software Engineering (FASE 2011), European Joint Conferences on Theory and Practice of Software (ETAPS).
  • Program co-chair, NASA Formal Methods Symposium (NFM 2009).
  • Co-organizer, Workshop Series on the Specification and Verification of Component-Based Systems (SAVCBS). Affiliated with ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE) since 2003.
  • The full list of committees that I have served can be found HERE.

    Photo of Dimitra Giannakopoulou, Ph.D.

    Contact

    NASA Ames Research Ctr
    Mail Stop 269-2
    Moffett Field, CA 94035

    Phone: +1(650) 604-0504
    Fax:     +1(650) 604-4036

    Dimitra.Giannakopoulou "at" nasa.gov

    Links


    + NASA Ames
    + TI Home Page
    + RSE Homepage
    + NASA Home Page

    First Gov logo
    NASA Logo - nasa.gov