According to our database1, Silvano Dal-Zilio authored at least 32 papers between 1999 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Petri Net Reductions for Counting Markings.
Proceedings of the Model Checking Software - 25th International Symposium, 2018
Formal verification of complex robotic systems on resource-constrained platforms.
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018
Formal verification of user-level real-time property patterns.
Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017
A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica.
Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017
Symmetry reduction for time Petri net state classes.
Sci. Comput. Program., 2016
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots.
Proceedings of the Formal Methods and Software Engineering, 2016
Solving Language Equations Using Flanked Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2016
Automating the Verification of Realtime Observers Using Probes and the Modal mu-calculus.
Proceedings of the Topics in Theoretical Computer Science, 2015
Symmetry reduced state classes for time petri nets.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
A formal framework to specify and verify real-time properties on critical systems.
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014
Real-Time Specification Patterns and Tools.
Proceedings of the Formal Methods for Industrial Critical Systems, 2012
Towards timed requirement verification for service choreographies.
Proceedings of the 8th International Conference on Collaborative Computing: Networking, 2012
An Experiment on Parallel Model Checking of a CTL Fragment.
Proceedings of the Automated Technology for Verification and Analysis, 2012
Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction.
Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011
Formal Verification of AADL Specifications in the Topcased Environment.
Proceedings of the Reliable Software Technologies, 2009
A Concurrent Calculus with Atomic Transactions.
Proceedings of the Programming Languages and Systems, 2007
A Typed Calculus for Querying Distributed XML Documents.
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006
Resource Bound Certification for a Tail-Recursive Virtual Machine.
Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005
A logic you can count on.
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004
A Functional Scenario for Bytecode Verification of Resource Bounds.
Proceedings of the Computer Science Logic, 18th International Workshop, 2004
Resource Control for Synchronous Cooperative Threads.
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004
Model checking mobile ambients.
Theor. Comput. Sci., 2003
XML Schema, Tree Logic and Sheaves Automata.
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003
On the Dynamics of PB Systems: A Petri Net View.
Proceedings of the Membrane Computing, International Workshop, 2003
Region analysis and a pi-calculus with groups.
J. Funct. Program., 2002
The Complexity of Model Checking Mobile Ambients.
Proceedings of the Foundations of Software Science and Computation Structures, 2001
Mobile Processes: A Commented Bibliography.
Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000
Region Analysis and a pi-Calculus wiht Groups.
Proceedings of the Mathematical Foundations of Computer Science 2000, 2000
An Interpretation of Typed Concurrent Objects in the Blue Calculus.
Proceedings of the Theoretical Computer Science, 2000
Spatial Congruence for Ambients Is Decidable.
Proceedings of the Advances in Computing Science, 2000
An Interpretation of Extensible Objects.
Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999