Giovanni Bernardi
Giovanni Bernardi
Assistant professor, UniversitÚ Paris Diderot - Paris VII
Verified email at tcd.ie - Homepage
Title
Cited by
Cited by
Year
A framework for transactional consistency models with atomic visibility
A Cerone, G Bernardi, A Gotsman
26th International Conference on Concurrency Theory (CONCUR 2015), 2015
742015
Using higher-order contracts to model session types
G Bernardi, M Hennessy
International Conference on Concurrency Theory, 387-401, 2014
562014
On duality relations for session types
G Bernardi, O Dardha, SJ Gay, D Kouzapas
International Symposium on Trustworthy Global Computing, 51-66, 2014
412014
Robustness against consistency models with atomic visibility
G Bernardi, A Gotsman
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
382016
Modelling session types using contracts
G Bernardi, M Hennessy
Mathematical Structures in Computer Science 26 (3), 510-560, 2016
292016
Mutually testing processes
G Bernardi, M Hennessy
International Conference on Concurrency Theory, 61-75, 2013
252013
Modelling session types using contracts
G Bernardi, M Hennessy
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1941-1946, 2012
222012
A theory of adaptable contract-based service composition
G Bernardi, M Bugliesi, D Macedonio, S Rossi
2008 10th International Symposium on Symbolic and Numeric Algorithms forá…, 2008
172008
Compliance and testing preorders differ
G Bernardi, M Hennessy
International Conference on Software Engineering and Formal Methods, 69-81, 2013
142013
Behavioural equivalences for web services
G Bernardi
Trinity College Dublin, 2013
122013
Full-abstraction for must testing preorders
G Bernardi, A Francalanza
International Conference on Coordination Languages and Models, 237-255, 2017
52017
Full-abstraction for client testing preorders
G Bernardi, A Francalanza
Science of Computer Programming 168, 94-117, 2018
42018
Testing smart contracts
A Leid
Stellenbosch: Stellenbosch University., 2020
12020
Using higher-order contracts to model session types
M Hennessy, G Bernardi
Logical Methods in Computer Science 12, 2016
2016
Mutually Testing Processes
M Hennessy, G Bernardi
Logical Methods in Computer Science 11, 2015
2015
Cuddling cats
G Bernardi
2012
Notes on the paper A General Distance between RNA Structures
G Bernardi, J Van Rijn
2008
Mathematical Structures in Computer Science
G BERNARDI, M HENNESSY
Unification of Session Trees
G Bernardi, SJ Gay, VT Vasconcelos
Informal Proceedings, 45, 0
Analysing and Optimising Parallel Snapshot Isolation
G Bernardi, A Cerone, A Gotsman, H Yang
The system can't perform the operation now. Try again later.
Articles 1–20