Concepedia

Silvano Dal Zilio

SD

13

Publications

337

Citations

12

H-Index

2001

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Laboratoire d'Analyse et d'Architecture des Systèmes

Université Fédérale de Toulouse Midi-Pyrénées

Institut National des Sciences Appliquées de Toulouse

Laboratoire d’Informatique Fondamentale de Marseille

Silvano Dal Zilio is an author at Centre National de la Recherche Scientifique specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsVerificationFormal VerificationSystems EngineeringAutomated ReasoningSoftware AnalysisComputer EngineeringRobotics

Publications per year

2001–2022

13

Publications

13

A logic you can count on

Silvano Dal Zilio, Denis Lugiez, Charles Meyssonnier · 2004 · 67 citations

Computational Logic, Ambient Logic, Engineering +15

Resource control for synchronous cooperative threads

Roberto M. Amadio, Silvano Dal Zilio · Theoretical Computer Science · 2006 · 40 citations

Cluster Computing, Resource Control, Engineering +7

Model checking mobile ambients

Witold Charatonik, Silvano Dal Zilio, Andrew D. Gordon et al. · Theoretical Computer Science · 2003 · 39 citations · Full text

Mobile Sensing, Engineering, Mobile Interaction +7

Formal Veriﬁcation Of Aadl Models With Fiacre And Tina

Silvano Dal Zilio, François Vernadat · HAL (Le Centre pour la Communication Scientifique Directe) · 2010 · 30 citations · Full text

Engineering, Verification, Software Engineering +20

Formal verification of complex robotic systems on resource-constrained platforms

Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio et al. · 2018 · 27 citations

Robot Kinematics, Robotic Systems, Engineering +19

Rows per page

1–5 of 13