Suivre
Silvano Dal Zilio
Titre
Citée par
Citée par
Année
XML schema, tree logic and sheaves automata
S Dal Zilio, D Lugiez
Rewriting Techniques and Applications: 14th International Conference, RTA …, 2003
126*2003
Formal verification of AADL specifications in the Topcased environment
B Berthomieu, JP Bodeveix, C Chaudet, S Dal Zilio, M Filali, F Vernadat
Reliable Software Technologies–Ada-Europe 2009: 14th Ada-Europe …, 2009
902009
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
872004
Resource control for synchronous cooperative threads
RM Amadio, S Dal Zilio
CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004
512004
Formal Verification of AADL models with Fiacre and Tina
B Berthomieu, JP Bodeveix, S Dal Zilio, P Dissaux, M Filali, P Gaufillet, ...
ERTSS 2010-Embedded Real-Time Software and Systems, 1-9, 2010
472010
Mobile processes: a commented bibliography
S Dal Zilio
Modeling and verification of parallel processes 2067, 206-222, 2001
442001
Model checking mobile ambients
W Charatonik, S Dal Zilio, AD Gordon, S Mukhopadhyay, JM Talbot
Theoretical Computer Science 308 (1-3), 277-331, 2003
422003
Real-time specification patterns and tools
N Abid, S Dal Zilio, D Le Botlan
Formal Methods for Industrial Critical Systems: 17th International Workshop …, 2012
412012
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
412004
Model checking real-time properties on the functional layer of autonomous robots
M Foughali, B Berthomieu, S Dal Zilio, F Ingrand, A Mallet
Formal Methods and Software Engineering: 18th International Conference on …, 2016
402016
The complexity of model checking mobile ambients
W Charatonik, S Dal Zilio, AD Gordon, S Mukhopadhyay, JM Talbot
Foundations of Software Science and Computation Structures: 4th …, 2001
392001
Region analysis and a π-calculus with groups
SD Zilio, AD Gordon
Mathematical Foundations of Computer Science 2000: 25th International …, 2000
392000
On the Dynamics of PB Systems: A Petri Net View.
S Dal-Zilio, E Formenti
Workshop on Membrane Computing, 153-167, 2003
342003
Presentation of the 9th edition of the model checking contest
E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
292019
Formal verification of complex robotic systems on resource-constrained platforms
M Foughali, B Berthomieu, SD Zilio, PE Hladik, F Ingrand, A Mallet
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2-9, 2018
292018
Spatial congruence for ambients is decidable
S Dal Zilio
Advances in Computing Science—ASIAN 2000: 6th Asian Computing Science …, 2000
232000
Mixed shared-distributed hash tables approaches for parallel state space construction
RT Saad, S Dal Zilio, B Berthomieu
2011 10th International Symposium on Parallel and Distributed Computing, 9-16, 2011
212011
Petri net reductions for counting markings
B Berthomieu, D Le Botlan, S Dal Zilio
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga …, 2018
202018
Multitrees automata, Presburger’s constraints and tree logics
D Lugiez, S Dal Zilio
Laboratoire d’Informatique Fondamentale, CNRS and Université de Provence, 2002
202002
Multitrees automata, Presburger’s constraints and tree logics
D Lugiez, S Dal Zilio
Laboratoire d’Informatique Fondamentale, CNRS and Université de Provence, 2002
202002
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20