Silvano Dal-Zilio

Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan: A Verified Approach for Checking Real-Time Specification Patterns. CoRR abs/1301.7531 (2013)

Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu: An Experiment on Parallel Model Checking of a CTL Fragment. CoRR abs/1301.7533 (2013)

Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan: Real-Time Specification Patterns and Tools. CoRR abs/1301.7534 (2013)

Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu: An Experiment on Parallel Model Checking of a CTL Fragment. ATVA 2012: 284-299

Nawal Guermouche, Silvano Dal-Zilio: Towards timed requirement verification for service choreographies. CollaborateCom 2012: 117-126

Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan: Real-Time Specification Patterns and Tools. FMICS 2012: 1-15

Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu: Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction. ISPDC 2011: 9-16

Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat: Formal Verification of AADL Specifications in the Topcased Environment. Ada-Europe 2009: 207-221

Lucia Acciai, Michele Boreale, Silvano Dal-Zilio: A Concurrent Calculus with Atomic Transactions. ESOP 2007: 48-63

Roberto M. Amadio, Silvano Dal-Zilio: Resource control for synchronous cooperative threads. Theor. Comput. Sci. 358(2-3): 229-254 (2006)

Lucia Acciai, Michele Boreale, Silvano Dal-Zilio: A Typed Calculus for Querying Distributed XML Documents. TGC 2006: 167-182

Lucia Acciai, Michele Boreale, Silvano Dal-Zilio: A Concurrent Calculus with Atomic Transactions. CoRR abs/cs/0610137 (2006)

Silvano Dal-Zilio, Régis Gascon: Resource Bound Certification for a Tail-Recursive Virtual Machine. APLAS 2005: 247-263

Roberto M. Amadio, Silvano Dal-Zilio: Resource Control for Synchronous Cooperative Threads. CoRR abs/cs/0512057 (2005)

Roberto M. Amadio, Silvano Dal-Zilio: Resource Control for Synchronous Cooperative Threads. CONCUR 2004: 68-82

Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec: A Functional Scenario for Bytecode Verification of Resource Bounds. CSL 2004: 265-279

Silvano Dal-Zilio, Denis Lugiez, Charles Meyssonnier: A logic you can count on. POPL 2004: 135-146

Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot: Model checking mobile ambients. Theor. Comput. Sci. 308(1-3): 277-331 (2003)

Silvano Dal-Zilio, Enrico Formenti: On the Dynamics of PB Systems: A Petri Net View. Workshop on Membrane Computing 2003: 153-167

Silvano Dal-Zilio, Denis Lugiez: XML Schema, Tree Logic and Sheaves Automata. RTA 2003: 246-263

Silvano Dal-Zilio, Andrew D. Gordon: Region analysis and a pi-calculus with groups. J. Funct. Program. 12(3): 229-292 (2002)

Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot: The Complexity of Model Checking Mobile Ambients. FoSSaCS 2001: 152-167

Silvano Dal-Zilio: Spatial Congruence for Ambients Is Decidable. ASIAN 2000: 88-103

Silvano Dal-Zilio: An Interpretation of Typed Concurrent Objects in the Blue Calculus. IFIP TCS 2000: 409-424

Silvano Dal-Zilio, Andrew D. Gordon: Region Analysis and a pi-Calculus wiht Groups. MFCS 2000: 1-20

Silvano Dal-Zilio: Mobile Processes: A Commented Bibliography. MOVEP 2000: 206-222

Gérard Boudol, Silvano Dal-Zilio: An Interpretation of Extensible Objects. FCT 1999: 148-160