I am a Research Scientist for the Research Institute for Advanced Computer Science (RIACS) working with the Robust Software Engineering Group at NASA Ames Research Center. 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

Corina Pasareanu, Dimitra Giannakopoulou, "Towards a Compositional SPIN", SPIN'06.

Blundell, C., Giannakopoulou, D., Pasareanu, C., "Assume Guarantee Testing", SAVCBS'05.

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

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.

Committees:

(future events)

PC member, Fundamental Approaches to Software Engineering, FASE 2008.

PC member, sixth joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering ESEC/FSE 2007.

PC member, International Conference on Automated Software Engineering ASE 2007.

PC member, International Conference on Software Engineering ICSE 2007.

PC member, International Symposium on Component-Based Software Engineering, CBSE 2007.

(past events)

Posters Chair, ACM SIGSOFT Symposium on Foundations of Software Engineering FSE 2006 .

Workshops co-chair, International Conference on Automated Software Engineering (ASE) 2005.

PC member, International Conference on Concurrency Theory (CONCUR) 2005.

PC member, International Conference on Software Engineering (ICSE) 2005.

PC member, International Conference on Automated Software Engineering (ASE) 2003, 2005, 2006.

PC Member, Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2005.

PC Member, International Conference on Formal Engineering Methods (ICFEM) 2005.

PC Member, EUROMICRO Conf. on Software Engineering and Advanced Applications (Euromicro) 2005.

PC member, International Symposium on Component-Based Software Engineering (CBSE) 2002, 2003, 2004, 2005, 2006.

PC member, International workshop on services engineering (SEIW) 2005.

PC member, Workshop on Intelligent Technologies for Software Engineering (WITSE) 2003 and 2004.

PC member, Workshop on Model Checking and Artificial Intelligence (MoChArt) 2003.

PC member, Workshop on Service-Based Software Engineering (SBSE) 2003).