Searching for authors named "Dimitra Giannakopoulou" – sorted by Relevance.
25 documents found, showing 1 through 10.
Next 10 →
-
The TRACTA Approach for Behaviour Analysis of Concurrent Systems
- … No. DoC 95/16 Dimitra Giannakopoulou Department of Computing Imperial College of Science, Technology…
- Cited by 4 (1 self) – Add To MetaCart
-
Model Checking for Concurrent Software Architectures
- … Model Checking for Concurrent Software Architectures Dimitra Giannakopoulou A Thesis submitted…
- Cited by 21 (3 self) – Add To MetaCart
-
From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata
- …From States to Transitions: Improving translation of LTL formulae to Büchi automata Dimitra…
- Cited by 12 (1 self) – Add To MetaCart
-
Proof Rules for Automated Compositional Verification through Learning
- … provided to conduct this research Dimitra Giannakopoulou RIACS/USRA NASA Ames Research Center Moffett Field…
- Cited by 16 (4 self) – Add To MetaCart
-
Fluent Model Checking for Event-based Systems
- …Fluent Model Checking for Event-based Systems Dimitra Giannakopoulou RIACS/USRA, NASA Ames…
- Cited by 25 (5 self) – Add To MetaCart
-
Automata-Based Verification of Temporal Properties on Running Programs
- …Automata-Based Verification of Temporal Properties on Running Programs Dimitra Giannakopoulou…
- Cited by 39 (8 self) – Add To MetaCart
-
Behaviour Analysis based on Software Architecture
- …1. Introduction Behaviour Analysis based on Software Architecture Dimitra Giannakopoulou, Jeff…
- Add To MetaCart
-
Incorporating Verification of Liveness Properties in Compositional Reachability Analysis
- …-Chi Cheung , Dimitra Giannakopoulou y , and Jeff Kramer y Technical Report HKUST-CS96-36 October 1996…
- Add To MetaCart
-
Specification and Verification of Component-Based Systems Workshop
- … of confidence in their correctness and performance. Fundamentally, one must Dimitra Giannakopoulou NASA Ames…
- Add To MetaCart
-
Learning-based assume-guarantee verification
- …Learning-Based Assume-Guarantee Verification (Tool Paper) Dimitra Giannakopoulou 1 and Corina S…
- Cited by 5 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
