Silvano Dal Zilio
Titel
Citeras av
Citeras av
År
XML schema, tree logic and sheaves automata
S Dal Zilio, D Lugiez
International Conference on Rewriting Techniques and Applications, 246-263, 2003
1192003
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
822004
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
772009
Resource control for synchronous cooperative threads
RM Amadio, S Dal Zilio
International Conference on Concurrency Theory, 68-82, 2004
532004
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
Mobile processes: a commented bibliography
S Dal Zilio
Summer School on Modeling and Verification of Parallel Processes, 206-222, 2000
412000
Formal Verification of AADL models with Fiacre and Tina
B Berthomieu, JP Bodeveix, S Dal Zilio, P Dissaux, M Filali, P Gaufillet, ...
402010
A functional scenario for bytecode verification of resource bounds
RM Amadio, S Coupet-Grimal, S Dal Zilio, L Jakubiec
International Workshop on Computer Science Logic, 265-279, 2004
402004
The complexity of model checking mobile ambients
W Charatonik, S Dal Zilio, AD Gordon, S Mukhopadhyay, JM Talbot
International Conference on Foundations of Software Science and Computation …, 2001
392001
Region analysis and a π-calculus with groups
S Dal Zilio, AD Gordon
International Symposium on Mathematical Foundations of Computer Science, 1-20, 2000
382000
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
322012
Model checking real-time properties on the functional layer of autonomous robots
M Foughali, B Berthomieu, S Dal Zilio, F Ingrand, A Mallet
International Conference on Formal Engineering Methods, 383-399, 2016
302016
On the dynamics of PB systems: a Petri net view
S Dal Zilio, E Formenti
International Workshop on Membrane Computing, 153-167, 2003
282003
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
222011
Multitrees automata, Presburger’s constraints and tree logics
D Lugiez, S Dal Zilio
Laboratoire d’Informatique Fondamentale, CNRS and Université de Provence, 2002
212002
Multitrees automata, Presburger’s constraints and tree logics
D Lugiez, S Dal Zilio
Laboratoire d’Informatique Fondamentale, CNRS and Université de Provence, 2002
212002
Formal verification of complex robotic systems on resource-constrained platforms
M Foughali, B Berthomieu, S Dal Zilio, PE Hladik, F Ingrand, A Mallet
2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software …, 2018
202018
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures
F Cassez, C Jard, B Rozoy, MD Ryan
Springer, 2003
20*2003
Spatial congruence for ambients is decidable
S Dal Zilio
Annual Asian Computing Science Conference, 88-103, 2000
192000
Towards timed requirement verification for service choreographies
N Guermouche, S Dal Zilio
8th International Conference on Collaborative Computing: Networking …, 2012
182012
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20