Shival Dubey
Papers
1
Total Citations
2
H-Index
1
About
Shival Dubey is a researcher at the forefront of trustworthy autonomous systems, with a focus on the intersection of formal methods and robotics. His work centers on developing reliable software architectures for safety-critical drone missions, particularly in emergency response scenarios like search and rescue, surveillance, and firefighting. Dubey’s major contribution lies in bridging the gap between rigorous formal modeling and practical implementation—exemplified by his most-cited paper, “Trustworthy ROS Software Architecture for Autonomous Drones Missions: From RoboChart Modelling to ROS Implementation” (2024, 2 citations). This work demonstrates how to translate high-assurance RoboChart models into deployable ROS code, directly addressing the pressing need for verifiable, fail-safe drone software that can reduce risks and replace human personnel in hazardous environments. While still early in his career, Dubey’s research is already shaping the conversation around dependable autonomy, offering a blueprint for building drones that are not only efficient but provably trustworthy. His approach promises to accelerate the adoption of autonomous systems in life-saving applications, making him a rising voice in the field of cyber-physical systems and robotic software engineering.
Research Focus
Key Achievements
Top Papers
- 1