Robin Larrieu
Papers
1
Total Citations
10
H-Index
1
About
Robin Larrieu is a researcher whose work lies at the intersection of cyber-physical systems, formal methods, and dependable computing. His key contributions center on developing rigorous frameworks for high-assurance systems, particularly through the lens of models of computation (MoCs). In his most-cited work, "A framework for high-assurance quasi-synchronous systems" (2014, 10 citations), Larrieu explores the semantic foundations that govern networks of sensors, controllers, and actuators, addressing the critical challenge of ensuring correctness and reliability in complex, real-time environments. This research provides a structured approach to designing systems where timing and coordination are paramount, offering a formal basis for verification and validation. While his citation count reflects a focused, emerging impact, his work is notable for bridging theoretical models with practical engineering concerns, making it valuable for students and researchers tackling safety-critical applications in autonomous systems, industrial control, and the Internet of Things. Larrieu’s contributions underscore the importance of foundational rigor in building trustworthy cyber-physical infrastructures.
Research Focus
Key Achievements
Top Papers
- 1A framework for high-assurance quasi-synchronous systems10 citations · 2014