Silvano Dal Zilio

Centre National de la Recherche Scientifique

Papers

4

Total Citations

76

H-Index

4

About

No biography available yet.

Research Focus

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

Key Achievements

4
H-Index
4
Papers
76
Total Citations
19
Avg Citations/Paper
🏆 Most Cited Paper
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots
31 citations · 2016
📈 Most Prolific Year: 2016 (1 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: Centre National de la Recherche Scientifique

Top Papers

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

Key Collaborators

FIFélix Ingrand4 shared papersPHPierre-Emmanuel Hladik3 shared papersAMAnthony Mallet3 shared papersBBBernard Berthomieu2 shared papersMFMohammed Foughali2 shared papersRTReyyan Tekin1 shared papers
Not generated yet