122 citations · 389 across the 17 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.SE2021
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…
cs.SE2021
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…