Dimitra Giannakopoulou, Ph.D.

I am a researcher with the Robust Software Engineering Group at NASA Ames Research Center. I am employed by Carnegie Mellon (Silicon Valley Campus). 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] [Research/Publications] [Events/Committees] [Projects/Tools]

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.

Publications

My full list of publications can be found HERE.

Selected Publications

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, NASA Formal Methods Symposium (NFM 2009). Submissions deadline: January 30, 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.

Upcoming Committees:

32nd International Conference on Software Engineering (ICSE 2010).

Conference on Fundamental Approaches to Software Engineering (FASE 2010), European Joint Conferences on Theory and Practice of Software (ETAPS).

International Conference on Software Testing and Analysis (ISSTA 2009).

Track on New Ideas and Emerging Results, 31st International Conference on Software Engineering (ICSE 2009).

7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2009).

Conference on Fundamental Approaches to Software Engineering (FASE 2009), European Joint Conferences on Theory and Practice of Software (ETAPS).

Past Committees:

23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008).

16th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ACM SIGSOFT 2008 / FSE 16).

15th International Symposium on Formal Methods (FM’08).

Conference on Fundamental Approaches to Software Engineering (FASE 2008), European Joint Conferences on Theory and Practice of Software (ETAPS).