Andrea Borgarelli

According to our database, Andrea Borgarelli authored at least 3 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Reward Augmentation in Reinforcement Learning for Testing Distributed Systems.

Andrea Borgarelli, Constantin Enea, Rupak Majumdar, Srinidhi Nagendra

Proc. ACM Program. Lang., 2024

2023

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., September, 2023

2020

A Formal Model of the Kubernetes Container Framework.

Gianluca Turin, Andrea Borgarelli, Simone Donetti, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Ferruccio Damiani

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020