Ewen Denney
Papers
2
Total Citations
8
H-Index
2
About
No biography available yet.
Research Focus
Computer science2 · 8 citations
Software2 · 8 citations
Programming language2 · 8 citations
Software engineering2 · 8 citations
Formal verification1 · 6 citations
Model checking1 · 6 citations
Runtime verification1 · 6 citations
Symbolic execution1 · 6 citations
Concolic testing1 · 6 citations
Correctness1 · 6 citations
Formal methods1 · 6 citations
Domain (mathematical analysis)1 · 2 citations
Key Achievements
2
H-Index
2
Papers
8
Total Citations
4
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: 3
🏛 Institutions: Ames Research Center
Top Papers
- 1Proceedings of the First NASA Formal Methods Symposium6 citations · 2009
- 2
Key Collaborators
Not generated yet