Gianluca Turin

According to our database, Gianluca Turin authored at least 5 papers between 2018 and 2023.

Collaborative distances:

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

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

2021

Boreas - A Service Scheduler for Optimal Kubernetes Deployment.

Torgeir Lebesbye, Jacopo Mauro, Gianluca Turin, Ingrid Chieh Yu

Proceedings of the Service-Oriented Computing - 19th International Conference, 2021

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

2019

Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts.

Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018

On checking delta-oriented product lines of statecharts.

Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin

Sci. Comput. Program., 2018