Silvano Dal Zilio

Centre National de la Recherche Scientifique

论文数

4

总引用数

76

H-Index

4

关于

暂无简介。

研究焦点

Computer science4 · 76 次引用
Software engineering4 · 76 次引用
Programming language4 · 76 次引用
Software4 · 76 次引用
Model checking4 · 76 次引用
Distributed computing3 · 63 次引用
Formal methods2 · 40 次引用
Formal verification2 · 40 次引用
Embedded system2 · 32 次引用
Autonomous robot1 · 31 次引用
Middleware (distributed applications)1 · 31 次引用
Layer (electronics)1 · 31 次引用

主要成就

4
H 指数
4
论文
76
总引用数
19
篇均引用
🏆 最高被引论文
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots
31 次引用 · 2016
📈 最高产年份: 2016 (1 论文)
🤝 主要合作者: 6
🏛 所属机构: Centre National de la Recherche Scientifique

代表论文

  1. 1
    Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots
    31 次引用 · 2016
  2. 2
    Formal verification of complex robotic systems on resource-constrained platforms
    27 次引用 · 2018
  3. 3
    A formal toolchain for offline and run-time verification of robotic systems
    13 次引用 · 2022
  4. 4
    Hippo: A formal-model execution engine to control and verify critical real-time systems
    5 次引用 · 2021

主要合作者

FIFélix Ingrand4 篇合著论文PHPierre-Emmanuel Hladik3 篇合著论文AMAnthony Mallet3 篇合著论文BBBernard Berthomieu2 篇合著论文MFMohammed Foughali2 篇合著论文RTReyyan Tekin1 篇合著论文
尚未生成