Viviana Mascardi

University of Genoa

Papers

7

Total Citations

94

H-Index

5

About

No biography available yet.

Research Focus

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

Key Achievements

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

Top Papers

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

Key Collaborators

AFAngelo Ferrando4 shared papersAGAndrea Gatti3 shared papersRCRafael C. Cardoso2 shared papersMFMichael Fisher2 shared papersDADavide Ancona2 shared papersFPFabio Papacchini1 shared papersMBMatteo Barbieri1 shared papersMFMarie Farrell1 shared papersRHRafael H. Bordini1 shared papersDCDébora C. Engelmann1 shared papersARAlison R. Panisson1 shared papersMLMatt Luckcuck1 shared papersLFLuca Franceschini1 shared papers
Not generated yet