Follow
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
922015
Using higher-order contracts to model session types
G Bernardi, M Hennessy
CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 2014
612014
Robustness against consistency models with atomic visibility
G Bernardi, A Gotsman
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
472016
On duality relations for session types
G Bernardi, O Dardha, SJ Gay, D Kouzapas
Trustworthy Global Computing: 9th International Symposium, TGC 2014, Rome …, 2014
422014
Modelling session types using contracts
G Bernardi, M Hennessy
Mathematical Structures in Computer Science 26 (3), 510-560, 2016
282016
Mutually testing processes
G Bernardi, M Hennessy
CONCUR 2013–Concurrency Theory: 24th International Conference, CONCUR 2013 …, 2013
262013
Modelling session types using contracts
G Bernardi, M Hennessy
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1941-1946, 2012
252012
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
182008
Compliance and testing preorders differ
G Bernardi, M Hennessy
Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops …, 2014
152014
Behavioural equivalences for web services
G Bernardi
Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2013
132013
Full-abstraction for client testing preorders
G Bernardi, A Francalanza
Science of Computer Programming 168, 94-117, 2018
72018
Full-abstraction for must testing preorders
G Bernardi, A Francalanza
Coordination Models and Languages: 19th IFIP WG 6.1 International Conference …, 2017
52017
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
Modelling session types using contracts
M HENNESSY, G BERNARDI
2011
Notes on the paper A General Distance between RNA Structures
G Bernardi, J Van Rijn
2008
Cross-Site Personalisation
J Abendroth, A Anderson, P Argyroudis, I Arnedillo-Sánchez, M Arnold, ...
Mathematical Structures in Computer Science
G BERNARDI, M HENNESSY
Unification of Session Trees
G Bernardi, SJ Gay, VT Vasconcelos
Informal Proceedings, 45, 0
The system can't perform the operation now. Try again later.
Articles 1–20