We stand with Ukraine  

Giovanni Tito Bernardi

Affiliations:
  • Université Paris VII, France
  • IMEDA Software Institure, Madrid, Spain (former)


According to our database1, Giovanni Tito Bernardi authored at least 12 papers between 2008 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
Full-abstraction for client testing preorders.
[BibTeX]
[DOI]
Giovanni Tito Bernardi
,
Adrian Francalanza
Sci. Comput. Program., 2018

2017
Full-Abstraction for Must Testing Preorders - (Extended Abstract).
[BibTeX]
[DOI]
Giovanni Bernardi
,
Adrian Francalanza
Proceedings of the Coordination Models and Languages, 2017

2016
Modelling session types using contracts.
[BibTeX]
[DOI]
Giovanni Tito Bernardi
,
Matthew Hennessy
Math. Struct. Comput. Sci., 2016

Using higher-order contracts to model session types.
[BibTeX]
[DOI]
Giovanni Bernardi
,
Matthew Hennessy
Log. Methods Comput. Sci., 2016

Robustness against Consistency Models with Atomic Visibility.
[BibTeX]
[DOI]
Giovanni Bernardi
,
Alexey Gotsman
Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015
Mutually Testing Processes.
[BibTeX]
[DOI]
Giovanni Bernardi
,
Matthew Hennessy
Log. Methods Comput. Sci., 2015

A Framework for Transactional Consistency Models with Atomic Visibility.
[BibTeX]
[DOI]
Andrea Cerone
,
Giovanni Bernardi
,
Alexey Gotsman
Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014
On Duality Relations for Session Types.
[BibTeX]
[DOI]
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).
[BibTeX]
[DOI]
Giovanni Bernardi
,
Matthew Hennessy
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013
Compliance and Testing Preorders Differ.
[BibTeX]
[DOI]
Giovanni Bernardi
,
Matthew Hennessy
Proceedings of the Software Engineering and Formal Methods, 2013

Mutually Testing Processes - (Extended Abstract).
[BibTeX]
[DOI]
Giovanni Bernardi
,
Matthew Hennessy
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2008
A Theory of Adaptable Contract-Based Service Composition.
[BibTeX]
[DOI]
Giovanni Bernardi
,
Michele Bugliesi
,
Damiano Macedonio
,
Sabina Rossi
Proceedings of the SYNASC 2008, 2008


  Loading...