Giovanni Tito Bernardi

According to our database, Giovanni Tito Bernardi authored at least 17 papers between 2008 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

CoRR, June, 2025

A Theory of (Linear-Time) Timed Monitors (Artifact).

Mouloud Amara, Giovanni Bernardi, Mohammed Aristide Foughali, Adrian Francalanza

Dagstuhl Artifacts Ser., 2025

Constructive characterisations of the MUST-preorder for asynchrony.

Giovanni Bernardi, Ilaria Castellani, Paul Laforgue, Léo Stefanesco

Proceedings of the Programming Languages and Systems, 2025

A Theory of (Linear-Time) Timed Monitors.

Mouloud Amara, Giovanni Bernardi, Mohammed Aristide Foughali, Adrian Francalanza

Proceedings of the 39th European Conference on Object-Oriented Programming, 2025

2018

Full-abstraction for client testing preorders.

Giovanni Tito Bernardi, Adrian Francalanza

Sci. Comput. Program., 2018

2017

Full-Abstraction for Must Testing Preorders - (Extended Abstract).

Giovanni Bernardi, Adrian Francalanza

Proceedings of the Coordination Models and Languages, 2017

2016

Modelling session types using contracts.

Giovanni Tito Bernardi, Matthew Hennessy

Math. Struct. Comput. Sci., 2016

Using higher-order contracts to model session types.

Giovanni Bernardi, Matthew Hennessy

Log. Methods Comput. Sci., 2016

Robustness against Consistency Models with Atomic Visibility.

Giovanni Bernardi, Alexey Gotsman

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Mutually Testing Processes.

Giovanni Bernardi, Matthew Hennessy

Log. Methods Comput. Sci., 2015

A Framework for Transactional Consistency Models with Atomic Visibility.

Andrea Cerone, Giovanni Bernardi, Alexey Gotsman

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

On Duality Relations for Session Types.

Giovanni Bernardi, Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

Using Higher-Order Contracts to Model Session Types (Extended Abstract).

Giovanni Bernardi, Matthew Hennessy

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013

Behavioural equivalences for web services

Giovanni Bernardi

PhD thesis, 2013

Compliance and Testing Preorders Differ.

Giovanni Bernardi, Matthew Hennessy

Proceedings of the Software Engineering and Formal Methods, 2013

Mutually Testing Processes - (Extended Abstract).

Giovanni Bernardi, Matthew Hennessy

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2008

A Theory of Adaptable Contract-Based Service Composition.

Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi

Proceedings of the SYNASC 2008, 2008