Martin Singer

Papers

Total Citations

H-Index

About

Martin Singer is a leading researcher in the formal specification and runtime execution of complex cyber-physical systems, with a particular focus on the Internet of Things (IoT) and robotics. His most cited work, "[email protected] - Distributed Execution of Specifications on IoT-connected Robots" (2015, 7 citations), pioneers a novel approach to managing the intricate interactions between software-controlled components in distributed, real-world environments. Singer’s key contribution lies in bridging the gap between high-level formal models and practical, dynamic system behavior—enabling IoT-connected robots to execute specifications directly at runtime rather than relying solely on pre-deployed code. This work addresses the growing complexity of cyber-physical systems, where customer demand for richer functionality often leads to unpredictable component interactions. By developing a framework for distributed scenario execution, Singer has laid the groundwork for more adaptive, reliable, and verifiable autonomous systems. His research is particularly impactful for students and engineers working in robotics, IoT, and formal methods, offering a tangible pathway from theory to deployment. Though early in his citation trajectory, Singer’s work is gaining recognition as a foundational step toward truly intelligent, specification-driven physical systems.