Luca Franceschini

University of Genoa

Papers

1

Total Citations

49

H-Index

1

About

No biography available yet.

Research Focus

Architecture1 · 49 citations
Computer science1 · 49 citations
Distributed computing1 · 49 citations
Embedded system1 · 49 citations
Formal verification1 · 49 citations
Formalism (music)1 · 49 citations
Model checking1 · 49 citations
Programming language1 · 49 citations
Runtime verification1 · 49 citations
Software1 · 49 citations
Software engineering1 · 49 citations
Software portability1 · 49 citations

Key Achievements

1
H-Index
1
Papers
49
Total Citations
49
Avg Citations/Paper
🏆 Most Cited Paper
ROSMonitoring: A Runtime Verification Framework for ROS
49 citations · 2020
📈 Most Prolific Year: 2020 (1 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: University of Genoa

Top Papers

  1. 1
    ROSMonitoring: A Runtime Verification Framework for ROS
    49 citations · 2020

Key Collaborators

AFAngelo Ferrando1 shared papersMFMichael Fisher1 shared papersDADavide Ancona1 shared papersVMViviana Mascardi1 shared papersRCRafael C. Cardoso1 shared papers
Not generated yet