BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × France
1 × Greece
1 × Portugal
1 × Spain
1 × United Kingdom
2 × Italy
Collaborated with:
M.Bartoletti P.Degano C.Priami V.H.Thanh P.Quaglia D.Nikolic M.Murgia A.Scalas G.L.Ferrari N.Atzei S.Lande N.Yoshida
Talks about:
contract (3) calculus (2) process (2) languag (2) analysi (2) system (2) simul (2) model (2) imper (2) base (2)

Person: Roberto Zunino

DBLP DBLP: Zunino:Roberto

Contributed to:

WRLA 20142014
SAC 20122012
SEFM 20122012
LICS 20102010
SEFM 20102010
FoSSaCS 20072007
FoSSaCS 20062006
FoSSaCS 20042004
ESEC/FSE 20192019

Wrote 10 papers:

WRLA-2014-BartolettiMSZ #maude #modelling #verification
Modelling and Verifying Contract-Oriented Systems in Maude (MB, MM, AS, RZ), pp. 130–146.
SAC-2012-PriamiQZ #biology #graph #imperative #self
An imperative language of self-modifying graphs for biological systems (CP, PQ, RZ), pp. 1903–1909.
SAC-2012-ThanhZ #algorithm #probability #simulation
Tree-based search for stochastic simulation algorithm (VHT, RZ), pp. 1415–1416.
SEFM-2012-NikolicPZ #imperative #modelling #rule-based #simulation
A Rule-Based and Imperative Language for Biochemical Modeling and Simulation (DN, CP, RZ), pp. 16–32.
LICS-2010-BartolettiZ #calculus #process
A Calculus of Contracting Processes (MB, RZ), pp. 332–341.
Static Enforcement of Service Deadlines (MB, RZ), pp. 320–324.
FoSSaCS-2007-BartolettiDFZ #analysis #resource management
Types and Effects for Resource Usage Analysis (MB, PD, GLF, RZ), pp. 32–47.
FoSSaCS-2006-ZuninoD #analysis #protocol
Handling exp, × (and Timestamps) in Protocol Analysis (RZ, PD), pp. 413–427.
FoSSaCS-2004-ZuninoD #calculus #encryption #process
A Note on the Perfect Encryption Assumption in a Process Calculus (RZ, PD), pp. 514–528.
ESEC-FSE-2019-AtzeiBLYZ #contract
Developing secure bitcoin contracts with BitML (NA, MB, SL, NY, RZ), pp. 1124–1128.

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.