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 × Canada
1 × Hungary
1 × Spain
2 × Austria
2 × France
2 × Portugal
2 × The Netherlands
2 × USA
2 × United Kingdom
3 × Germany
3 × Italy
Collaborated with:
C.Priami U.Montanari G.L.Ferrari R.Zunino C.Bodei G.Mezzetti M.Bartoletti P.Darondeau G.Levi F.Nielson H.R.Nielson L.Galletta C.Nottegar G.Carabetta F.Gadducci J.Meseguer R.D.Nicola R.Barbuti R.Gorrieri S.Vigna D.Chiarugi J.B.V.Klinken R.Marangoni D.Prandi P.Quaglia R.Borgia L.Leth B.Thomsen M.Curti M.Buchholtz P.Asirelli A.Martelli G.Pacini F.Sirovich F.Turini
Talks about:
process (5) semant (5) analysi (4) concurr (3) prove (3) mobil (3) interpret (2) distribut (2) protocol (2) properti (2)

Person: Pierpaolo Degano

DBLP DBLP: Degano:Pierpaolo

Facilitated 3 volumes:

SFM 2008Ed
ESOP 2003Ed
ICALP 1997Ed

Contributed to:

SEFM 20142014
CIAA 20132013
CIAA 20122012
SFM 20082008
FoSSaCS 20072007
FoSSaCS 20062006
QAPL 20062006
FoSSaCS 20052005
FoSSaCS 20042004
QAPL 20042005
FASE 19991999
FoSSaCS 19991999
SAS 19981998
WRLA 19981998
ICALP 19961996
SAS 19961996
ICALP 19951995
ICALP 19921992
ICALP 19891989
LICS 19891989
LICS 19881988
STOC 19841984
ILPC 19821982
ICSE 19791979
TAPSOFT, Vol.1: AS 19851985

Wrote 26 papers:

SEFM-2014-DeganoFG #adaptation #reliability #static analysis
A Two-Phase Static Analysis for Reliable Adaptation (PD, GLF, LG), pp. 347–362.
CIAA-2013-DeganoFM #model checking #towards
Towards Nominal Context-Free Model-Checking (PD, GLF, GM), pp. 109–121.
CIAA-2012-DeganoFM #automaton #resource management
Nominal Automata for Resource Usage Control (PD, GLF, GM), pp. 125–137.
SFM-2008-ChiarugiDKM #approach
Cells in Silico: A Holistic Approach (DC, PD, JBVK, RM), pp. 366–386.
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.
QAPL-2006-DeganoPPQ #biology
Beta-binders for Biological Quantitative Experiments (PD, DP, CP, PQ), pp. 101–117.
FoSSaCS-2005-BartolettDF #data access #policy
History-Based Access Control with Local Policies (MB, PD, GLF), pp. 316–332.
FoSSaCS-2004-ZuninoD #calculus #encryption #process
A Note on the Perfect Encryption Assumption in a Process Calculus (RZ, PD), pp. 514–528.
QAPL-2004-BodeiCDBNNP05 #evaluation #performance #protocol #security
Performance Evaluation of Security Protocols Specified in LySa (CB, MC, PD, MB, FN, HRN, CP), pp. 167–189.
FASE-1999-NottegarPD #evaluation #performance #semantics
Semantic-Driven Performance Evaluation (CN, CP, PD), pp. 204–218.
FoSSaCS-1999-BodeiDNN #process #static analysis
Static Analysis of Processes for No and Read-Up and No Write-Down (CB, PD, FN, HRN), pp. 120–134.
SAS-1998-BodeiDP #abstract interpretation #concurrent #semantics
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation (CB, PD, CP), pp. 168–183.
WRLA-1998-CarabettaDG #logic #semantics
CCS semantics via proved transition systems and rewriting logic (GC, PD, FG), pp. 369–387.
ICALP-1996-BodeiDP #distributed #mobile #process
Mobile Processes with a Distributed Environment (CB, PD, CP), pp. 490–501.
SAS-1996-BorgiaDPLT #comprehension #mobile #semantics
Understanding Mobile Agents via a Non-Interleaving Semantics for Facile (RB, PD, CP, LL, BT), pp. 98–112.
ICALP-1995-DeganoP #mobile #process
Causality for Mobile Processes (PD, CP), pp. 660–671.
Proved Trees (PD, CP), pp. 629–640.
Causal Trees (PD, PD), pp. 234–248.
LICS-1989-DeganoMM #axiom #process
Axiomatizing Net Computations and Processes (PD, JM, UM), pp. 175–185.
LICS-1988-DeganoNM #concurrent #consistency #on the #semantics
On the Consistency of “Truly Concurrent” Operational and Denotational Semantics (PD, RDN, UM), pp. 133–141.
STOC-1984-DeganoM #convergence #liveness #metric
Liveness Properties as Convergence in Metric Spaces (PD, UM), pp. 31–38.
ILPC-1982-BarbutiDL82 #logic programming #proving #source code #towards
Toward an Inductionless Technique for Proving Properties of Logic Programs (RB, PD, GL), pp. 175–181.
ICSE-1979-AsirelliDLMMPST #development #flexibility #interpreter
A Flexible Environment for Program Development Based on a Symbolic Interpreter (PA, PD, GL, AM, UM, GP, FS, FT), pp. 251–264.
AS-1985-DeganoM #distributed #specification
Specification Languages for Distributed Systems (PD, UM), pp. 29–51.
TAPSOFT-1993-DeganoGV #concurrent #modelling #on the
On Relating Some Models for Concurrency (PD, RG, SV), pp. 15–30.

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.