25 citations · 128 across the 20 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023★ 6 cited
Formal Modelling and Analysis of a Self-Adaptive Robotic System
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani +2
Self-adaptation is a crucial feature of autonomous systems that must cope with uncertainties in, e.g., their environment and their internal state. Self-adaptive systems are often m…
cs.SE2023
Predicting Resource Consumption of Kubernetes Container Systems using Resource Models
Gianluca Turin, Andrea Borgarelli, Simone Donetti +3
Cloud computing has radically changed the way organisations operate their software by allowing them to achieve high availability of services at affordable cost. Containerized micro…