You can find most of the publications on my HAL account , or tracked by DBLP .
Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel: retour d'expérience sur la chaîne de vérification formelle Fiacre
Verification
Architecture Languages
Fiacre
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Mamoun Filali, Marc Pantel, François Vernadat
In IDM SafeModel 2010 — Journées sur l’Ingénierie Dirigée par les Modèles, mar 2010.
In IDM SafeModel 2010 — Journées sur l’Ingénierie Dirigée par les Modèles, mar 2010.
Enumerative Parallel and Distributed State Space Construction
Verification
Parallelism
Rodrigo Tacla Saad, Silvano Dal Zilio, François Vernadat, Bernard Berthomieu
preprint, aug 2009.
preprint, aug 2009.
Formal Verification of AADL Specifications in the Topcased Environment
Verification
Architecture Languages
Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal Zilio, Mamoun Filali, François Vernadat
In Ada Europe 2009 — 14th Ada-Europe International Conference, jun 2009.
In Ada Europe 2009 — 14th Ada-Europe International Conference, jun 2009.
Observation Graph implementation for TINA toolbox
Verification
Petri
Rodrigo Tacla Saad, François Vernadat, Bernard Berthomieu, Silvano Dal Zilio
In EWDC 2009 — 12th European Workshop on Dependable Computing, may 2009.
In EWDC 2009 — 12th European Workshop on Dependable Computing, may 2009.
A Concurrent Calculus with Atomic Transactions
Semantics
Lucia Acciai, Michele Boreale, Silvano Dal Zilio
In ESOP 2007 — 16th European Symposium on Programming, mar 2007.
In ESOP 2007 — 16th European Symposium on Programming, mar 2007.
A Typed Calculus for Querying Distributed XML Documents
XML
Semantics
Concurrency
Lucia Acciai, Michele Boreale, Silvano Dal Zilio
In TGC 2006 — 2nd symposium on Trustworthy Global Computing, jan 2007.
In TGC 2006 — 2nd symposium on Trustworthy Global Computing, jan 2007.
A Concurrent Calculus with Atomic Transactions
XML
Automata
Lucia Acciai, Michele Boreale, Silvano Dal Zilio
preprint, oct 2006.
preprint, oct 2006.
XML schema, tree logic and sheaves automata
XML
Automata
Semantics
Silvano Dal Zilio, Denis Lugiez
Applicable Algebra in Engineering, Communication and Computing 17(5):337—377, oct 2006.
Applicable Algebra in Engineering, Communication and Computing 17(5):337—377, oct 2006.
Resource Control for Synchronous Cooperative Threads
Complexity
Resource Control
Roberto M. Amadio, Silvano Dal Zilio
Theoretical Computer Science 358(2-3):229—254, aug 2006.
Theoretical Computer Science 358(2-3):229—254, aug 2006.
Resource Bound Certification for a Tail-Recursive Virtual Machine
Complexity
Resource Control
Silvano Dal Zilio, Régis Gascon
In APLAS 2005 — 3rd Asian Symposium on Programming Languages and Systems, nov 2005.
In APLAS 2005 — 3rd Asian Symposium on Programming Languages and Systems, nov 2005.