( en | de | ru )

 

Disambiguation of "Dal-Zilio, Silvano"

Author of the publication

copydeleteadd this publication to your clipboard
A logic you can count on.

, , and . POPL, page 135-146. ACM, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sonia Ziliotto

Vilija Zilioniene

Silvano Reiser

Silvano Reiser

Silvano Villa

 

Other publications of authors with the same name

A Concurrent Calculus with Atomic Transactions, , and . CoRR, (2006)Mobile Processes: A Commented Bibliography.. MOVEP, volume 2067 of Lecture Notes in Computer Science, page 206-222. Springer, (2000)From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper)., , , , , , , , , and 5 other author(s). ECRTS, volume 262 of LIPIcs, page 19:1-19:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)MCC: a Tool for Unfolding Colored Petri Nets in PNML Format.. CoRR, (2020)Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability., , and . VMCAI (1), volume 14499 of Lecture Notes in Computer Science, page 101-123. Springer, (2024)Formal verification of complex robotic systems on resource-constrained platforms., , , , , and . FormaliSE@ICSE, page 2-9. ACM, (2018)Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction., , and . ISPDC, page 9-16. IEEE Computer Society, (2011)Resource Control for Synchronous Cooperative Threads, and . CoRR, (2005)Automating the Verification of Realtime Observers Using Probes and the Modal mu-calculus., and . TTCS, volume 9541 of Lecture Notes in Computer Science, page 90-104. Springer, (2015)Region analysis and a pi-calculus with groups., and . J. Funct. Program., 12 (3): 229-292 (2002)