BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Poland
1 × Portugal
2 × Italy
2 × Spain
Collaborated with:
D.Lugiez B.Berthomieu F.Vernadat L.Acciai M.Boreale C.Meyssonnier P.Bourdil R.M.Amadio S.Coupet-Grimal L.Jakubiec W.Charatonik A.D.Gordon S.Mukhopadhyay J.Talbot J.Bodeveix C.Chaudet M.Filali
Talks about:
verif (2) logic (2) transact (1) symmetri (1) scenario (1) function (1) calculus (1) automata (1) resourc (1) environ (1)

Person: Silvano Dal-Zilio

DBLP DBLP: Dal-Zilio:Silvano

Contributed to:

SAC 20152015
Ada-Europe 20092009
ESOP 20072007
CSL 20042004
POPL 20042004
RTA 20032003
FoSSaCS 20012001

Wrote 7 papers:

SAC-2015-BourdilBDV #petri net #symmetry
Symmetry reduced state classes for time petri nets (PAB, BB, SDZ, FV), pp. 1751–1758.
AdaEurope-2009-BerthomieuBCDFV #specification #verification
Formal Verification of AADL Specifications in the Topcased Environment (BB, JPB, CC, SDZ, MF, FV), pp. 207–221.
ESOP-2007-AcciaiBD #calculus #concurrent #transaction
A Concurrent Calculus with Atomic Transactions (LA, MB, SDZ), pp. 48–63.
CSL-2004-AmadioCDJ #bound #bytecode #functional #verification
A Functional Scenario for Bytecode Verification of Resource Bounds (RMA, SCG, SDZ, LJ), pp. 265–279.
POPL-2004-Dal-ZilioLM #logic
A logic you can count on (SDZ, DL, CM), pp. 135–146.
RTA-2003-Dal-ZilioL #automaton #logic #xml
XML Schema, Tree Logic and Sheaves Automata (SDZ, DL), pp. 246–263.
FoSSaCS-2001-CharatonikDGMT #complexity #mobile #model checking
The Complexity of Model Checking Mobile Ambients (WC, SDZ, ADG, SM, JMT), pp. 152–167.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.