14 citations · 26 across the 5 of their papers we have counts for
15 papers
Hybrid Planning with Receding Horizon: A Case for Meta-self-awareness
Sona Ghahremani, Holger Giese
The trade-off between the quality and timeliness of adaptation is a multi-faceted challenge in engineering self-adaptive systems. Obtaining adaptation plans that fulfill system obj…
Probabilistic Metric Temporal Graph Logic
Sven Schneider, Maria Maximova, Holger Giese
Cyber-physical systems often encompass complex concurrent behavior with timing constraints and probabilistic failures on demand. The analysis whether such systems with probabilisti…
A Scalable Querying Scheme for Memory-efficient Runtime Models with History
Lucas Sakizloglou, Sona Ghahremani, Matthias Barkowsky +1
Runtime models provide a snapshot of a system at runtime at a desired level of abstraction. Via a causal connection to the modeled system and by employing model-driven engineering…
Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures
Sona Ghahremani, Holger Giese, Thomas Vogel
Self-adaptation can be realized in various ways. Rule-based approaches prescribe the adaptation to be executed if the system or environment satisfies certain conditions. They resul…
Collective Risk Minimization via a Bayesian Model for Statistical Software Testing
Joachim Haensel, Christian M. Adriano, Johannes Dyck +1
In the last four years, the number of distinct autonomous vehicles platforms deployed in the streets of California increased 6-fold, while the reported accidents increased 12-fold.…
Towards Highly Scalable Runtime Models with History
Lucas Sakizloglou, Sona Ghahremani, Thomas Brand +2
Advanced systems such as IoT comprise many heterogeneous, interconnected, and autonomous entities operating in often highly dynamic environments. Due to their large scale and compl…