Towards property-based consistency verification. - Paolo Viotti; Christopher Meiklejohn; Marko Vukolic (PaPoC@EuroSys, 2016)

XFT: Practical Fault Tolerance beyond Crashes. - Shengyun Liu; Paolo Viotti; Christian Cachin; Vivien Quéma; Marko Vukolic (OSDI, 2016)

Consistency in Non-Transactional Distributed Storage Systems. - Paolo Viotti; Marko Vukolic (ACM Comput. Surv., 2016)

Hybris: Robust Hybrid Cloud Storage. - Paolo Viotti; Dan Dobre; Marko Vukolic (ACM Trans. Storage, 2017)

Cohérence dans les systèmes de stockage distribués: fondements théoriques avec applications au cloud storage. (Consistency in distributed storage systems: theoretical foundations with applications to cloud storage). - Paolo Viotti (2017)