Viviana Mascardi
Papers
7
Total Citations
94
H-Index
5
About
Viviana Mascardi is a leading researcher in the intersection of runtime verification, multi-agent systems, and robotics. Her work focuses on ensuring the safety and reliability of autonomous systems, particularly in safety-critical applications like factory automation. Her most cited paper, "ROSMonitoring: A Runtime Verification Framework for ROS" (2020, 49 citations), provides a crucial layer of security for robotic systems by monitoring their behavior in real-time. She has extended this approach to multi-agent systems with "RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications" (2023, 11 citations), and to chatbots with "RV4Rasa" (2023, 3 citations). Mascardi also pioneered predictive runtime verification, introducing multi-model PRV in her 2021 work (8 citations). Her framework VEsNA (2022-2023, 12 and 6 citations) bridges natural language agents and virtual environments for factory automation, maximizing return on investment while minimizing risk. Earlier, she contributed to agent architectures with Hive-BDI (2011, 5 citations), extending the classic BDI model with shared beliefs and stigmergy. With over 80 total citations across these works, Mascardi's research provides practical, verifiable solutions for deploying intelligent systems in the real world.
Research Focus
Key Achievements
Top Papers
- 1ROSMonitoring: A Runtime Verification Framework for ROS49 citations · 2020
- 2
- 3
- 4
- 5
- 6HIVE-BDI: EXTENDING JASON WITH SHARED BELIEFS AND STIGMERGY5 citations · 2011
- 7