Gabriel Parmer

Papers

Total Citations

H-Index

About

Gabriel Parmer is a leading researcher in real-time and embedded systems, with a particular focus on the intersection of operating systems, scheduling theory, and robotic simulation. His major contributions center on ensuring temporal correctness in cyber-physical systems, most notably through his work on temporally consistent simulation for robotics. Parmer’s research addresses the critical challenge of verifying that robotic controllers behave predictably under real-time constraints, preventing physical damage to robots, environments, and humans. His highly cited paper, “Temporally Consistent Simulation of Robots and Their Controllers,” demonstrates this impact by providing a framework for validating robot operation through accurate timing models. With over 3 citations for his key work, Parmer’s influence extends to both academic and industrial applications in autonomous systems. He is also recognized for his contributions to the Composite component-based OS and for advancing predictability in resource management. Parmer’s work is essential reading for students and researchers designing safe, reliable real-time robotic systems.