Andrea Cerone

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 6

Top Topics

Distributed Systems

Snapshot Isolation

Transaction Management

Wireless Networks

Top Venues

Log. Methods Comput. Sci.

Publications

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