Luca Franceschini

University of Genoa

论文数

1

总引用数

49

H-Index

1

关于

暂无简介。

研究焦点

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

主要成就

1
H 指数
1
论文
49
总引用数
49
篇均引用
🏆 最高被引论文
ROSMonitoring: A Runtime Verification Framework for ROS
49 次引用 · 2020
📈 最高产年份: 2020 (1 论文)
🤝 主要合作者: 5
🏛 所属机构: University of Genoa

代表论文

  1. 1
    ROSMonitoring: A Runtime Verification Framework for ROS
    49 次引用 · 2020

主要合作者

AFAngelo Ferrando1 篇合著论文MFMichael Fisher1 篇合著论文DADavide Ancona1 篇合著论文VMViviana Mascardi1 篇合著论文RCRafael C. Cardoso1 篇合著论文
尚未生成