Viviana Mascardi

University of Genoa

论文数

7

总引用数

94

H-Index

5

关于

暂无简介。

研究焦点

Computer science7 · 94 次引用
Programming language5 · 76 次引用
Distributed computing3 · 68 次引用
Software engineering3 · 63 次引用
Software2 · 60 次引用
Formalism (music)3 · 60 次引用
Model checking2 · 57 次引用
Runtime verification2 · 57 次引用
Formal verification2 · 57 次引用
Architecture2 · 54 次引用
Embedded system1 · 49 次引用
Software portability1 · 49 次引用

主要成就

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

代表论文

  1. 1
    ROSMonitoring: A Runtime Verification Framework for ROS
    49 次引用 · 2020
  2. 2
    VEsNA, a Framework for Virtual Environments via Natural Language Agents and Its Application to Factory Automation
    12 次引用 · 2023
  3. 3
    RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications
    11 次引用 · 2023
  4. 4
    Bridging the gap between single- and multi-model predictive runtime verification
    8 次引用 · 2021
  5. 5
    Towards VEsNA, a Framework for Managing Virtual Environments via Natural Language Agents
    6 次引用 · 2022
  6. 6
    HIVE-BDI: EXTENDING JASON WITH SHARED BELIEFS AND STIGMERGY
    5 次引用 · 2011
  7. 7
    RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa
    3 次引用 · 2023

主要合作者

AFAngelo Ferrando4 篇合著论文AGAndrea Gatti3 篇合著论文RCRafael C. Cardoso2 篇合著论文MFMichael Fisher2 篇合著论文DADavide Ancona2 篇合著论文FPFabio Papacchini1 篇合著论文MBMatteo Barbieri1 篇合著论文MFMarie Farrell1 篇合著论文RHRafael H. Bordini1 篇合著论文DCDébora C. Engelmann1 篇合著论文ARAlison R. Panisson1 篇合著论文MLMatt Luckcuck1 篇合著论文LFLuca Franceschini1 篇合著论文
尚未生成