6 citations · 21 across the 13 of their papers we have counts for
4 papers · 1 filter
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…
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…
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles
Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol +5
Once deployed in the real world, autonomous underwater vehicles (AUVs) are out of reach for human supervision yet need to take decisions to adapt to unstable and unpredictable envi…
Proving Correctness of Parallel Implementations of Transition System Specifications
Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun +1
The overall problem addressed in this paper is the long-standing problem of program correctness, and in particular programs that describe systems of parallel executing processes. W…