Salim Chehida

Papers

Total Citations

H-Index

About

Dr. Salim Chehida is a leading researcher in the formal verification and functional assurance of collaborative intelligent robotic systems. His work directly addresses the critical challenge of deploying autonomous robots in complex, real-world environments—such as warehouses—where safety and reliability are paramount. Dr. Chehida’s major contributions lie in bridging the gap between high-level system design and provable correctness. He is best known for his pioneering framework, BRAIN-IoT, which provides a rigorous methodology for ensuring functional assurance in multi-robot deployments. His 2023 paper on this topic, which has already garnered 6 citations, demonstrates how formal modeling can give engineers confidence in the behavior of collaborative robots before they are deployed. Earlier foundational work in 2021, with 4 citations, established formal models and simulations for these intelligent systems, enabling the verification of complex interactions. By integrating formal methods with IoT architectures, Dr. Chehida is shaping the future of safe, trustworthy automation, making his research essential reading for anyone working at the intersection of robotics, formal verification, and industrial IoT.