Samuele Longoni
Papers
2
Total Citations
22
H-Index
2
About
Samuele Longoni is a leading researcher in model-driven engineering for collaborative robotics, with a focus on formal methods and safety-critical systems. His work addresses the fundamental challenge of developing flexible, reconfigurable Human-Robot Collaborative (HRC) applications that can adapt to rapid production changes without compromising safety. Longoni’s most cited paper, "Formally-based Model-Driven Development of Collaborative Robotic Applications" (2021, 16 citations), introduces a novel framework that integrates formal verification into the development lifecycle, enabling engineers to rigorously validate safety properties before deployment. This contribution is pivotal for industries requiring both agility and reliability in automation. His earlier work, "HRC-Team: a model-driven approach to formal verification and deployment of collaborative robotic applications" (2017, 6 citations), laid the groundwork by demonstrating how model-driven techniques can streamline the transition from design to verified deployment. Together, these papers have established Longoni as a key figure in bridging the gap between theoretical formal methods and practical robotics engineering, offering tools that empower developers to build safer, more adaptable collaborative systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2