Silvano Dal-Zilio

According to our database1, Silvano Dal-Zilio authored at least 32 papers between 1999 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 





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.
IJCCBS, 2014

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