research
∙
08/28/2023
Formal Modelling and Analysis of a Self-Adaptive Robotic System
Self-adaptation is a crucial feature of autonomous systems that must cop...
share
research
∙
07/19/2023
Symbolic Semantics for Probabilistic Programs (extended version)
We present a new symbolic execution semantics of probabilistic programs ...
research
∙
05/12/2023
Predicting Resource Consumption of Kubernetes Container Systems using Resource Models
Cloud computing has radically changed the way organisations operate thei...
research
∙
03/16/2023
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles
Once deployed in the real world, autonomous underwater vehicles (AUVs) a...
research
∙
01/25/2023
Proving Correctness of Parallel Implementations of Transition System Specifications
The overall problem addressed in this paper is the long-standing problem...
research
∙
08/08/2022
Behavior Trees and State Machines in Robotics Applications
Autonomous robots combine a variety of skills to form increasingly compl...
research
∙
05/10/2022
A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version)
The semantics of probabilistic languages has been extensively studied, b...
research
∙
02/24/2022
LAGC Semantics of Concurrent Programming Languages
Formal, mathematically rigorous programming language semantics are the e...
research
∙
10/13/2020
Behavior Trees in Action: A Study of Robotics Applications
Autonomous robots combine a variety of skills to form increasingly compl...
research
∙
03/16/2020
Lazy Product Discovery in Huge Configuration Spaces
Highly-configurable software systems can have thousands of interdependen...
research
∙
08/27/2019
Analysis of SLA Compliance in the Cloud – An Automated, Model-based Approach
Service Level Agreements (SLA) are commonly used to specify the quality ...
research
∙
08/27/2018
Modeling and Simulation of Spark Streaming
As more and more devices connect to Internet of Things, unbounded stream...
research
∙
06/22/2018