Florian Koenig

Papers

Total Citations

H-Index

About

Florian Koenig is a leading researcher in the engineering of cyber-physical systems, with a particular focus on the intersection of formal specification, distributed execution, and the Internet of Things. His most-cited work, "[email protected] - Distributed Execution of Specifications on IoT-connected Robots," addresses a critical challenge in modern software engineering: how to manage the growing complexity of interactions among software-controlled components in physical environments. Koenig’s major contribution lies in developing a formal scenario-based approach that enables the distributed execution of specifications directly on IoT-connected robots, bridging the gap between high-level design and real-time operation. This work has garnered 7 citations, reflecting its foundational role in advancing runtime verification and adaptive system behavior. By tackling the demand for increasingly rich functionality in cyber-physical systems, Koenig’s research provides a practical framework for ensuring reliability and coordination in complex, multi-component environments. His achievements are particularly notable for their direct application to robotics and IoT, offering a scalable solution to the challenges of distributed control. For students and researchers, Koenig’s work exemplifies how formal methods can be effectively deployed in dynamic, real-world settings, making him a key figure in the evolution of autonomous and interconnected systems.