Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Silvano Dal Zilio

Solving Language Equations Using Flanked Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Presentation of the 9th Edition of the Model Checking Contest

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Symmetry Reduced State Classes for Time Petri Nets

2015English

Formal Verification of User-Level Real-Time Property Patterns

2017English

Region Analysis and a Π-Calculus With Groups

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Resource Bound Certification for a Tail-Recursive Virtual Machine

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Formal Verification of AADL Specifications in the Topcased Environment

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy