A formal toolchain for offline and run-time verification of robotic systems
Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Mallet Anthony Robotics and Autonomous Systems 159, jan 2023.
Robotics
Hippo: A formal-model execution engine to control and verify critical real-time systems
Pierre-Emmanuel Hladik, Félix Ingrand, Silvano Dal Zilio, Reyyan Tekin Journal of Systems and Software 181, nov 2021.
Hippo and GenoM (Talk)
·76 words
Presentation on the advantages of using a formal-model execution engine
to control and verify critical robotic systems
On the Semantics of the GenoM3 Framework
Mohammed Foughali, Silvano Dal Zilio, Félix Ingrand Research Report 19036, LAAS, jan 2019.
Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms
Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet In FormaliSE — 6th International Conference on Formal Methods in Software Engineering, jun 2018.
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots
Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Félix Ingrand, Anthony Mallet In ICFEM 2016 — 18th International Conference on Formal Engineering Methods, nov 2016.