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: Dal-Zilio:Silvano
Contributed to:
2015
2009
2007
2004
2004
2003
2001Wrote 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.