Pierpaolo Degano
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
47
Venues
23
Active years
1979–2025
Best venue rank
A*
Where they publish
- BPACT8 papers
- BFOSSACS5 papers
- A*ICALP5 papers
- BMFCS3 papers
- BSEFM2 papers
- CFORTE2 papers
- CCoordination2 papers
- CICTAC2 papers
- BSAS2 papers
- A*LICS2 papers
- BICLP2 papers
- AECAI1 paper
- MulticonferenceSAC1 paper
- A*CCS1 paper
- ATACAS1 paper
- AECOOP1 paper
- A*POPL1 paper
- BFASE1 paper
- BCONCUR1 paper
- BFCT1 paper
- A*STOC1 paper
- A*IJCAI1 paper
- A*ICSE1 paper
Papers
47 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SEFM | Detecting Memory Errors in Rust Programs Including Unsafe Foreign Code. | Andrea Franceschi, Letterio Galletta, Pierpaolo Degano |
| 2024 | ECAI | A Logic for Policy Based Resource Exchanges in Multiagent Systems. | Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta, Luca Vigan |
| 2022 | SAC | Towards effective preservation of robust safety properties. | Matteo Busi, Pierpaolo Degano, Letterio Galletta |
| 2021 | FORTE | Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. | Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico |
| 2019 | CCS | Are All Firewall Systems Equally Powerful? | Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta |
| 2018 | TACAS | From Natural Projection to Partial Model Checking and Back. | Gabriele Costa, David A. Basin, Chiara Bodei, Pierpaolo Degano, Letterio Galletta |
| 2017 | PACT | Experimenting with a Context-Aware Language. | Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta |
| 2016 | Coordination | Where Do Your IoT Ingredients Come From? | Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta |
| 2016 | FORTE | Playing with Our CAT and Communication-Centric Applications. | Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto |
| 2014 | ECOOP | A Two-Component Language for COP. | Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta |
| 2014 | ICTAC | Linguistic Mechanisms for Context-Aware Security. | Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori |
| 2014 | SEFM | A Two-Phase Static Analysis for Reliable Adaptation. | Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta |
| 2013 | PACT | Secure and Unfailing Services. | Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari |
| 2012 | Coordination | Types for Coordinating Secure Behavioural Variations. | Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti |
| 2011 | PACT | On Quantitative Security Policies. | Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti |
| 2009 | ICTAC | Untitled record | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino |
| 2007 | FOSSACS | Types and Effects for Resource Usage Analysis. | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino |
| 2007 | PACT | A Stochastic Semantics for BioAmbients. | Linda Brodo, Pierpaolo Degano, Corrado Priami |
| 2006 | FOSSACS | Handling exp, × (and Timestamps) in Protocol Analysis. | Roberto Zunino, Pierpaolo Degano |
| 2005 | FOSSACS | History-Based Access Control with Local Policies. | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari |
| 2005 | PACT | On Evaluating the Performance of Security Protocols. | Chiara Bodei, Mikael Buchholtz, Michele Curti, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson, Corrado Priami |
| 2005 | POPL | Policy framings for access control. | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari |
| 2004 | FOSSACS | A Note on the Perfect Encryption Assumption in a Process Calculus. | Roberto Zunino, Pierpaolo Degano |
| 2003 | PACT | Authentication Primitives for Protocol Specifications. | Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami |
| 2001 | PACT | Static Analysis for Secrecy and Non-interference in Networks of Processes. | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
| 2000 | ICALP | A tool for quantitative analysis of calculus processes. | Linda Brodo, Pierpaolo Degano, Corrado Priami |
| 1999 | FASE | Semantic-Driven Performance Evaluation (Extended Abstract). | Chiara Nottegar, Corrado Priami, Pierpaolo Degano |
| 1999 | FOSSACS | Static Analysis of Processes for No and Read-Up nad No Write-Down. | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
| 1998 | CONCUR | Control Flow Analysis for the pi-calculus. | Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson |
| 1998 | SAS | Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. | Chiara Bodei, Pierpaolo Degano, Corrado Priami |
| 1996 | ICALP | Mobile Processes with a Distributed Environment. | Chiara Bodei, Pierpaolo Degano, Corrado Priami |
| 1996 | SAS | Understanding Mobile Agents via a Non-Interleaving Semantics for Facile. | Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen |
| 1995 | ICALP | Causality for Mobile Processes. | Pierpaolo Degano, Corrado Priami |
| 1995 | PACT | An Efficient Verifier of Truly Concurrent Properties. | Alessandro Bianchi, Stefano Coluccini, Pierpaolo Degano, Corrado Priami |
| 1992 | ICALP | Proved Trees. | Pierpaolo Degano, Corrado Priami |
| 1991 | MFCS | Atomic Refinement in Process Description Languages. | Pierpaolo Degano, Roberto Gorrieri |
| 1990 | MFCS | Event Structures, Causal Trees, and Refinements. | Philippe Darondeau, Pierpaolo Degano |
| 1989 | ICALP | Causal Trees. | Philippe Darondeau, Pierpaolo Degano |
| 1989 | LICS | Axiomatizing Net Computations and Processes | Pierpaolo Degano, Jos Meseguer, Ugo Montanari |
| 1988 | LICS | On the Consistency of "Truly Concurrent" Operational and Denotational Semantics (Extended Abstract) | Pierpaolo Degano, Rocco De Nicola, Ugo Montanari |
| 1985 | FCT | Partial ordering derivations for CCS. | Pierpaolo Degano, Rocco De Nicola, Ugo Montanari |
| 1984 | STOC | Liveness Properties as Convergence in Metric Spaces | Pierpaolo Degano, Ugo Montanari |
| 1983 | ICLP | A First Order Semantics of a Connective Suitable to Express Concurrency. | Pierpaolo Degano, Stefano Diomedi |
| 1982 | ICLP | Toward an Inductionless Technique for Proving Properties of Logic Programs. | Roberto Barbuti, Pierpaolo Degano, Giorgio Levi |
| 1980 | MFCS | On Finding the Optimal Access Path to Resolve a Relational Data Base Query. | Pierpaolo Degano, A. Lomanto, Franco Sirovich |
| 1979 | IJCAI | Inducing Function Properties from Computation Traces. | Pierpaolo Degano, Franco Sirovich |
| 1979 | ICSE | A Flexible Environment for Program Development Based on a Symbolic Interpreter. | Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini |