Bernard Berthomieu
Papers
2
Total Citations
58
H-Index
2
About
Bernard Berthomieu is a leading researcher in the formal verification and model checking of real-time and embedded systems, with a particular focus on autonomous robotics. His work addresses the critical challenge of ensuring that complex robotic software, which must operate reliably under hard real-time constraints on resource-constrained platforms, behaves exactly as specified. Berthomieu’s major contributions include pioneering model-checking techniques for verifying real-time properties on the functional layers of autonomous robots, as demonstrated in his highly cited 2016 paper (31 citations). He further advanced the field by developing formal verification methods tailored to the schedulability and performance constraints of robotic systems, as shown in his 2018 work (27 citations). These contributions are vital for the safe deployment of robots in everyday life, where software failures can have severe consequences. Berthomieu’s research bridges the gap between theoretical formal methods and practical robotic engineering, making him a key figure in the drive toward provably correct autonomous systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2