Jannis Luennemann
Papers
1
Total Citations
7
H-Index
1
About
Jannis Luennemann is a researcher at the forefront of cyber-physical systems and the Internet of Things (IoT), with a focus on bridging formal specification and runtime execution. His most-cited work, "[email protected]" (2015, 7 citations), introduces a groundbreaking approach to distributed execution of formal specifications on IoT-connected robots. This contribution addresses the critical challenge of managing complex interactions in multi-component cyber-physical systems, where customer demands for rich functionality often outpace traditional development methods. By enabling scenarios to be executed at runtime, Luennemann’s research empowers robots and IoT devices to adapt dynamically to evolving physical processes, enhancing reliability and flexibility. His work is particularly notable for its practical application in robotics, where formal methods are rarely implemented in real-time distributed environments. With a growing citation impact, Luennemann’s research stands as a pivotal step toward more intelligent, autonomous systems that can seamlessly coordinate in unpredictable settings—a key achievement for students and researchers exploring the intersection of formal verification, IoT, and robotics.
Research Focus
Key Achievements
Top Papers
- 1