| 2025 | Coordination | Formalizing Errors in CCS with 3-Valued Logic. | Alessandro Aldini, Claudio Antares Mezzina |
| 2025 | FORTE | Noninterference Analysis ofStochastically Timed Reversible Systems. | Andrea Esposito, Alessandro Aldini, Marco Bernardo |
| 2025 | PST | Dynamic Decentralized Social Trust for Financial Inclusion with Regulatory Compliance. | Suzana Mesquita de Borba Maranho Moreno, Alessandro Aldini, Paul-Antoine Bisgambiglia, Jean-Marc Seigneur |
| 2025 | SIROCCO | Support + Belief = Decision Trust. | Alessandro Aldini, Agata Ciabattoni, Dominik Pichler, Mirko Tagliaferri |
| 2024 | FORTE | Noninterference Analysis of Reversible Probabilistic Systems. | Andrea Esposito, Alessandro Aldini, Marco Bernardo |
| 2024 | SEFM | On Group Secrets and the Metacommunicative Aspects of Revealing a True Secret. | Alessandro Aldini, Davide Fazio, Pierluigi Graziani, Raffaele Mascella, Mirko Tagliaferri |
| 2023 | FORTE | Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems. | Andrea Esposito, Alessandro Aldini, Marco Bernardo |
| 2023 | PST | A Rule-Language Tailored for Financial Inclusion and KYC/AML Compliance. | Alessandro Aldini, Suzana Mesquita de Borba Maranho Moreno, Jean-Marc Seigneur |
| 2023 | SEFM | Frequentist Probability Logic. | Alessandro Aldini, Pierluigi Graziani, Mirko Tagliaferri |
| 2022 | SEFM | Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination Paradox. | Alessandro Aldini, Samuel Allen Alexander, Pierluigi Graziani |
| 2021 | ECSQARU | Trust Evidence Logic. | Alessandro Aldini, Gianluca Curzi, Pierluigi Graziani, Mirko Tagliaferri |
| 2020 | SEFM | Reasoning About Ignorance and Beliefs. | Alessandro Aldini, Pierluigi Graziani, Mirko Tagliaferri |
| 2019 | ESORICS | Logics to Reason Formally About Trust Computation and Manipulation. | Alessandro Aldini, Mirko Tagliaferri |
| 2019 | SEFM | A Trust Logic for the Varieties of Trust. | Mirko Tagliaferri, Alessandro Aldini |
| 2018 | FUSION | A Trust Logic for Pre-Trust Computations. | Mirko Tagliaferri, Alessandro Aldini |
| 2018 | PERCOM | Introducing a flexible rewarding platform for mobile crowd-sensing applications. | Lorenz Cuno Klopfenstein, Saverio Delpriori, Alessandro Aldini, Alessandro Bogliolo |
| 2017 | SEFM | Combining Trust and Aggregate Computing. | Roberto Casadei, Alessandro Aldini, Mirko Viroli |
| 2016 | TrustCom | On Probabilistic Application Compliance. | Antonio La Marra, Fabio Martinelli, Andrea Saracino, Alessandro Aldini |
| 2015 | TrustCom | Formal Modeling and Verification of Opportunity-enabled Risk Management. | Alessandro Aldini, Jean-Marc Seigneur, Carlos Ballester Lafuente, Xavier Titi, Jonathan Guislain |
| 2012 | IWCMC | Virtual currency and reputation-based cooperation incentives in user-centric networks. | Alessandro Bogliolo, Paolo Polidori, Alessandro Aldini, Waldir A. Moreira, Paulo Mendes, Mrsel Yildiz, Carlos Ballester Lafuente, Jean-Marc Seigneur |
| 2011 | FMICS | Performability Measure Specification: Combining CSRL and MSL. | Alessandro Aldini, Marco Bernardo, Jeremy Sproston |
| 2008 | ICSE | Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems. | Alessandro Aldini, Marco Bernardo |
| 2004 | DSN | Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances. | Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bont, Emanuele Lattanzi |
| 2004 | SAFECOMP | An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth. | Alessandro Aldini, Marco Bernardo |
| 2003 | FM | A General Approach to Deadlock Freedom Verification for Software Architectures. | Alessandro Aldini, Marco Bernardo |
| 2001 | CONCUR | Probabilistic Information Flow in a Process Algebra. | Alessandro Aldini |
| 2000 | ICALP | An Asynchronous Calculus for Generative-Reactive Probalistic Systems. | Alessandro Aldini, Mario Bravetti |