Dimitra Giannakopoulou
Papers
2
Total Citations
9
H-Index
2
About
No biography available yet.
Research Focus
Computer science2 · 9 citations
Concolic testing1 · 6 citations
Runtime verification1 · 6 citations
Software1 · 6 citations
Software engineering1 · 6 citations
Correctness1 · 6 citations
Symbolic execution1 · 6 citations
Formal methods1 · 6 citations
Formal verification1 · 6 citations
Programming language1 · 6 citations
Model checking1 · 6 citations
Task (project management)1 · 3 citations
Key Achievements
2
H-Index
2
Papers
9
Total Citations
5
Avg Citations/Paper
🏆 Most Cited Paper
Proceedings of the First NASA Formal Methods Symposium
6 citations · 2009
📈 Most Prolific Year: 2009 (1 Papers)
🤝 Key Collaborators: 4
🏛 Institutions: Ames Research Center
Top Papers
- 1Proceedings of the First NASA Formal Methods Symposium6 citations · 2009
- 2
Key Collaborators
Not generated yet