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 × Cyprus
1 × Germany
1 × Poland
1 × Switzerland
2 × Italy
2 × USA
Collaborated with:
R.Focardi M.Bravetti F.Martinelli G.L.Ferrari G.Zavattaro C.Versari G.Siliprandi A.Brogi A.Rensink E.Locatelli N.Busi A.Asperti U.Montanari P.Degano S.Vigna R.Lucchi
Talks about:
cryptograph (2) implement (2) protocol (2) languag (2) analysi (2) servic (2) verif (2) secur (2) relat (2) time (2)

Person: Roberto Gorrieri

DBLP DBLP: Gorrieri:Roberto

Facilitated 1 volumes:

ICALP 1997Ed

Contributed to:

SFM 20082008
SAC 20042004
ESOP 20032003
FoSSaCS 20012001
ICALP 20002000
TACAS 19961996
CAV 19941994
POPL 19901990
TAPSOFT, Vol.1: CAAP 19891989
TAPSOFT, Vol.2: ADC 19911991
TAPSOFT CAAP/FASE 19931993
TAPSOFT CAAP/FASE 19971997

Wrote 13 papers:

SFM-2008-VersariG #calculus #implementation #process
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi (CV, RG), pp. 449–506.
SAC-2004-BravettiLZG #e-commerce #quality #security #web #web service
Web Services for E-commerce: guaranteeing security access and quality of service (MB, RL, GZ, RG), pp. 800–806.
ESOP-2003-GorrieriLM #analysis #encryption #protocol #realtime
A Simple Language for Real-Time Cryptographic Protocol Analysis (RG, EL, FM), pp. 114–128.
FoSSaCS-2001-BusiGZ #coordination
Temporary Data in Shared Dataspace Coordination Languages (NB, RG, GZ), pp. 121–136.
ICALP-2000-BravettiG #axiom #behaviour #congruence #finite
A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors (MB, RG), pp. 744–755.
ICALP-2000-FocardiGM #analysis #encryption #protocol
Non Interference for the Analysis of Cryptographic Protocols (RF, RG, FM), pp. 354–372.
TACAS-1996-FocardiG #automation #composition #security #verification
Automatic Compositional Verification of Some Security Properties (RF, RG), pp. 167–186.
CAV-1994-GorrieriS #realtime #using #verification
Real-Time System Verification using P/T Nets (RG, GS), pp. 14–26.
POPL-1990-AspertiFG #proving
Implicative Formulae in the “Proofs as Computations” Analogy (AA, GLF, RG), pp. 59–71.
CAAP-1989-BrogiG #distributed #prolog #semantics
A Distributed, Net Oriented Semantics for Delta Prolog (AB, RG), pp. 162–177.
ADC-1991-FerrariGM #theorem
An Extended Expansion Theorem (GLF, RG, UM), pp. 29–48.
TAPSOFT-1993-DeganoGV #concurrent #modelling #on the
On Relating Some Models for Concurrency (PD, RG, SV), pp. 15–30.
TAPSOFT-1997-RensinkG #implementation #refinement
Action Refinement as an Implementation Relations (AR, RG), pp. 772–786.

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.