Follow
Silvano Dal Zilio
Title
Cited by
Cited by
Year
21: Typage et gestion automatique de la mémoire dans un langage à objets
S DAL ZILIO
Sujets des Mémoires du DEA d’Informatique Universités d’Avignon, Marseille …, 0
A bisimulation for the blue calculus
S Dal Zilio
INRIA, 1999
61999
A concurrent calculus with atomic transactions
L Acciai, M Boreale, S Dal Zilio
European Symposium on Programming, 48-63, 2007
172007
A Dynamic, Lock free Data Dictionary for Parallel State Space Construction
RT Saad, S Dal Zilio, B Berthomieu
A Fiacre V3. 0 Primer
B Berthomieu, S dal Zilio, F Vernadat
Cited on, 2020
42020
A formal framework to specify and verify real-time properties on critical systems
N Abid, S Dal Zilio, D Le Botlan
International Journal of Critical Computer-Based Systems 5 (1-2), 4-30, 2014
152014
A formal toolchain for offline and run-time verification of robotic systems
S Dal Zilio, PE Hladik, F Ingrand, A Mallet
Robotics and Autonomous Systems 159, 104301, 2023
152023
A functional scenario for bytecode verification of resource bounds
RM Amadio, S Coupet-Grimal, S Dal Zilio, L Jakubiec
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual …, 2004
422004
A general lock-free algorithm for parallel state space construction
RT Saad, S Dal Zilio, B Berthomieu
2010 Ninth International Workshop on Parallel and Distributed Methods in …, 2010
122010
A logic you can count on
S Dal Zilio, D Lugiez, C Meyssonnier
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004
842004
A Model-Checking approach to analyse temporal failure propagation with altaRica
A Albore, S Dal Zilio, G Infantes, C Seguin, P Virelizier
Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017 …, 2017
62017
A new product construction for the diagnosability of patterns in time Petri net
É Lubat, S Dal Zilio, D Le Botlan, Y Pencolé, A Subias
2020 59th IEEE Conference on Decision and Control (CDC), 104-109, 2020
42020
A polyhedral abstraction for Petri nets and its application to SMT-based model checking
N Amat, B Berthomieu, S Dal Zilio
Fundamenta Informaticae 187, 2022
112022
A Real-Time Specification Patterns Language
N Abid, S Dal Zilio, D Le Botlan
172011
A self-applicable partial evaluator for a subset of Haskell
S Dal-Zilio
August, 1993
11993
A Short Overview on Diagnosability of Patterns in Timed Petri Net
É Lubat, S Dal Zilio
14th Summer School on Modelling and Verification of Parallel Processes …, 2020
2020
A state class construction for computing the intersection of time Petri nets languages
É Lubat, S Dal Zilio, D Le Botlan, Y Pencolé, A Subias
Formal Modeling and Analysis of Timed Systems: 17th International Conference …, 2019
92019
A Timed Graphical Interval Logic
S Dal Zilio, N Abid
2012
A typed calculus for querying distributed XML documents
L Acciai, M Boreale, S Dal Zilio
International Symposium on Trustworthy Global Computing, 167-182, 2006
62006
A verified approach for checking real-time specification patterns
N Abid, SD Zilio, DL Botlan
arXiv preprint arXiv:1301.7531, 2013
122013
The system can't perform the operation now. Try again later.
Articles 1–20