Person: Pierpaolo Degano

DBLP: Degano:Pierpaolo

Facilitated 3 volumes:

Ed

Ed

Ed

Contributed to:

2014

2013

2012

2008

2007

2006

2006

2005

2004

2005

1999

1999

1998

1998

1996

1996

1995

1992

1989

1989

1988

1984

1982

1979

1985

1993

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.

ICALP-1992-DeganoP

Proved Trees (PD, CP), pp. 629–640.

ICALP-1989-DarondeauD

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.