A Formal Model of the Kubernetes Container Framework. - Gianluca Turin; Andrea Borgarelli; Simone Donetti; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa; Ferruccio Damiani (ISoLA (1), 2020)

Predicting resource consumption of Kubernetes container systems using resource models. - Gianluca Turin; Andrea Borgarelli; Simone Donetti; Ferruccio Damiani; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (J. Syst. Softw., 2023)

Reward Augmentation in Reinforcement Learning for Testing Distributed Systems. - Andrea Borgarelli; Constantin Enea; Rupak Majumdar; Srinidhi Nagendra (Proc. ACM Program. Lang., 2024)