Davide Ancona

University of Genoa

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

  1. 1
    ROSMonitoring: A Runtime Verification Framework for ROS
    49 citations · 2020
  2. 2
    RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications
    11 citations · 2023

Key Collaborators

VMViviana Mascardi2 shared papersAFAngelo Ferrando2 shared papersRHRafael H. Bordini1 shared papersDCDébora C. Engelmann1 shared papersARAlison R. Panisson1 shared papersLFLuca Franceschini1 shared papersRCRafael C. Cardoso1 shared papersMFMichael Fisher1 shared papers
Not generated yet