Safaai Bin Deris
Papers
1
Total Citations
2
H-Index
1
About
Safaai Bin Deris is a researcher whose work bridges formal methods and real-time embedded systems, with a particular focus on the rigorous specification and verification of safety-critical robotic systems. His key research areas include formal specification techniques, real-time system verification, and the application of mathematical models to ensure software reliability in embedded control systems. A notable contribution is his case study on the formal specification of a wall-climbing robot using the Z notation, which demonstrates how formal methods can be used to verify timing and concurrency constraints in small-scale hard real-time systems. This work highlights the importance of proving program correctness against specifications, a critical challenge in dependable software engineering. While his most-cited paper has garnered 2 citations, his research contributes to the foundational understanding of how formal techniques can enhance the reliability of embedded systems. His work is particularly relevant for students and researchers interested in the intersection of formal verification, robotics, and real-time systems, offering a practical example of applying theoretical rigor to real-world engineering problems.
Research Focus
Key Achievements
Top Papers
- 1