Silvano DAL ZILIO
Silvano DAL ZILIO
Home
Publications
Projects
Courses
Posts
Software
Contact
Light
Dark
Automatic
Robotics
Hippo: A formal-model execution engine to control and verify critical real-time systems
The design of embedded real-time systems requires specific toolchains to guarantee time constraints and safe behavior. These tools and …
Pierre-Emmanuel Hladik
,
Félix Ingrand
,
Silvano Dal Zilio
,
Reyyan Tekin
Cite
Project
DOI
On the Semantics of the GenoM3 Framework
The goal of this document is to add to the efforts toward the long-sought objective of secure and safe robots with predictable and a …
Mohammed Foughali
,
Silvano Dal Zilio
,
Félix Ingrand
PDF
Cite
Project
Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms
Software constitutes a major part of the development of robotic and autonomous systems and is critical to their successful deployment …
Mohammed Foughali
,
Bernard Berthomieu
,
Silvano Dal Zilio
,
Pierre-Emmanuel Hladik
,
Félix Ingrand
,
Anthony Mallet
PDF
Cite
Project
DOI
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots
Software is an essential part of robotic systems. As robots and autonomous systems are more and more deployed in human environments, we …
Mohammed Foughali
,
Bernard Berthomieu
,
Silvano Dal Zilio
,
Félix Ingrand
,
Anthony Mallet
PDF
Cite
Project
DOI
Cite
×