Davide Ancona
Papers
2
Total Citations
60
H-Index
2
About
No biography available yet.
Research Focus
Distributed computing2 · 60 citations
Software engineering2 · 60 citations
Computer science2 · 60 citations
Software2 · 60 citations
Programming language2 · 60 citations
Architecture1 · 49 citations
Embedded system1 · 49 citations
Formal verification1 · 49 citations
Formalism (music)1 · 49 citations
Model checking1 · 49 citations
Runtime verification1 · 49 citations
Software portability1 · 49 citations
Key Achievements
2
H-Index
2
Papers
60
Total Citations
30
Avg Citations/Paper
🏆 Most Cited Paper
ROSMonitoring: A Runtime Verification Framework for ROS
49 citations · 2020
📈 Most Prolific Year: 2020 (1 Papers)
🤝 Key Collaborators: 8
🏛 Institutions: University of Genoa
Top Papers
- 1ROSMonitoring: A Runtime Verification Framework for ROS49 citations · 2020
- 2
Key Collaborators
Not generated yet