[C37: PDF Paper] N. Zilberstein, D. Gorla, A. Silva: “Denotational Semantics for Probabilistic and Concurrent Programs”. CONCUR 2025 (36th International Conference on Concurrency Theory), LIPICS vol. 348, 39:1 – 39:24, 2025.

[C36: PDF Paper]  D. Gorla, S. Kumar, P. N. Roselli Lorenzini, A. Alipourfaz: “CubeTesterAI: Automated JUnit Test Generation using the LLaMA Model”. IEEE ICST 2025 (18th IEEE International Conference on Software Testing, Verification and Validation), pagg. 565 - 576. IEEE, 2025. 

[C35: PDF Paper]   L. Aceto, D. Gorla, S. Lybech, M. Hamdaqa: “Preventing Out-of-Gas Exceptions by Typing”. ISoLA 2024 (18th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation), LNCS. Springer, 2024.

[C34: PDF Paper] L. Aceto, A. Achilleos, E. Anastasiadi, A. Francalanza, D. Gorla, J. Wagemaker: “Centralized vs Decentralised Monitors for HyperProperties”. CONCUR 2024 (35th International Conference on Concurrency Theory), LIPICS vol. 311, 34:1 – 34:17, 2024.

[C33: PDF Paper] L. Aceto, D. Gorla, S. Lybech: “A Sound Type System for Secure Currency Flow”. ECOOP 2024 (38th European Conference on Object-Oriented Programming), 2024.

[C32: PDF Paper] R. Binkyte, D. Gorla, C. Palamidessi: “BABE: Enhancing Fairness via Estimation of Latent Explaining Variables”. ACM FAccT 2024 (7th Conference on Fairness, Accountability, and Transparency), pagg. 1917–1925. ACM, 2024.

[C31: PDF Paper] D. Gorla, L. Jalouzot, F. Granese, C. Palamidessi, P Piantanida: “On the (Im)Possibility of Estimating Various Notions of Differential Privacy (short paper)”. ICTCS 2023 (24th Italian Conference on Theoretical Computer Science), CEUR Workshop Proceedings, vol. 3587, pagg. 219 – 224, 2023.

[C30: PDF Paper]  F. Granese, M. Romanelli, D. Gorla, C. Palamidessi, P. Piantanida: “DOCTOR: A Simple Method for Detecting Misclassification Errors”. Spotlight paper (top 3% of 9122 submissions) in NeurIPS 2021 (35th Conference on Neural Information Processing Systems), 2021. 

[C29]  H. D. Menéndez, M. Boreale, D. Clark, D. Gorla: “Output Sampling for Output Diversity in Automatic Unit Test Generation”. Journal-First publication of [J24] in ESEC/FSE 2021 (ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering), 2021. 

[C28: PDF Paper] M. Boreale, D. Gorla: “Algebra and coalgebra of stream products”. CONCUR 2021 (32nd International Conf. on Concurrency Theory), LIPICS vol. 203, 19:1 – 19:17, 2021.

[C27: PDF Paper] D. Gorla, F. Granese, C. Palamidessi: “Enhanced models for privacy and utility in continuous-time diffusion networks”. ICTAC 2019 (16th International Colloquium on Theoretical Aspects of Computing), LNCS 11884, pagg. 313 – 331. Springer, 2019. 

[C26: PDF Paper] D. Gorla, I. Salvo, A. Piperno: “Conflict vs Causality in Event Structures”. EXPRESS/SOS 2019 (26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics), EPTCS 300, pagg. 86-101, 2019.

[C25: PDF Paper] P. Cenciarelli, D. Gorla, I. Salvo: “Graph-theoretic Detection of Potential Inefficiency in Network Model”. ICTCS 2018 (19th Italian Conference on Theoretical Computer Science), CEUR Workshop Proceedings 2243, pagg. 87-91, 2018.

[C24: PDF Paper] O. Dardha, D. Gorla, D. Varacca: “Semantic Subtyping for Objects and Classes”. FMOODS/FORTE 2013 (33rdIntern. Conf. on Formal Techniques for Distributed Systems), LNCS 7892, pagg. 66-82. Springer, 2013. 

[C23: PDF Paper] T. Given-Wilson, D. Gorla: “Pattern-Matching and Bisimulation”. COORDINATION 2013 (15th Intern. Conference on Coordination Models and Languages), LNCS 7890, pagg. 60-74. Springer, 2013.

[C22: PDF Paper]  O. Dardha, D. Gorla, D. Varacca: “Semantic Subtyping for Objects and Classes”. Poster paper a PPPJ 2010 (8th International Conference on Principles and Practice of Programming in Java), CEUR Workshop Proceedings, volume 692, 2010.

[C21: PDF Paper] M. Boreale, D. Clark, D. Gorla: “A semiring-based trace semantics for processes with applications to information leakage analysis”. IFIP-TCS 2010 (6th Intern. IFIP Conference on Theoretical Computer Science), IFIP AICT 323, pagg. 340 – 354. Springer, 2010.

[C20: PDF Paper] T. Given-Wilson, D. Gorla, B. Jay: “Concurrent Pattern Calculus”. IFIP-TCS 2010 (6th Intern. IFIP Conference on Theoretical Computer Science), IFIP AICT 323, pagg. 244 – 258. Springer, 2010.

[C19: PDF Paper] P. Cenciarelli, D. Gorla, I. Salvo: “Depletable Channels: Dynamics and Behaviour”. FCT 2009 (17th Intern. Symp. on Fundamentals of Computation Theory), LNCS 5699, pagg. 50 – 61. Springer, 2009. 

[C18: PDF Paper] D. Gorla: "On the Relative Expressive Power of Calculi for Mobility". MFPS XXV (25th Intern. Conf. on Mathematical Foundations of Programming Semantics), ENTCS 249, pagg. 269 – 286. Elsevier, 2009. 

[C17: PDF Paper] D. Gorla: "On the Relative Expressive Power of Ambient-based Calculi". TGC 2008 (4th Intern. Symp. on Trustworthy Global Computing), LNCS 5474, pagg. 141 – 156. Springer, 2009.

[C16: PDF Paper] D. Gorla: "Towards a Unified Approach to Encodability and Separation Results for Process Calculi". CONCUR 2008 (19th Intern. Conf. on Concurrency Theory), LNCS 5201, pagg. 492 – 507. Springer, 2008. 

[C15: PDF Paper] P. Cenciarelli, D. Gorla, E. Tuosto: “Network Applications of Graph Bisimulation”. IGCT 2008 (4th Intern. Conf. On Graph Transformation), LNCS 5214, pagg. 131 – 146. Springer, 2008. 

[C14: PDF Paper] R. De Nicola, D. Gorla, R.R. Hansen, F. Nielson, H. Riis Nielson, C.W. Probst, R. Pugliese: "From Flow Logic to Static Type Systems for Coordination Languages". COORDINATION 2008 (10th Intern. Conf. on Coordination Models and Languages), LNCS 5052, pagg. 100 – 116. Springer, 2008.

[C13: PDF Paper] D. Gorla: "Synchrony vs Asynchrony in Communication Primitives". EXPRESS 2006 (13th Workshop on Expressiveness in Concurrency), ENTCS 175(3): 87 – 108. Elsevier, 2007.

[C12: PDF Paper] D. Gorla, M. Hennessy, V. Sassone: "Inferring Dynamic Credentials for Role-based Trust Management". PPDP 2006 (8th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming), pagg. 213 – 224. ACM Press, 2006.

[C11: PDF Paper] D. Gorla: "On the Relative Expressive Power of Asynchronous Communication Primitives". FoSSaCS 2006 (9th Intern. Conf. on Foundations of Software Science and Computation Structures), LNCS 3921, pagg. 47–62. Springer, 2006. 

[C10: PDF Paper] R. De Nicola, D. Gorla, R. Pugliese: "Basic Observables for a Calculus for Global Computing". ICALP 2005 (32nd Intern. Colloquium on Automata, Languages and Programming), LNCS 3580, pagg. 1226 – 1238. Springer, 2005. 

[C9: PDF Paper]  R. De Nicola, D. Gorla, R. Pugliese: "Pattern Matching over a Dynamic Network of Tuple Spaces". FMOODS 2005 (7th IFIP Intern. Conf. on Formal Methods for Open Object-based Distributed Systems), LNCS 3535, pagg. 1 – 14. Springer, 2005. 

[C8: PDF Paper] R. De Nicola, D. Gorla, R. Pugliese: "Global Computing in a Dynamic Network of Tuple Spaces". COORDINATION 2005 (7th Intern. Conf. on Coordination Models and Languages), LNCS 3454, pagg. 157 – 172. Springer, 2005.

[C7: PDF Paper] D. Gorla, M. Hennessy, V. Sassone: “Security Policies as Membranes in Systems for Global Computing”. FGUC 2004 (3rd EATCS Workshop on Fondations of Global Ubiquitous Computing), ENTCS 138(1):23 – 42. Elsevier, 2004.

[C6: PDF Paper] R. De Nicola, D. Gorla, R. Pugliese: "On the expressive power of KLAIM-based Calculi". EXPRESS 2004 (11th Workshop on Expressiveness in Concurrency), ENTCS 128(2):117 – 130. Elsevier, 2004.

[C5: PDF Paper] C. Braghin, D. Gorla, V. Sassone: "A Distributed Calculus for Role-Based Access Control". CSFW 2004 (17th Computer Security Foundations Workshop), pagg. 48 – 60. IEEE Computer Society, 2004. 

[C4: PDF Paper] D. Gorla, R. Pugliese: "Controlling Data Movement in Global Computing Applications". SAC 2004 (19th Annual ACM-SIGAPP Symposium on Applied Computing), pagg. 1462 – 1467. ACM Press, 2004. 

[C3: PDF Paper] D. Gorla, R. Pugliese: “Enforcing Security Policies via Types”. SPC 2003 (1st International Conference on Security in Pervasive Computing), LNCS 2802, pagg. 88 – 103. Springer, 2003.

[C2: PDF Paper] D. Gorla, R. Pugliese: “Resource Access and Mobility Control with Dynamic Privileges Acquisition”. ICALP 2003 (30th International Colloquium on Automata, Languages and Programming), LNCS 2719, pagg. 119 – 132. Springer, 2003. 

[C1: PDF Paper] M. Boreale, D. Gorla: “On Compositional Reasoning in the Spi–Calculus”. FoSSaCS 2002 (5th Intern. Conf. on Foundations of Software Science and Computation Structures), LNCS 2303, pagg. 67 – 81. Springer, 2002. 

[J36: PDF Paper] L. Aceto, D. Gorla, S. Lybech: “A Sound Type System for Secure Currency Flow”. Extended version of [C33]. To appear in ACM Transactions on Programming Languages and Systems, 2026.

[J35: PDF Paper] L. Aceto, A. Achilleos, E. Anastasiadi, D. P. Attard, L. Exibard, A. Francalanza, D. Gorla, A. Ingólfsdóttir, K.Lehtinen, J. Wagemaker: “Foundations of Runtime Monitoring through the Lens of Concurrency Theory”. Bullettin of the EATCS, 148, 2026.

[J34: PDF Paper] L. Aceto, A. Achilleos, E. Anastasiadi, A. Francalanza, D. Gorla, J. Wagemaker: “Centralized vs Decentralised Monitors for HyperProperties”. Extended version of [C34]. ACM Transactions on Computational Logic, 27(1), 2:1 – 2:57, 2025. 

[J33: PDF Paper]. D. Gorla, L. Jalouzot, F. Granese, C. Palamidessi, P Piantanida: “On Estimating the Strength of Differentially Private Mechanisms in a Black-Box Setting”. Extended version of [C31]. IEEE Transactions on Dependable and Secure Computing, 22(5): 5494 – 5507, 2025. 

[J32: PDF Paper] M. Boreale, L. Collodi, D. Gorla: “An Implicit Function Theorem for the Stream Calculus”. Logical Methods in Computer Science, 20(2), 15:1 – 15:20, 2024.

[J31]  D. Gorla: “The first 10 Volumes of SIGLOG News: A Retrospective”. ACM SIGLOG News, 11(1): 2 – 10, 2024.

[J30: PDF Paper]. M. Boreale, L. Collodi, D. Gorla: “Products, Polynomials and Differential Equations in the Stream Calculus”. Extended version of [C28]. ACM Transactions on Computational Logic, 25(1): 1 – 26 (paper num. 7). ACM, 2024.

[J29]. D. Gorla: “CADE and FSCD: A Successful Joint Venture in 2023”. ACM SIGLOG News, 10(4): 42 – 43, 2023.

[J28: PDF Paper] D. Fiorenza, D. Gorla, I. Salvo: “Polynomial recognition of vulnerable multi-commodities”. Information Processing Letters, 179, 106282. Elsevier, 2023.

[J27: PDF Paper] P. Baldan, D. Gorla, T. Padoan, I. Salvo: “Behavioural Logics for Configuration Structures”. Theoretical Computer Science, 913: 94 – 112. Elsevier, 2022.

[J26: PDF Paper] P. Baldan, D. Gorla, T. Padoan, I. Salvo: “Characterising Spectra of Equivalences for Event Structures, Logically”. Information and Computation, 285, 104887. Elsevier, 2022.

[J25: PDF Paper] H. D. Menéndez, M. Boreale, D. Clark, D. Gorla: “Output Sampling for Output Diversity in Automatic Unit Test Generation”. IEEE Transactions on Software Engineering, 48(1): 295 – 308, 2022.

[J24]   D. Gorla: “The 2021 Experience of Logic in Computer Science”. ACM SIGLOG News, 8(4): 23 – 24, 2021.

[J23: PDF Paper] F. Granese, D. Gorla, C. Palamidessi: “Enhanced models for privacy and utility in continuous-time diffusion networks”. Extended version of [C27]. International Journal of Information Security, 20(5): 763 – 782. Springer, 2021. 

[J22: PDF Paper] D. Gorla, I. Salvo: “Conflict vs Causality in Event Structures”. Extended version of [C26]. Journal of Logical and Algebraic Methods in Programming, 119, 100631. Elsevier, 2021.

[J21: PDF Paper]   P. Cenciarelli, D. Gorla, I. Salvo: “Depletable Channels: Dynamics, Behaviour and Efficiency in Network Design”. Extended version of [C19]. Acta Informatica, 56(5): 405 – 431. Springer, 2019.

[J20: PDF Paper] P. Cenciarelli, D. Gorla, I. Salvo: “A Polynomial-time Algorithm for Detecting the Possibility of Braess Paradox in Directed Graphs”. Algorithmica, 81(4): 1535 – 1560. Springer, 2019.

[J19: PDF Paper] P. Cenciarelli, D. Gorla, I. Salvo: “Inefficiencies in Network Models: A graph-theoretic perspective”. Extended version of [C25]. Information Processing Letters, 131: 44 – 50, Elsevier, 2018.

[J18: PDF Paper] P. Bottoni, D. Gorla, S. Kasangian, A. Labella: "A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes". Mathematical Structures in Computer Science, 28(4): 508 – 532, CUP, 2018.

[J17: PDF Paper] O. Dardha, D. Gorla, D. Varacca: “Semantic Subtyping for Objects and Classes”. Extended version of [C22, C24]. Computer Journal, 60(5): 636–656. Oxford Univ. Press, 2017.

[J16: PDF Paper] D. Gorla, U. Nestmann “Full Abstraction: History, Myths and Facts”. Mathematical Structures in Computer Science, 26(4): 639 – 654. CUP, 2016.

[J15: PDF Paper] M. Boreale, D. Clark, D. Gorla: “A semiring-based trace semantics for processes with applications to information leakage analysis”. Extended version of [C21]. Mathematical Structures in Computer Science, 25(2): 259 – 291. CUP, 2015. 

[J14: PDF Paper] T. Given-Wilson, D. Gorla, B. Jay: “A Concurrent Pattern Calculus”. Extended version of [C20, C22]. Logical Methods in Computer Science, 10(3):1 – 46. 2014. 

[J13: PDF Paper] D. Gorla: "A Taxonomy of Calculi for Distribution and Mobility". Extended version of [C17, C18]. Distributed Computing, 23(4): 273 – 299, Springer 2010. 

[J12: PDF Paper] D. Gorla: "Towards a Unified Approach to Encodability and Separation Results for Process Calculi". Extended version of [C16]. Information and Computation, 208(9):1031 – 1053. Elsevier 2010.

[J11: PDF Paper] R. De Nicola, R.R. Hansen, D. Gorla, F. Nielson, H. Riis Nielson, C.W. Probst, R. Pugliese: "From Flow Logic to Static Type Systems for Coordination Languages". Extended version of [C14]. Science of Computer Programming, 75(6): 376 – 397. Elsevier, 2010.

[J10: PDF Paper] R. De Nicola, D. Gorla, A. Labella: "Tree-functors, Determinacy and Bisimulations". Mathematical Structures in Computer Science, 20(3):319 – 358, CUP 2010.

[J9: PDF Paper] D. Gorla, R. Pugliese: “Dynamic management of capabilities in a network aware coordination language”. Extended version of [C2]. Journal of Logic and Algebraic Programming, 78:665 – 689, Elsevier 2009.

[J8: PDF Paper] D. Gorla: "Comparing Communication Primitives via their Relative Expressive Power". Extended version of [C11, C13]. Information and Computation, 206(8):931–952, Elsevier 2008.

[J7: PDF Paper] R. De Nicola, D. Gorla, R. Pugliese: “Basic Observables for a Calculus for Global Computing”. Extended version of [C10]. Information and Computation, 205(10):1491 – 1525, Elsevier 2007.

[J6: PDF Paper] R. De Nicola, D. Gorla, R. Pugliese: “Global Computing in a Dynamic Network of Tuple Spaces”. Extended version of [C8]. Science of Computer Programming, 64(2):187 – 204, Elsevier Science, 2007. 

[J5: PDF Paper] R. De Nicola, D. Gorla, R. Pugliese: "Confining Data and Processes in Global Computing Applications". Extended version of [C4]. Science of Computer Programming, 63(1):57 – 87, Elsevier, 2006.

[J4: PDF Paper] R. De Nicola, D. Gorla, R. Pugliese: "On the expressive power of the KLAIM language". Extended version of [C6]. Theoretical Computer Science, 356(3):387–421, Elsevier 2006.

[J3: PDF Paper] C. Braghin, D. Gorla, V. Sassone: "Role-Based Access Control for a Distributed Calculus". Extended version of [C5]. Journal of Computer Security, 14(2):113–155. IOS Press 2006.

[J2: PDF Paper] D. Gorla, M. Hennessy, V. Sassone: “Security Policies as Membranes in Systems for Global Computing”. Extended version of [C7]. Logical Methods in Computer Science, 1(3:2), 1 – 23, 2005.

[J1: PDF Paper] M. Boreale, D. Gorla: “Process Calculi and the Verification of Security Protocols”.  Partially based on [C1]. International Journal of Telecommunication and Information Technology, pagg. 28 – 40. National Institute of Telecommunications – Warsaw, 2002. 

[B3: PDF Paper] M. Boreale, D. Gorla: “Approximate Model Counting, Sparse XOR Constraints and Minimum Distance”. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, LNCS 11760, pagg. 363 – 378. Springer, 2019.

[B2: PDF Paper] P. Bottoni, D. Gorla, S. Kasangian, A. Labella: “Modal Epistemic Logic on Contracts: A Doctrinal Approach”. Models, Languages, and Tools for Concurrent and Distributed Programming, LNCS 11665, pagg. 298 – 314. Springer, 2019.

[B1: PDF Paper] L. Bettini, V. Bono, R. De Nicola, G. Ferrari, D. Gorla, M. Loreti, E. Moggi, R. Pugliese, E. Tuosto, B. Venneri: "The KLAIM Project: Theory and Practice". Global Computing: Programming Environments, Languages, Security and Analysis of Systems, LNCS 2874, pagg. 88 – 150. Springer, 2003.

PhD Thesis: Semantic Approaches to Global Computing Systems. PhD thesis XVII-04-I, Dip. Sistemi ed Informatica, Univ. di Firenze. December 2004.

Zipped PDF File 

Master Thesis: Grammatiche di sincronizzazione per generare l’esposizione di una fuga. Dip. Informatica, Univ. di Roma "La Sapienza". December 2000 (in italian).

Zipped PDF File