| 2026 | CONCUR | Revisiting True Concurrency Bisimilarities: On the Role of Backward Ready Multisets and Why They Are Not Enough for HPB and HHPB. | Andrea Esposito, Marco Bernardo |
| 2025 | FORTE | Noninterference Analysis ofStochastically Timed Reversible Systems. | Andrea Esposito, Alessandro Aldini, Marco Bernardo |
| 2025 | FOSSACS | Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets. | Marco Bernardo, Andrea Esposito, Claudio Antares Mezzina |
| 2024 | FORTE | Noninterference Analysis of Reversible Probabilistic Systems. | Andrea Esposito, Alessandro Aldini, Marco Bernardo |
| 2024 | ICTAC | Reversibility in Process Calculi with Nondeterminism and Probabilities. | Marco Bernardo, Claudio Antares Mezzina |
| 2023 | FORTE | Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems. | Andrea Esposito, Alessandro Aldini, Marco Bernardo |
| 2023 | FOSSACS | Reverse Bisimilarity vs. Forward Bisimilarity. | Marco Bernardo, Sabina Rossi |
| 2020 | FORTE | Towards Bridging Time and Causal Reversibility. | Marco Bernardo, Claudio Antares Mezzina |
| 2014 | CSL | On the discriminating power of passivation and higher-order interaction. | Marco Bernardo, Davide Sangiorgi, Valeria Vignudelli |
| 2012 | FOSSACS | Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. | Marco Bernardo, Rocco De Nicola, Michele Loreti |
| 2011 | FMICS | Performability Measure Specification: Combining CSRL and MSL. | Alessandro Aldini, Marco Bernardo, Jeremy Sproston |
| 2008 | ECSA | Non-synchronous Communications in Process Algebraic Architectural Description Languages. | Marco Bernardo, Edoardo Bont |
| 2008 | ICSE | Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems. | Alessandro Aldini, Marco Bernardo |
| 2006 | Coordination | Synthesizing Concurrency Control Components from Process Algebraic Specifications. | Edoardo Bont, Marco Bernardo, Jeff Magee, Jeff Kramer |
| 2005 | Coordination | Preserving Architectural Properties in Multithreaded Code Generation. | Marco Bernardo, Edoardo Bont |
| 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 |
| 2003 | MASCOTS | TwoTowers 3.0: Enhancing Usability. | Marco Bernardo |
| 2002 | Coordination | Exogenous and Endogenous Extensions of Architectural Types. | Marco Bernardo, Francesco Franz |
| 2002 | FASE | Architectural Types Revisited: Extensible And/Or Connections. | Marco Bernardo, Francesco Franz |
| 2002 | PERFORMANCE | Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language. | Marco Bernardo, Lorenzo Donatiello, Paolo Ciancarini |
| 2002 | SEKE | A scalable approach to the design of SW architectures with dynamically create/destroyed components. | Pietro Abate, Marco Bernardo |
| 2001 | MASCOTS | A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services. | Marco Bernardo |
| 2000 | CONCUR | A Theory of Testing for Markovian Processes. | Marco Bernardo, Rance Cleaveland |
| 2000 | FORTE | Compact Net Semantics for Process Algebras. | Marco Bernardo, Marina Ribaudo, Nadia Busi |
| 2000 | ICALP | Integrating Two Towers and GreatSPN. | Marco Bernardo, Nadia Busi, Marina Ribaudo |
| 1998 | CONCUR | Towards Performance Evaluation with General Distributions in Process Algebras. | Mario Bravetti, Marco Bernardo, Roberto Gorrieri |
| 1998 | FORTE | TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. | Marco Bernardo, Rance Cleaveland, Steve Sims, W. Stewart |
| 1997 | ICALP | An Algebra-Based Method to Associate Rewards with EMPA Terms. | Marco Bernardo |
| 1996 | CONCUR | Extended Markovian Process Algebra. | Marco Bernardo, Roberto Gorrieri |
| 1994 | FORTE | Integrated analysis of concurrent distributed systems using Markovian process algebra. | Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri |