Davide Bresolin
University of Verona, University of Padua, University of Bologna
Papers
9
Total Citations
105
H-Index
6
About
Davide Bresolin is a computer scientist whose research sits at the compelling intersection of formal verification methods and autonomous robotic systems, with a particular emphasis on safety-critical applications in medical and surgical robotics. His work addresses one of the most pressing challenges in modern robotics: rigorously proving that complex autonomous systems behave safely and correctly under real-world conditions. Bresolin's most influential contribution, "Robotic Surgery" (2011, 33 citations), helped establish formal verification as a vital framework for analyzing control systems in surgical contexts, where failures can carry life-threatening consequences. Building on this foundation, he has developed reachability analysis techniques to verify robotic surgery tasks, explored parametric formal verification for industrial automation such as robotic paint spraying, and pioneered contract-based verification approaches suited to the modular architecture of surgical systems. His body of work reflects a sustained commitment to bridging theoretical computer science and practical engineering, pushing formal methods beyond traditional software domains into the demanding realm of cyber-physical and medical systems. With cumulative citations across nine publications and contributions spanning over a decade, Bresolin has helped shape an emerging subfield that is increasingly vital as autonomous robots take on ever-greater roles in high-stakes environments.
Research Focus
Key Achievements
Top Papers
- 1Robotic Surgery33 citations · 2011
- 2Open Problems in Verification and Refinement of Autonomous Robotic Systems16 citations · 2012
- 3Formal Verification of Medical CPS15 citations · 2018
- 4Formal verification of robotic surgery tasks by reachability analysis14 citations · 2015
- 5Parametric formal verification: the robotic paint spraying case study10 citations · 2017
- 6Formal Verification Applied to Robotic Surgery8 citations · 2014
- 7
- 8
- 9Fault Diagnosis of Hybrid Systems: an Onboard Camera Model2 citations · 2012