Thilo Schnelle

Papers

Total Citations

H-Index

About

Thilo Schnelle is a researcher at the forefront of cyber-physical systems and the Internet of Things, with a particular focus on the formal specification and distributed execution of complex, multi-component interactions. His most cited work, "[email protected] - Distributed Execution of Specifications on IoT-connected Robots" (2015, 7 citations), addresses a critical challenge in modern software engineering: as customer demands drive increasingly rich functionality, the interactions between software-controlled components in systems like connected robots become dauntingly complex. Schnelle’s key contribution lies in bridging the gap between high-level formal scenario specifications and their real-time, distributed execution on IoT hardware. By developing methods to run these specifications directly on connected devices, he enables more reliable, predictable, and verifiable behavior in cyber-physical systems—a vital step for applications ranging from autonomous robotics to smart infrastructure. His work is notable for tackling the "specification-to-deployment" bottleneck, offering a practical path from abstract design to concrete, coordinated action across networked components. For students and researchers, Schnelle’s research represents a compelling intersection of formal methods, distributed systems, and robotics, demonstrating how rigorous theoretical foundations can be applied to solve pressing engineering problems in the IoT era.