Samuele Germiniani
Papers
4
Total Citations
19
H-Index
3
About
Samuele Germiniani is a researcher at the forefront of safety-critical and autonomous robotic systems, with a primary focus on runtime verification, human-robot interaction, and the secure integration of Industry 4.0 technologies. His major contributions lie in developing automated, ROS-compliant verification environments that enable assertion-based monitoring of robotic behaviors. Notably, his 2021 paper on a containerized verification architecture (8 citations) introduced a novel flow for synthesizing monitors from LTL assertions, significantly streamlining the validation of complex robotic software. Expanding on this, Germiniani has pioneered methodologies for risk assessment in human-robot collaboration, using pose estimation and assertion mining to predict and avoid unsafe outcomes (2022, 4 citations). His work also addresses the critical intersection of safety and privacy in smart manufacturing, as demonstrated in the ICE Laboratory case study (2024, 4 citations). Most recently, his 2025 research on edge-cloud orchestration of assertion-based monitors (3 citations) tackles the computational challenges of runtime verification in multi-domain robotic applications. Through these contributions, Germiniani is shaping the future of safe, reliable, and privacy-aware autonomous systems, earning recognition as a key innovator in the field.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3
- 4