Hiroaki Shimba
Papers
1
Total Citations
3
H-Index
1
About
Hiroaki Shimba is a researcher focused on formal verification and embedded systems reliability, with a particular emphasis on model checking techniques for safety-critical applications. His most cited work, "Verification of Safety Properties of a Program for Line Tracing Robot using a Timed Automaton Model" (2013, 3 citations), demonstrates his hands-on approach to applying rigorous formal methods to real-world cyber-physical systems. By modeling a line tracing robot as a timed automaton, Shimba shows how model checking can systematically verify safety properties in embedded control software—a contribution that bridges theoretical computer science and practical robotics. While his citation count is modest, his work underscores the growing importance of formal verification in ensuring the dependability of autonomous and embedded systems. Shimba’s research is particularly valuable for students and engineers seeking to understand how timed automata and model checking can be applied beyond abstract examples, offering a concrete case study that highlights both the power and the challenges of formal methods in robotics. His approach serves as a foundation for more complex verification tasks in safety-critical domains like autonomous vehicles and industrial automation.
Research Focus
Key Achievements
Top Papers
- 1