Andrea Cerone

Publications

2016:

Andrea Cerone, Alexey Gotsman
To be presented at PODC 2016
Analysing Snapshot Isolation
Best Paper Award.

The slides of the talk given at PaPoC 2016

2015:

Andrea Cerone, Alexey Gotsman, Hongseok Yang
Proceedings of DISC 2015
Transaction Chopping for Parallel Snapshot Isolation

---

Andrea Cerone, Giovanni Bernardi, Alexey Gotsman
Proceedings of CONCUR 2015
A framework for transactional consistency models with atomic visibility

The slides of the talk given at CONCUR 2015

2014:

Andrea Cerone, Matthew Hennessy
Proceedings of TGC 2014
Characterising Testing Preorders for Broadcasting Distributed Systems

---

Andrea Cerone, Alexey Gotsman, Hongseok Yang
Prooceedings of ICALP 2014
Parameterised Linearisability

The slides of the talk given at ICALP 2014

2013:

Andrea Cerone, Matthew Hennessy, Massimo Merro
Proceedings of COORDINATION 2013
Modelling Mac-Layer Communications in Wireless Systems (Extended Abstract)
Best Paper Award of the Federated Conference Event DisCoTec 2013.

The Slides of the talk
The final version has been published in Logical Methods in Computer Science (LMCS)

2012:

Andrea Cerone, Matthew Hennessy
Proceedings of FMOODS/FORTE 2012
Modelling Probabilistic Wireless Networks (Extended Abstract)

The final version has been published in Logical Methods in Computer Science (LMCS)

2010:

Andrea Cerone, Matthew Hennessy
Proceedings of EXPRESS 2010
Process Behaviour: Formulae vs. Tests

An associated Technical Report