122 citations · 389 across the 17 of their papers we have counts for
18 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…
Requirements and Assessment of Languages and Frameworks for Adaptation Models
Thomas Vogel, Holger Giese
Approaches to self-adaptive software systems use models at runtime to leverage benefits of model-driven engineering (MDE) for providing views on running systems and for engineering…
A language for feedback loops in self-adaptive systems: Executable runtime megamodels
Thomas Vogel, Holger Giese
The development of self-adaptive software requires the engineering of proper feedback loops where an adaptation logic controls the underlying software. The adaptation logic often d…
Model-Driven Architectural Monitoring and Adaptation for Autonomic Systems
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt +2
Architectural monitoring and adaptation allows self-management capabilities of autonomic systems to realize more powerful adaptation steps, which observe and adjust not only parame…
Adaptation and Abstract Runtime Models
Thomas Vogel, Holger Giese
Runtime adaptability is often a crucial requirement for today's complex software systems. Several approaches use an architectural model as a runtime representation of a managed sys…
The Role of Models and Megamodels at Runtime
Thomas Vogel, Andreas Seibel, Holger Giese
In model-driven software development a multitude of interrelated models are used to systematically realize a software system. This results in a complex development process since th…
A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models
Joachim Hänsel, Thomas Vogel, Holger Giese
Self-adaptive software systems (SASS) are equipped with feedback loops to adapt autonomously to changes of the software or environment. In established fields, such as embedded soft…
Model-Driven Engineering of Self-Adaptive Software with EUREMA
Thomas Vogel, Holger Giese
The development of self-adaptive software requires the engineering of an adaptation engine that controls the underlying adaptable software by feedback loops. The engine often descr…
Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures
Sona Ghahremani, Holger Giese, Thomas Vogel
To benefit from utility-driven and rule-based approaches to self-adaptation, we propose combining both by defining and linking the utility function and the adaptation rules in a pa…
Efficient Utility-Driven Self-Healing Employing Adaptation Rules 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 satisfy certain conditions and result in…
Incremental View Maintenance for Deductive Graph Databases Using Generalized Discrimination Networks
Thomas Beyhl, Holger Giese
Nowadays, graph databases are employed when relationships between entities are in the scope of database queries to avoid performance-critical join operations of relational database…
Modal Specifications for Probabilistic Timed Systems
Tingting Han, Christian Krause, Marta Kwiatkowska +1
Modal automata are a classic formal model for component-based systems that comes equipped with a rich specification theory supporting abstraction, refinement and compositional reas…
Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements
Christian Krause, Holger Giese
The assurance of quality of service properties is an important aspect of service-oriented software engineering. Notations for so-called service level agreements (SLAs), such as the…