| 2025 | ECOOP | A Theory of (Linear-Time) Timed Monitors. | Mouloud Amara, Giovanni Bernardi, Mohammed Aristide Foughali, Adrian Francalanza |
| 2025 | ESOP | Constructive characterisations of the MUST-preorder for asynchrony. | Giovanni Bernardi, Ilaria Castellani, Paul Laforgue, Lo Stefanesco |
| 2017 | Coordination | Full-Abstraction for Must Testing Preorders - (Extended Abstract). | Giovanni Bernardi, Adrian Francalanza |
| 2016 | CONCUR | Robustness against Consistency Models with Atomic Visibility. | Giovanni Bernardi, Alexey Gotsman |
| 2015 | CONCUR | A Framework for Transactional Consistency Models with Atomic Visibility. | Andrea Cerone, Giovanni Bernardi, Alexey Gotsman |
| 2014 | CONCUR | Using Higher-Order Contracts to Model Session Types (Extended Abstract). | Giovanni Bernardi, Matthew Hennessy |
| 2013 | CONCUR | Mutually Testing Processes - (Extended Abstract). | Giovanni Bernardi, Matthew Hennessy |
| 2013 | SEFM | Compliance and Testing Preorders Differ. | Giovanni Bernardi, Matthew Hennessy |
| 2012 | SAC | Modelling session types using contracts. | Giovanni Bernardi, Matthew Hennessy |
| 2008 | SYNASC | A Theory of Adaptable Contract-Based Service Composition. | Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi |