Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Dimitra Giannakopoulou
2010 – today
- 2012
[c28]Dimitra Giannakopoulou, Zvonimir Rakamaric, Vishwanath Raman: Symbolic Learning of Component Interfaces. SAS 2012: 248-264- [e3]Dimitra Giannakopoulou, Dominique Méry (Eds.): FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Lecture Notes in Computer Science 7436, Springer 2012, ISBN 978-3-642-32758-2
- 2011
- [j10]Dimitra Giannakopoulou, David H. Bushnell, Johann Schumann, Heinz Erzberger, Karen Heere: Formal testing for separation assurance. Ann. Math. Artif. Intell. 63(1): 5-30 (2011)
- [c27]Domenico Bianculli, Dimitra Giannakopoulou, Corina S. Pasareanu: Interface decomposition for service compositions. ICSE 2011: 501-510
- [c26]
- [c25]Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Michael Feary: A formal framework for design and analysis of human-machine interaction. SMC 2011: 1801-1808
- [c24]Dimitra Giannakopoulou, Neha Rungta, Michael Feary: Automated test case generation for an autopilot requirement prototype. SMC 2011: 1825-1830
- [e2]Dimitra Giannakopoulou, Fernando Orejas (Eds.): Fundamental Approaches to Software Engineering - 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings. Lecture Notes in Computer Science 6603, Springer 2011, ISBN 978-3-642-19810-6
- 2010
- [j9]Dimitra Giannakopoulou, Corina S. Pasareanu: Editorial: automated compositional verification. IET Software 4(3): 179-180 (2010)
- [j8]Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu: Preface: Special Issue on Nasa Formal Methods Symposium 2009. ISSE 6(3): 171-172 (2010)
- [c23]Rishabh Singh, Dimitra Giannakopoulou, Corina S. Pasareanu: Learning Component Interfaces with May and Must Abstractions. CAV 2010: 527-542
- [c22]Dimitra Giannakopoulou, Corina S. Pasareanu: Learning Techniques for Software Verification and Validation - Special Track at ISoLA 2010. ISoLA (1) 2010: 640-642
- [c21]
2000 – 2009
- 2009
- [c20]Dimitra Giannakopoulou, Corina S. Pasareanu: Interface Generation and Compositional Verification in JavaPathfinder. FASE 2009: 94-108
- [e1]Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu (Eds.): First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009. NASA Conference Proceedings NASA/CP-2009-215407, 2009
- 2008
- [j7]Dimitra Giannakopoulou, Corina S. Pasareanu: Special issue on learning techniques for compositional reasoning. Formal Methods in System Design 32(3): 173-174 (2008)
- [j6]Corina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M. Cobleigh, Howard Barringer: Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning. Formal Methods in System Design 32(3): 175-205 (2008)
- [j5]Dimitra Giannakopoulou, Corina S. Pasareanu, Colin Blundell: Assume-guarantee testing for software components. IET Software 2(6): 547-562 (2008)
- [c19]Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou: Automated Assume-Guarantee Reasoning by Abstraction Refinement. CAV 2008: 135-148
- [c18]Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu: Assume-Guarantee Verification for Interface Automata. FM 2008: 116-131
- 2007
- [c17]Jonathan Aldrich, Michael Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina: Specification and verification of component-based systems 2007. ESEC/SIGSOFT FSE 2007: 609-610
- [c16]Jonathan Aldrich, Gary T. Leavens, Michael Barnett, Natasha Sharygina, Dimitra Giannakopoulou: Specification and verification of component-based systems 2007. ESEC/SIGSOFT FSE (Companion) 2007: 609-610
- [c15]Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu: Refining Interface Alphabets for Compositional Verification. TACAS 2007: 292-307
- 2006
- [j4]Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu: Assume-guarantee testing. ACM SIGSOFT Software Engineering Notes 31(2) (2006)
- [c14]
- 2005
- [j3]Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer: Component Verification with Automatically Generated Assumptions. Autom. Softw. Eng. 12(3): 297-320 (2005)
- [c13]Dimitra Giannakopoulou, Corina S. Pasareanu: Learning-Based Assume-Guarantee Verification (Tool Paper). SPIN 2005: 282-287
- 2004
- [j2]Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington: Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods in System Design 25(2-3): 167-198 (2004)
- [c12]Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh: Assume-Guarantee Verification of Source Code with Design-Level Assumptions. ICSE 2004: 211-220
- 2003
- [c11]Dimitra Giannakopoulou, Jeff Magee: Fluent model checking for event-based systems. ESEC / SIGSOFT FSE 2003: 257-266
- [c10]Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu: Learning Assumptions for Compositional Verification. TACAS 2003: 331-346
- 2002
- [c9]Dimitra Giannakopoulou, Flavio Lerda: From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata. FORTE 2002: 308-326
- [c8]Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer: Assumption Generation for Software Component Verification. ASE 2002: 3-12
- 2001
- [c7]Dimitra Giannakopoulou, Klaus Havelund: Automata-Based Verification of Temporal Properties on Running Programs. ASE 2001: 412-416
- 2000
- [c6]Christos T. Karamanolis, Dimitra Giannakopoulou, Jeff Magee, Stuart M. Wheater: Model Checking of Workflow Schemas. EDOC 2000: 170-181
- [c5]Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer: Graphical animation of behavior models. ICSE 2000: 499-508
1990 – 1999
- 1999
- [j1]Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Cheung: Behaviour Analysis of Distributed Systems Using the Tracta Approach. Autom. Softw. Eng. 6(1): 7-35 (1999)
- [c4]Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer: Checking Progress with Action Priority: Is it Fair? ESEC / SIGSOFT FSE 1999: 511-527
- [c3]Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou: Behaviour Analysis of Software Architectures. WICSA 1999: 35-50
- 1997
- [c2]Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer: Verification of Liveness Properties Using Compositional Reachability Analysis. ESEC / SIGSOFT FSE 1997: 227-243
- [c1]Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou: Analysing the behaviour of distributed software architectures: a case study. FTDCS 1997: 240-247
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:57 CET by the dblp team