Seguir
Silvano Dal Zilio
Título
Citado por
Citado por
Año
XML schema, tree logic and sheaves automata
S Dal Zilio, D Lugiez
International Conference on Rewriting Techniques and Applications, 246-263, 2003
124*2003
Formal verification of AADL specifications in the Topcased environment
B Berthomieu, JP Bodeveix, C Chaudet, S Dal Zilio, M Filali, F Vernadat
International Conference on Reliable Software Technologies, 207-221, 2009
952009
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
Resource control for synchronous cooperative threads
RM Amadio, S Dal Zilio
International Conference on Concurrency Theory, 68-82, 2004
522004
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
512010
Model checking mobile ambients
W Charatonik, S Dal Zilio, AD Gordon, S Mukhopadhyay, JM Talbot
Theoretical Computer Science 308 (1-3), 277-331, 2003
442003
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
442001
Real-time specification patterns and tools
N Abid, S Dal Zilio, D Le Botlan
International Workshop on Formal Methods for Industrial Critical Systems, 1-15, 2012
432012
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
432004
Mobile processes: a commented bibliography
S Dal Zilio
Summer School on Modeling and Verification of Parallel Processes, 206-222, 2000
432000
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
402019
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
382016
Region analysis and a π-calculus with groups
SD Zilio, AD Gordon
International Symposium on Mathematical Foundations of Computer Science, 1-20, 2000
372000
On the dynamics of PB systems: a Petri net view
S Dal Zilio, E Formenti
International Workshop on Membrane Computing, 153-167, 2003
342003
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
332018
Petri net reductions for counting markings
B Berthomieu, D Le Botlan, S Dal Zilio
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga …, 2018
282018
Counting Petri net markings from reduction equations
B Berthomieu, D Le Botlan, S Dal Zilio
International Journal on Software Tools for Technology Transfer 22, 163-181, 2020
242020
Multitrees automata, Presburger’s constraints and tree logics
D Lugiez, S Dal Zilio
Laboratoire d’Informatique Fondamentale, CNRS and Université de Provence, 2002
222002
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
Model-checking real-time properties of an aircraft landing gear system using fiacre
B Berthomieu, S Dal Zilio, Ł Fronc
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014
202014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20