The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dimitra Giannakopoulou: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Christos T. Karamanolis, Dimitra Giannakopoulou, Jeff Magee, Stuart M. Wheater
    Model Checking of Workflow Schemas. [Citation Graph (0, 0)][DBLP]
    EDOC, 2000, pp:170-181 [Conf]
  2. Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer
    Checking Progress with Action Priority: Is it Fair? [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1999, pp:511-527 [Conf]
  3. Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer
    Verification of Liveness Properties Using Compositional Reachability Analysis. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1997, pp:227-243 [Conf]
  4. Dimitra Giannakopoulou, Flavio Lerda
    From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata. [Citation Graph (0, 0)][DBLP]
    FORTE, 2002, pp:308-326 [Conf]
  5. Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
    Analysing the behaviour of distributed software architectures: a case study. [Citation Graph (0, 0)][DBLP]
    FTDCS, 1997, pp:240-247 [Conf]
  6. Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh
    Assume-Guarantee Verification of Source Code with Design-Level Assumptions. [Citation Graph (0, 0)][DBLP]
    ICSE, 2004, pp:211-220 [Conf]
  7. Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer
    Graphical animation of behavior models. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:499-508 [Conf]
  8. Dimitra Giannakopoulou, Klaus Havelund
    Automata-Based Verification of Temporal Properties on Running Programs. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:412-416 [Conf]
  9. Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer
    Assumption Generation for Software Component Verification. [Citation Graph (0, 0)][DBLP]
    ASE, 2002, pp:3-12 [Conf]
  10. Dimitra Giannakopoulou, Jeff Magee
    Fluent model checking for event-based systems. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2003, pp:257-266 [Conf]
  11. Corina S. Pasareanu, Dimitra Giannakopoulou
    Towards a Compositional SPIN. [Citation Graph (0, 0)][DBLP]
    SPIN, 2006, pp:234-251 [Conf]
  12. Dimitra Giannakopoulou, Corina S. Pasareanu
    Learning-Based Assume-Guarantee Verification (Tool Paper). [Citation Graph (0, 0)][DBLP]
    SPIN, 2005, pp:282-287 [Conf]
  13. Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu
    Learning Assumptions for Compositional Verification. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:331-346 [Conf]
  14. Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
    Behaviour Analysis of Software Architectures. [Citation Graph (0, 0)][DBLP]
    WICSA, 1999, pp:35-50 [Conf]
  15. Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Cheung
    Behaviour Analysis of Distributed Systems Using the Tracta Approach. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1999, v:6, n:1, pp:7-35 [Journal]
  16. Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer
    Component Verification with Automatically Generated Assumptions. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2005, v:12, n:3, pp:297-320 [Journal]
  17. 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. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2004, v:25, n:2-3, pp:167-198 [Journal]
  18. Jonathan Aldrich, Mike Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina
    Specification and verification of component-based systems 2007. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:609-610 [Conf]
  19. Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu
    Refining Interface Alphabets for Compositional Verification. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:292-307 [Conf]

  20. Automated Assume-Guarantee Reasoning by Abstraction Refinement. [Citation Graph (, )][DBLP]


  21. Learning Component Interfaces with May and Must Abstractions. [Citation Graph (, )][DBLP]


  22. Interface Generation and Compositional Verification in JavaPathfinder. [Citation Graph (, )][DBLP]


  23. Assume-Guarantee Verification for Interface Automata. [Citation Graph (, )][DBLP]


  24. Specification and verification of component-based systems 2007. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002