Davide Ancona

Papers

Total Citations

H-Index

About

Davide Ancona is a leading researcher in runtime verification, multi-agent systems, and robotic software engineering. His work focuses on ensuring the safety and security of autonomous systems through formal methods. Ancona’s major contribution is the development of **ROSMonitoring**, a runtime verification framework for the Robot Operating System (ROS), which has garnered **49 citations** since 2020. This framework enables real-time monitoring of robotic systems to detect and respond to safety violations, addressing critical challenges in autonomous robotics. Building on this, his **2023 paper on RV4JaCa** (11 citations) extends runtime verification to multi-agent systems using the JaCaMo framework, providing a security layer for safety-critical applications like robotics. Ancona’s research bridges the gap between formal verification and practical deployment, making autonomous systems more reliable. His work is particularly notable for its impact on the ROS ecosystem, a cornerstone of modern robotics, and for pioneering techniques that allow developers to integrate verification without disrupting system performance. Through these contributions, Ancona has established himself as a key figure in the intersection of runtime verification and autonomous systems, influencing both academic research and industrial applications.