Andrea Cerone
Andrea Cerone
Backend Software Engineer, FootballRadar
Verified email at footballradar.com
Title
Cited by
Cited by
Year
A Framework for Transactional Consistency Models with Atomic Visibility
A Cerone, G Bernardi, A Gotsman
CONCUR 2015, 58-71, 2015
692015
Analysing snapshot isolation
A Cerone, A Gotsman
Journal of the ACM (JACM) 65 (2), 1-41, 2018
282018
Modelling MAC-layer communications in wireless systems.
A Cerone, M Hennessy, M Merro
Coordination Models and Languages, 2013
262013
Transaction Chopping for Parallel Snapshot Isolation
A Cerone, A Gotsman, H Yang
29th International Symposium on Distributed Computing - DISC 2015, 2015
172015
Modelling probabilistic wireless networks
A Cerone, M Hennessy
162012
Parameterised Linearisability
A Cerone, A Gotsman, H Yang
ICALP 2014, 2014
152014
Algebraic laws for weak consistency
A Cerone, A Gotsman, H Yang
28th International Conference on Concurrency Theory (CONCUR 2017), 2017
142017
Process Behaviour: Formulae vs. Tests (Extended Abstract)
A Cerone, M Hennessy
Arxiv preprint arXiv:1011.6438, 2010
9*2010
Process behaviour: Formulae versus tests
A Cerone, M Hennessy
9*2010
Foundations of Ad Hoc Wireless Networks
A Cerone
Trinity College Dublin, 2012
52012
Characterising Testing Preorders for Broadcasting Distributed Systems
A Cerone, M Hennessy
TGC 2014, 2014
22014
A simple probabilistic broadcast language
A Cerone, M Hennessy
22012
Algebraic laws for weak consistency (extended version)
A Cerone, A Gotsman, H Yang
arXiv preprint arXiv:1702.06028, 2017
12017
Modelling MAC-layer communications in wireless systems
A Cerone, M Hennessy, M Merro
Technical Report, Trinity College Dublin, 2012
12012
Data Consistency in Transactional Storage Systems: a Centralised Approach
S Xiong, A Cerone, A Raad, P Gardner
arXiv preprint arXiv:1901.10615, 2019
2019
Parameterised linearizability
H Yang, A Cerone, A Gotsman
Springer, 2014
2014
Modelling Probabilistic Wireless Networks
M Hennessy, A Cerone
Logical Methods in Computer Science 9, 2013
2013
Un Approccio Incrementale alla Semantica della Sicurezza
A Cerone
Universita' degli studi di Roma La Sapienza, 2008
2008
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–19