62 citations · 81 across the 19 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…
Symbolic Semantics for Probabilistic Programs (extended version)
Erik Voogd, Einar Broch Johnsen, Alexandra Silva +2
We present a new symbolic execution semantics of probabilistic programs that include observe statements and sampling from continuous distributions. Building on Kozen's seminal work…
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…