Silvano Dal-Zilio

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Petri Net Reductions for Counting Markings.
CoRR, 2018

Time-accurate Middleware for the Virtualization of Communication Protocols.
CoRR, 2018

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

2017
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

2016
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

2015
Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina.
CoRR, 2015

Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus.
CoRR, 2015

Real-Time Model Checking Support for AADL.
CoRR, 2015

On the Complexity of Flanked Finite State Automata.
CoRR, 2015

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

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

Time Petri Nets with Dynamic Firing Dates: Semantics and Applications.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

2013
Real-Time Specification Patterns and Tools
CoRR, 2013

An Experiment on Parallel Model Checking of a CTL Fragment
CoRR, 2013

A Verified Approach for Checking Real-Time Specification Patterns
CoRR, 2013

2012
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

2011
Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction.
Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011

2009
Formal Verification of AADL Specifications in the Topcased Environment.
Proceedings of the Reliable Software Technologies, 2009

2007
A Concurrent Calculus with Atomic Transactions.
Proceedings of the Programming Languages and Systems, 2007

2006
Resource control for synchronous cooperative threads.
Theor. Comput. Sci., 2006

A Concurrent Calculus with Atomic Transactions
CoRR, 2006

A Typed Calculus for Querying Distributed XML Documents.
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

2005
Resource Control for Synchronous Cooperative Threads
CoRR, 2005

Resource Bound Certification for a Tail-Recursive Virtual Machine.
Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004
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

2003
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

2002
Region analysis and a pi-calculus with groups.
J. Funct. Program., 2002

2001
The Complexity of Model Checking Mobile Ambients.
Proceedings of the Foundations of Software Science and Computation Structures, 2001

2000
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

1999
An Interpretation of Extensible Objects.
Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999


  Loading...