IoT4Care
Samuele Germiniani
Researcher
Department of Engineering Sciences, Guglielmo Marconi University
Research interests
Assertion mining · Runtime verification · Semi-formal verification · Embedded and robotic systems · Edge-cloud verification
Samuele Germiniani is a researcher at Guglielmo Marconi University, holds a research appointment at the Department of Engineering for Innovation Medicine of the University of Verona, and is a member of IoT4Care. His work concerns semi-formal and runtime verification of cyber-physical and embedded systems, with particular attention to deriving useful assertions and temporal specifications when complete formal requirements are not available.
His research spans assertion mining, LTL specification mining and the deployment of runtime monitors in resource-constrained systems. Recent work includes edge-cloud orchestration of assertion-based monitors for robotic applications, where verification workloads are distributed so that safety checks can remain accurate without violating the timing constraints of the robot software. This connects specification mining with practical verification of heterogeneous, software-intensive cyber-physical systems.