| 2025 | CONCUR | Model Checking as Program Verification by Abstract Interpretation. | Paolo Baldan, Roberto Bruni, Francesco Ranzato, Diletta Rigo |
| 2024 | ISoLA | A Process Algebraic View of In/Out Prisoners. | Roberto Bruni |
| 2023 | CALCO | Local Completeness for Program Correctness and Incorrectness (Invited Talk). | Roberto Bruni |
| 2023 | CAV | Exploiting Adjoints in Property Directed Reachability Analysis. | Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo |
| 2023 | ESOP | Logics for Extensional, Locally Complete Analysis via Domain Refinements. | Flavio Ascari, Roberto Bruni, Roberta Gori |
| 2023 | PADL | Dynamic Slicing of Reaction Systems Based on Assertions and Monitors. | Linda Brodo, Roberto Bruni, Moreno Falaschi |
| 2022 | FOSSACS | Limits and difficulties in the design of under-approximation abstract domains. | Flavio Ascari, Roberto Bruni, Roberta Gori |
| 2022 | PLDI | Abstract interpretation repair. | Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato |
| 2022 | SAS | Deciding Program Properties via Complete Abstractions on Bounded Domains. | Roberto Bruni, Roberta Gori, Nicolas Manini |
| 2021 | LICS | A Logic for Locally Complete Abstract Interpretations. | Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato |
| 2018 | LICS | Concurrency and Probability: Removing Confusion, Compositionally. | Roberto Bruni, Hernn C. Melgratti, Ugo Montanari |
| 2018 | VMCAI | Code Obfuscation Against Abstract Model Checking Attacks. | Roberto Bruni, Roberto Giacobazzi, Roberta Gori |
| 2012 | Coordination | First-Order Dynamic Logic for Compensable Processes. | Roberto Bruni, Carla Ferreira, Anne Kersten Kauer |
| 2012 | FASE | A Conceptual Framework for Adaptation. | Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin |
| 2011 | CONCUR | A Connector Algebra for P/T Nets Interactions. | Roberto Bruni, Hernn C. Melgratti, Ugo Montanari |
| 2010 | FORTE | Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. | Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo |
| 2009 | ICSOC | A Service-Oriented UML Profile with Formal Support. | Roberto Bruni, Matthias M. Hlzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing |
| 2008 | Coordination | Multiparty Sessions in SOC. | Roberto Bruni, Ivan Lanese, Hernn C. Melgratti, Emilio Tuosto |
| 2006 | CONCUR | Event Structure Semantics for Nominal Calculi. | Roberto Bruni, Hernn C. Melgratti, Ugo Montanari |
| 2005 | CALCO | Complete Axioms for Stateless Connectors. | Roberto Bruni, Ivan Lanese, Ugo Montanari |
| 2005 | CONCUR | Comparing Two Approaches to Compensable Flow Composition. | Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernn C. Melgratti, Ugo Montanari |
| 2005 | CONCUR | Deriving Weak Bisimulation Congruences from Reduction Systems. | Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski |
| 2005 | POPL | Theoretical foundations for compensations in flow composition languages. | Roberto Bruni, Hernn C. Melgratti, Ugo Montanari |
| 2003 | ICALP | Generalized Rewrite Theories. | Roberto Bruni, Jos Meseguer |
| 2002 | CONCUR | Orchestrating Transactions in Join Calculus. | Roberto Bruni, Cosimo Laneve, Ugo Montanari |
| 2000 | CONCUR | Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic. | Roberto Bruni, David de Frutos-Escrig, Narciso Mart-Oliet, Ugo Montanari |
| 2000 | ICALP | Algebraic Models for Contextual Nets. | Roberto Bruni, Vladimiro Sassone |
| 1999 | FASE | Executable Tile Specifications for Process Calculi. | Roberto Bruni, Jos Meseguer, Ugo Montanari |
| 1999 | LICS | Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus. | Roberto Bruni, Ugo Montanari |