Giovanni Bernardi

17 papers A 1B 4C 1Misc 2Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2027 — book
Operational Methods in Semantics
Roberto M. Amadio, Giovanni Bernardi
2025 J jnl
A Theory of (Linear-Time) Timed Monitors (Artifact).
Dagstuhl Artifacts Ser.
Mouloud Amara, Giovanni Bernardi, Mohammed Aristide Foughali, Adrian Francalanza
2025 A conf
A Theory of (Linear-Time) Timed Monitors.
ECOOP
Mouloud Amara, Giovanni Bernardi, Mohammed Aristide Foughali, Adrian Francalanza
2025 — conf
Constructive characterisations of the MUST-preorder for asynchrony.
ESOP (1)
Giovanni Bernardi, Ilaria Castellani, Paul Laforgue, Léo Stefanesco
2025 J jnl
Constructive characterisations of the must-preorder for asynchrony.
CoRR
Giovanni Bernardi, Ilaria Castellani, Paul Laforgue, Léo Stefanesco
2017 C conf
Full-Abstraction for Must Testing Preorders - (Extended Abstract).
COORDINATION
Giovanni Bernardi, Adrian Francalanza
2016 B conf
Robustness against Consistency Models with Atomic Visibility.
CONCUR
Giovanni Bernardi, Alexey Gotsman
2016 J jnl
Using higher-order contracts to model session types.
Log. Methods Comput. Sci.
Giovanni Bernardi, Matthew Hennessy
2015 B conf
A Framework for Transactional Consistency Models with Atomic Visibility.
CONCUR
Andrea Cerone, Giovanni Bernardi, Alexey Gotsman
2015 J jnl
Mutually Testing Processes.
Log. Methods Comput. Sci.
Giovanni Bernardi, Matthew Hennessy
2014 — conf
On Duality Relations for Session Types.
TGC
Giovanni Bernardi, Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas
2014 B conf
Using Higher-Order Contracts to Model Session Types (Extended Abstract).
CONCUR
Giovanni Bernardi, Matthew Hennessy
2013 — —
Behavioural equivalences for web services
Giovanni Bernardi
2013 — conf
Compliance and Testing Preorders Differ.
SEFM Workshops
Giovanni Bernardi, Matthew Hennessy
2013 B conf
Mutually Testing Processes - (Extended Abstract).
CONCUR
Giovanni Bernardi, Matthew Hennessy
2012 Misc conf
Modelling session types using contracts.
SAC
Giovanni Bernardi, Matthew Hennessy
2008 Misc conf
A Theory of Adaptable Contract-Based Service Composition.
SYNASC
Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi