Andrea Cerone

16 papers A* 1A 2B 2C 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2020 A conf
Data Consistency in Transactional Storage Systems: A Centralised Semantics.
ECOOP
Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner
2019 J jnl
Data Consistency in Transactional Storage Systems: a Centralised Approach.
CoRR
Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner
2018 J jnl
Analysing Snapshot Isolation.
J. ACM
Andrea Cerone, Alexey Gotsman
2017 B conf
Algebraic Laws for Weak Consistency.
CONCUR
Andrea Cerone, Alexey Gotsman, Hongseok Yang
2017 J jnl
Algebraic Laws for Weak Consistency.
CoRR
Andrea Cerone, Alexey Gotsman, Hongseok Yang
2016 A* conf
Analysing Snapshot Isolation.
PODC
Andrea Cerone, Alexey Gotsman
2015 B conf
A Framework for Transactional Consistency Models with Atomic Visibility.
CONCUR
Andrea Cerone, Giovanni Bernardi, Alexey Gotsman
2015 J jnl
Modelling MAC-Layer Communications in Wireless Systems.
Log. Methods Comput. Sci.
Andrea Cerone, Matthew Hennessy, Massimo Merro
2015 A conf
Transaction Chopping for Parallel Snapshot Isolation.
DISC
Andrea Cerone, Alexey Gotsman, Hongseok Yang
2014 — conf
Characterising Testing Preorders for Broadcasting Distributed Systems.
TGC
Andrea Cerone, Matthew Hennessy
2014 — conf
Parameterised Linearisability.
ICALP (2)
Andrea Cerone, Alexey Gotsman, Hongseok Yang
2013 C conf
Modelling MAC-Layer Communications in Wireless Systems.
COORDINATION
Andrea Cerone, Matthew Hennessy, Massimo Merro
2013 J jnl
Modelling Probabilistic Wireless Networks.
Log. Methods Comput. Sci.
Andrea Cerone, Matthew Hennessy
2012 — —
Foundations of ad hoc wireless networks
Andrea Cerone
2012 — conf
Modelling Probabilistic Wireless Networks - (Extended Abstract).
FMOODS/FORTE
Andrea Cerone, Matthew Hennessy
2010 — conf
Process Behaviour: Formulae vs. Tests (Extended Abstract)
EXPRESS
Andrea Cerone, Matthew Hennessy