Daniele Gorla

111 papers A* 3A 2B 10C 5Misc 1Journal 66Unranked 20
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Sound Type System for Secure Currency Flow.
ACM Trans. Program. Lang. Syst.
Luca Aceto, Daniele Gorla, Stian Lybech
2026 J jnl
Centralized vs. Decentralized Monitors for Hyperproperties.
ACM Trans. Comput. Log.
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
2026 J jnl
From the Editor-in-Chief.
ACM SIGLOG News
Daniele Gorla
2025 J jnl
CUBETESTERAI: Automated JUnit Test Generation using the LLaMA Model.
CoRR
Daniele Gorla, Shivam Kumar, Pietro Nicolaus Roselli Lorenzini, Alireza Alipourfaz
2025 A conf
CubeTesterAI: Automated JUnit Test Generation Using the LLaMA Model.
ICST
Daniele Gorla, Shivam Kumar, Pietro Nicolaus Roselli Lorenzini, Alireza Alipourfaz
2025 B conf
Denotational Semantics for Probabilistic and Concurrent Programs.
CONCUR
Noam Zilberstein, Daniele Gorla, Alexandra Silva
2025 J jnl
Denotational Semantics for Probabilistic and Concurrent Programs.
CoRR
Noam Zilberstein, Daniele Gorla, Alexandra Silva
2025 J jnl
From the Editor-in-Chief.
ACM SIGLOG News
Daniele Gorla
2025 J jnl
From the Editor-in-Chief.
ACM SIGLOG News
Daniele Gorla
2025 J jnl
From the Editor-in-Chief.
ACM SIGLOG News
Daniele Gorla
2025 J jnl
On Estimating the Strength of Differentially Private Mechanisms in a Black-Box Setting.
IEEE Trans. Dependable Secur. Comput.
Daniele Gorla, Louis Jalouzot, Federica Granese, Catuscia Palamidessi, Pablo Piantanida
2025 J jnl
Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts.
CoRR
Stian Lybech, Daniele Gorla, Luca Aceto
2024 A conf
A Sound Type System for Secure Currency Flow.
ECOOP
Luca Aceto, Daniele Gorla, Stian Lybech
2024 J jnl
A Sound Type System for Secure Currency Flow.
CoRR
Luca Aceto, Daniele Gorla, Stian Lybech
2024 J jnl
An implicit function theorem for the stream calculus.
Log. Methods Comput. Sci.
Michele Boreale, Luisa Collodi, Daniele Gorla
2024 — conf
BaBE: Enhancing Fairness via Estimation of Explaining Variables.
FAccT
Ruta Binkyte, Daniele Gorla, Catuscia Palamidessi
2024 B conf
Centralized vs Decentralized Monitors for Hyperproperties.
CONCUR
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
2024 J jnl
Centralized vs Decentralized Monitors for Hyperproperties.
CoRR
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
2024 J jnl
From the Editor-in-Chief.
ACM SIGLOG News
Daniele Gorla
2024 J jnl
From the Editor-in-Chief.
ACM SIGLOG News
Daniele Gorla
2024 J jnl
From the Editor-in-Chief.
ACM SIGLOG News
Daniele Gorla
2024 J jnl
From the Editor-in-Chief.
ACM SIGLOG News
Daniele Gorla
2024 J jnl
Preface.
Theor. Comput. Sci.
Ugo Dal Lago, Daniele Gorla
2024 — conf
Preventing Out-of-Gas Exceptions by Typing.
ISoLA (1)
Luca Aceto, Daniele Gorla, Stian Lybech, Mohammad Hamdaqa
2024 J jnl
Preventing Out-of-Gas Exceptions by Typing.
CoRR
Luca Aceto, Daniele Gorla, Stian Lybech, Mohammad Hamdaqa
2024 J jnl
Products, Polynomials and Differential Equations in the Stream Calculus.
ACM Trans. Comput. Log.
Michele Boreale, Luisa Collodi, Daniele Gorla
2024 J jnl
The First 10 Volumes of SIGLOG News: a retrospective.
ACM SIGLOG News
Daniele Gorla
2024 J jnl
Typing Composite Subjects.
CoRR
Luca Aceto, Daniele Gorla, Stian Lybech
2023 J jnl
An implicit function theorem for the stream calculus.
CoRR
Michele Boreale, Luisa Collodi, Daniele Gorla
2023 J jnl
BaBE: Enhancing Fairness via Estimation of Latent Explaining Variables.
CoRR
Ruta Binkyte, Daniele Gorla, Catuscia Palamidessi
2023 J jnl
CADE and FSCD: A Successful Joint Venture in 2023.
ACM SIGLOG News
Daniele Gorla
2023 J jnl
From the Editor-in-Chief.
ACM SIGLOG News
Daniele Gorla
2023 J jnl
From the Editor-in-Chief.
ACM SIGLOG News
Daniele Gorla
2023 — conf
On the (Im)Possibility of Estimating Various Notions of Differential Privacy (short paper).
ICTCS
Daniele Gorla, Louis Jalouzot, Federica Granese, Catuscia Palamidessi, Pablo Piantanida
2023 J jnl
Polynomial recognition of vulnerable multi-commodities.
Inf. Process. Lett.
Dario Fiorenza, Daniele Gorla, Ivano Salvo
2022 J jnl
Behavioural logics for configuration structures.
Theor. Comput. Sci.
Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo
2022 J jnl
Characterising spectra of equivalences for event structures, logically.
Inf. Comput.
Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo
2022 J jnl
On the (Im)Possibility of Estimating Various Notions of Differential Privacy.
CoRR
Daniele Gorla, Louis Jalouzot, Federica Granese, Catuscia Palamidessi, Pablo Piantanida
2022 J jnl
Output Sampling for Output Diversity in Automatic Unit Test Generation.
IEEE Trans. Software Eng.
Héctor D. Menéndez, Michele Boreale, Daniele Gorla, David Clark
2022 — ed.
Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022.
ICTCS
Ugo Dal Lago, Daniele Gorla
2021 B conf
Algebra and Coalgebra of Stream Products.
CONCUR
Michele Boreale, Daniele Gorla
2021 J jnl
Algebra and coalgebra of stream products.
CoRR
Michele Boreale, Daniele Gorla
2021 J jnl
Conflict vs causality in event structures.
J. Log. Algebraic Methods Program.
Daniele Gorla, Ivano Salvo
2021 A* conf
DOCTOR: A Simple Method for Detecting Misclassification Errors.
NeurIPS
Federica Granese, Marco Romanelli, Daniele Gorla, Catuscia Palamidessi, Pablo Piantanida
2021 J jnl
DOCTOR: A Simple Method for Detecting Misclassification Errors.
CoRR
Federica Granese, Marco Romanelli, Daniele Gorla, Catuscia Palamidessi, Pablo Piantanida
2021 J jnl
Enhanced models for privacy and utility in continuous-time diffusion networks.
Int. J. Inf. Sec.
Federica Granese, Daniele Gorla, Catuscia Palamidessi
2021 J jnl
The 2021 experience of logic in computer science.
ACM SIGLOG News
Daniele Gorla
2021 J jnl
Tribute to Anna Labella.
J. Log. Algebraic Methods Program.
Paolo Bottoni, Rocco De Nicola, Daniele Gorla
2019 J jnl
A Polynomial-Time Algorithm for Detecting the Possibility of Braess Paradox in Directed Graphs.
Algorithmica
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
2019 — conf
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance.
The Art of Modelling Computational Systems
Michele Boreale, Daniele Gorla
2019 J jnl
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance.
CoRR
Michele Boreale, Daniele Gorla
2019 — conf
Conflict vs Causality in Event Structures.
EXPRESS/SOS
Daniele Gorla, Ivano Salvo, Adolfo Piperno
2019 J jnl
Depletable channels: dynamics, behaviour, and efficiency in network design.
Acta Informatica
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
2019 C conf
Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks.
ICTAC
Daniele Gorla, Federica Granese, Catuscia Palamidessi
2019 — conf
Modal Epistemic Logic on Contracts: A Doctrinal Approach.
Models, Languages, and Tools for Concurrent and Distributed Programming
Paolo Bottoni, Daniele Gorla, Stefano Kasangian, Anna Labella
2018 J jnl
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes.
Math. Struct. Comput. Sci.
Paolo Bottoni, Daniele Gorla, Stefano Kasangian, Anna Labella
2018 — conf
Graph Theoretic Detection of Inefficiencies in Network Models.
ICTCS
Ivano Salvo, Daniele Gorla, Pietro Cenciarelli
2018 J jnl
Inefficiencies in network models: A graph-theoretic perspective.
Inf. Process. Lett.
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
2017 J jnl
Preface.
Inf. Comput.
Paolo Baldan, Daniele Gorla
2017 J jnl
Semantic Subtyping for Objects and Classes.
Comput. J.
Ornela Dardha, Daniele Gorla, Daniele Varacca
2016 J jnl
A Polynomial-time Algorithm for Detecting the Possibility of Braess Paradox in Directed Graphs.
CoRR
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
2016 J jnl
Full abstraction for expressiveness: history, myths and facts.
Math. Struct. Comput. Sci.
Daniele Gorla, Uwe Nestmann
2016 J jnl
Graph Theoretic Investigations on Inefficiencies in Network Models.
CoRR
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
2015 J jnl
A semiring-based trace semantics for processes with applications to information leakage analysis.
Math. Struct. Comput. Sci.
Michele Boreale, David Clark, Daniele Gorla
2014 J jnl
A Concurrent Pattern Calculus.
Log. Methods Comput. Sci.
Thomas Given-Wilson, Daniele Gorla, Barry Jay
2014 B ed.
CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
CONCUR
Paolo Baldan, Daniele Gorla
2013 C conf
Pattern Matching and Bisimulation.
COORDINATION
Thomas Given-Wilson, Daniele Gorla
2013 — conf
Semantic Subtyping for Objects and Classes.
FMOODS/FORTE
Ornela Dardha, Daniele Gorla, Daniele Varacca
2012 J jnl
Preface to special issue: EXPRESS, ICE and SOS 2009.
Math. Struct. Comput. Sci.
Filippo Bonchi, Sibylle B. Fröschle, Daniele Gorla, Bartek Klin
2010 — conf
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis.
IFIP TCS
Michele Boreale, David Clark, Daniele Gorla
2010 J jnl
A taxonomy of process calculi for distribution and mobility.
Distributed Comput.
Daniele Gorla
2010 — conf
Concurrent Pattern Calculus.
IFIP TCS
Thomas Given-Wilson, Daniele Gorla, Barry Jay
2010 J jnl
From Flow Logic to static type systems for coordination languages.
Sci. Comput. Program.
Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese
2010 J jnl
Preface to special issue: Expressiveness in Concurrency 2008.
Math. Struct. Comput. Sci.
Thomas T. Hildebrandt, Daniele Gorla
2010 J jnl
Preface.
J. Comput. Secur.
Daniele Gorla, Catuscia Palamidessi
2010 J jnl
Towards a unified approach to encodability and separation results for process calculi.
Inf. Comput.
Daniele Gorla
2010 J jnl
Tree-functors, determinacy and bisimulations.
Math. Struct. Comput. Sci.
Rocco De Nicola, Daniele Gorla, Anna Labella
2009 B conf
Depletable Channels: Dynamics and Behaviour.
FCT
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
2009 J jnl
Dynamic management of capabilities in a network aware coordination language.
J. Log. Algebraic Methods Program.
Daniele Gorla, Rosario Pugliese
2009 B conf
On the Relative Expressive Power of Calculi for Mobility.
MFPS
Daniele Gorla
2009 — ed.
Proceedings 16th International Workshop on Expressiveness in Concurrency, EXPRESS 2009, Bologna, Italy, 5th September 2009.
EXPRESS
Sibylle B. Fröschle, Daniele Gorla
2009 — ed.
Proceedings of the 15th Workshop on Expressiveness in Concurrency, EXPRESS 2008, Toronto, ON, Canada, August 23, 2008
EXPRESS
Thomas T. Hildebrandt, Daniele Gorla
2008 J jnl
Comparing communication primitives via their relative expressive power.
Inf. Comput.
Daniele Gorla
2008 C conf
From Flow Logic to Static Type Systems for Coordination Languages.
COORDINATION
Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese
2008 B conf
Network Applications of Graph Bisimulation.
ICGT
Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto
2008 — conf
On the Relative Expressive Power of Ambient-Based Calculi.
TGC
Daniele Gorla
2008 — conf
Preface.
EXPRESS
Thomas T. Hildebrandt, Daniele Gorla
2008 B conf
Towards a Unified Approach to Encodability and Separation Results for Process Calculi.
CONCUR
Daniele Gorla
2007 J jnl
Basic observables for a calculus for global computing.
Inf. Comput.
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
2007 J jnl
Global computing in a dynamic network of tuple spaces.
Sci. Comput. Program.
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
2007 — conf
Preface.
SecCO@CONCUR
Daniele Gorla, Catuscia Palamidessi
2007 — ed.
Proceedings of the Fifth Workshop on Security Issues in Concurrency, SecCo@CONCUR 2007, Lisbon, Portugal, September 3, 2007
SecCo@CONCUR
Daniele Gorla, Catuscia Palamidessi
2006 J jnl
Confining data and processes in global computing applications.
Sci. Comput. Program.
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
2006 C conf
Inferring dynamic credentials for rôle-based trust management.
PPDP
Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
2006 B conf
On the Relative Expressive Power of Asynchronous Communication Primitives.
FoSSaCS
Daniele Gorla
2006 J jnl
On the expressive power of KLAIM-based calculi.
Theor. Comput. Sci.
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
2006 J jnl
Role-based access control for a distributed calculus.
J. Comput. Secur.
Chiara Braghin, Daniele Gorla, Vladimiro Sassone
2006 — conf
Synchrony vs Asynchrony in Communication Primitives.
EXPRESS
Daniele Gorla
2005 A* conf
Basic Observables for a Calculus for Global Computing.
ICALP
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
2005 C conf
Global Computing in a Dynamic Network of Tuple Spaces.
COORDINATION
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
2005 — conf
Pattern Matching over a Dynamic Network of Tuple Spaces.
FMOODS
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
2005 J jnl
Security Policies as Membranes in Systems for Global Computing
CoRR
Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
2005 J jnl
Security Policies as Membranes in Systems for Global Computing.
Log. Methods Comput. Sci.
Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
2004 — conf
A Distributed Calculus for Ro^le-Based Access Control.
CSFW
Chiara Braghin, Daniele Gorla, Vladimiro Sassone
2004 Misc conf
Controlling data movement in global computing applications.
SAC
Daniele Gorla, Rosario Pugliese
2004 — conf
On the Expressive Power of Klaim-based Calculi.
EXPRESS
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
2004 — conf
Security Policies as Membranes in Systems for Global Computing.
FGUC
Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
2003 — conf
Enforcing Security Policies via Types.
SPC
Daniele Gorla, Rosario Pugliese
2003 A* conf
Resource Access and Mobility Control with Dynamic Privileges Acquisition.
ICALP
Daniele Gorla, Rosario Pugliese
2003 — conf
The Klaim Project: Theory and Practice.
Global Computing
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian-Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri
2002 B conf
On Compositional Reasoning in the Spi-calculus.
FoSSaCS
Michele Boreale, Daniele Gorla