Graziano Pravadelli
Papers
5
Total Citations
21
H-Index
3
About
Graziano Pravadelli is a leading researcher at the intersection of formal verification, robotics, and Industry 4.0 safety. His work centers on ensuring the correctness and security of complex, autonomous systems through innovative runtime verification techniques. Pravadelli’s major contribution is the development of assertion-based verification (ABV) frameworks for robotic applications, most notably a containerized, ROS-compliant environment that automatically synthesizes monitors from Linear Temporal Logic (LTL) assertions. This architecture, detailed in his most-cited work (8 citations), enables rigorous, real-time checking of robotic behavior. He has extended this approach to address critical challenges in human-robot interaction, creating methodologies that combine assertion mining with pose estimation for accurate risk assessment and prediction. His recent work explores edge-cloud orchestration to manage the computational demands of multi-domain robotic software. Pravadelli also contributes to hardware design, with a model-based flow for Dynamic Partial Reconfigurable FPGAs. Through his leadership of the ICE Laboratory, he applies these technologies to enhance both safety and privacy in Industry 4.0 environments, demonstrating a clear path from foundational verification theory to practical, industrial impact.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3
- 4
- 5A model-based design flow for Dynamic Partial Reconfigurable FPGAs2 citations · 2019