Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Giovanni Tito Bernardi

Giovanni Bernardi 0001

> Home > Persons

Person information

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

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/BernardiF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BernardiF18
Giovanni Tito Bernardi, Adrian Francalanza:
Full-abstraction for client testing preorders. Sci. Comput. Program. 168: 94-117 (2018)
2017
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BernardiF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BernardiF17
Giovanni Bernardi, Adrian Francalanza:
Full-Abstraction for Must Testing Preorders - (Extended Abstract). COORDINATION 2017: 237-255
2016
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BernardiH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BernardiH13
Giovanni Bernardi, Matthew Hennessy:
Using higher-order contracts to model session types. Log. Methods Comput. Sci. 12(2) (2016)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BernardiH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BernardiH16
Giovanni Tito Bernardi, Matthew Hennessy:
Modelling session types using contracts. Math. Struct. Comput. Sci. 26(3): 510-560 (2016)
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/0002G16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/0002G16
Giovanni Bernardi, Alexey Gotsman:
Robustness against Consistency Models with Atomic Visibility. CONCUR 2016: 7:1-7:15
2015
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BernardiH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BernardiH15
Giovanni Bernardi, Matthew Hennessy:
Mutually Testing Processes. Log. Methods Comput. Sci. 11(2) (2015)
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/Cerone0G15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Cerone0G15
Andrea Cerone, Giovanni Bernardi, Alexey Gotsman:
A Framework for Transactional Consistency Models with Atomic Visibility. CONCUR 2015: 58-71
2014
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BernardiH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BernardiH14
Giovanni Bernardi, Matthew Hennessy:
Using Higher-Order Contracts to Model Session Types (Extended Abstract). CONCUR 2014: 387-401
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BernardiDGK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BernardiDGK14
Giovanni Bernardi, Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas:
On Duality Relations for Session Types. TGC 2014: 51-66
2013
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BernardiH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BernardiH13
Giovanni Bernardi, Matthew Hennessy:
Mutually Testing Processes - (Extended Abstract). CONCUR 2013: 61-75
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BernardiH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BernardiH13
Giovanni Bernardi, Matthew Hennessy:
Compliance and Testing Preorders Differ. SEFM Workshops 2013: 69-81
2012
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/BernardiH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/BernardiH12
Giovanni Bernardi, Matthew Hennessy:
Modelling session types using contracts. SAC 2012: 1941-1946

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/synasc/BernardiBMR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/synasc/BernardiBMR08
Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi:
A Theory of Adaptable Contract-Based Service Composition. SYNASC 2008: 327-334

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.