On checking delta-oriented product lines of statecharts. - Michael Lienhardt; Ferruccio Damiani; Lorenzo Testa; Gianluca Turin (Sci. Comput. Program., 2018)

Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts. - Michael Lienhardt; Ferruccio Damiani; Lorenzo Testa; Gianluca Turin (IFM, 2019)

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)

Boreas - A Service Scheduler for Optimal Kubernetes Deployment. - Torgeir Lebesbye; Jacopo Mauro; Gianluca Turin; Ingrid Chieh Yu (ICSOC, 2021)

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)