Madiel Conserva Filho

Papers

Total Citations

H-Index

About

Madiel Conserva Filho is a leading researcher in the formal verification of robotic systems, with a focus on bridging the gap between rigorous mathematical proof and practical robotics engineering. His work centers on the RoboStar technology suite, a comprehensive toolbox that integrates simulation, testing, and formal verification for robotic software. Conserva Filho’s major contributions include the development of RoboSim, a tool-independent notation for modeling robot software simulations, which is grounded in formal tock-CSP semantics. This enables verification through model checking and theorem proving, as demonstrated in his work on transforming RoboSim models into UPPAAL (2021). His most cited paper, "Verified simulation for robotics" (2019, 44 citations), showcases his impact in making formal methods accessible to roboticists. Additionally, his analysis of RoboChart with probabilities (2018) and the RoboStar Technology overview (2020, 28 citations) highlight his role in advancing safe, reliable autonomous systems. With a growing citation record, Conserva Filho’s research is essential for students and engineers seeking to ensure the correctness of robotic software through combined proof, simulation, and testing.