A Theory of Adaptable Contract-Based Service Composition. - Giovanni Bernardi 001; Michele Bugliesi; Damiano Macedonio; Sabina Rossi (SYNASC, 2008)

Mutually Testing Processes - (Extended Abstract). - Giovanni Bernardi 001; Matthew Hennessy (CONCUR, 2013)

Compliance and Testing Preorders Differ. - Giovanni Bernardi 001; Matthew Hennessy (SEFM Workshops, 2013)

Behavioural equivalences for web services - Giovanni Bernardi 001 (2013)

Using Higher-Order Contracts to Model Session Types (Extended Abstract). - Giovanni Bernardi 001; Matthew Hennessy (CONCUR, 2014)

On Duality Relations for Session Types. - Giovanni Bernardi 001; Ornela Dardha; Simon J. Gay; Dimitrios Kouzapas (TGC, 2014)

A Framework for Transactional Consistency Models with Atomic Visibility. - Andrea Cerone; Giovanni Bernardi 001; Alexey Gotsman (CONCUR, 2015)

Mutually Testing Processes. - Giovanni Bernardi 001; Matthew Hennessy (Log. Methods Comput. Sci., 2015)

Robustness against Consistency Models with Atomic Visibility. - Giovanni Bernardi 001; Alexey Gotsman (CONCUR, 2016)

Using higher-order contracts to model session types. - Giovanni Bernardi 001; Matthew Hennessy (Log. Methods Comput. Sci., 2016)

Modelling session types using contracts. - Giovanni Tito Bernardi; Matthew Hennessy (Math. Struct. Comput. Sci., 2016)

Full-Abstraction for Must Testing Preorders - (Extended Abstract). - Giovanni Bernardi 001; Adrian Francalanza (COORDINATION, 2017)

Full-abstraction for client testing preorders. - Giovanni Tito Bernardi; Adrian Francalanza (Sci. Comput. Program., 2018)

A Theory of (Linear-Time) Timed Monitors. - Mouloud Amara; Giovanni Bernardi 001; Mohammed Aristide Foughali; Adrian Francalanza (ECOOP, 2025)

Constructive characterisations of the MUST-preorder for asynchrony. - Giovanni Bernardi 001; Ilaria Castellani; Paul Laforgue; Léo Stefanesco (ESOP (1), 2025)

A Theory of (Linear-Time) Timed Monitors (Artifact). - Mouloud Amara; Giovanni Bernardi 001; Mohammed Aristide Foughali; Adrian Francalanza (Dagstuhl Artifacts Ser., 2025)

Role, cost, and complexity of software in the real-world: a case for formal methods. - Giovanni Tito Bernardi; Adrian Francalanza; Marco Peressotti; Mohammad Reza Mousavi 001 (CoRR, 2025)