Tim Duente
Papers
1
Total Citations
7
H-Index
1
About
Tim Duente is a researcher whose work lies at the intersection of formal methods, cyber-physical systems, and the Internet of Things (IoT), with a particular focus on enabling complex, distributed behaviors in robotic systems. His most-cited paper, "[email protected] - Distributed Execution of Specifications on IoT-connected Robots" (2015, 7 citations), introduces a novel approach to executing formal scenario specifications at runtime across networked, IoT-connected robots. This work addresses a critical challenge in modern cyber-physical systems: managing the increasingly intricate interactions between software-controlled components as customer demand for richer functionality grows. By bridging the gap between high-level formal specifications and real-time distributed execution, Duente provides a framework that allows complex physical processes to be controlled reliably and adaptively. His contributions are particularly valuable for researchers and engineers working on multi-robot coordination, smart environments, and dependable IoT systems. Though early in his career, Duente’s work demonstrates a clear vision for making formal verification practical in dynamic, real-world settings—a key step toward safer and more autonomous cyber-physical systems.
Research Focus
Key Achievements
Top Papers
- 1