research
∙
04/18/2023
A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch
Context: Ensuring safety for any sophisticated system is getting more co...
share
research
∙
03/29/2023
Runtime Verification of Self-Adaptive Systems with Changing Requirements
To accurately make adaptation decisions, a self-adaptive system needs pr...
research
∙
03/27/2023
On the Need for Artifacts to Support Research on Self-Adaptation Mature for Industrial Adoption
Despite the vast body of knowledge developed by the self-adaptive system...
research
∙
11/07/2022
A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL
Context: The goal of specification pattern catalogs for real-time requir...
research
∙
06/24/2022
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation
Artifacts support evaluating new research results and help comparing the...
research
∙
01/20/2022
VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python
Context: Identifying potential vulnerable code is important to improve t...
research
∙
01/09/2022
A systematic literature review on counterexample explanation
Context: Safety is of paramount importance for cyber-physical systems in...
research
∙
08/13/2021
A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation
Context: The complexity of modern safety-critical systems in industries ...
research
∙
03/21/2021
How do we Evaluate Self-adaptive Software Systems?
With the increase of research in self-adaptive systems, there is a need ...
research
∙
12/28/2020
A Comprehensive Empirical Evaluation of Generating Test Suites for Mobile Applications with Diversity
Context: In search-based software engineering we often use popular heuri...
research
∙
08/03/2020
Bet and Run for Test Case Generation
Anyone working in the technology sector is probably familiar with the qu...
research
∙
08/03/2020
Evolutionary Grammar-Based Fuzzing
A fuzzer provides randomly generated inputs to a targeted software to ex...
research
∙
05/20/2020
Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures
Self-adaptation can be realized in various ways. Rule-based approaches p...
research
∙
04/24/2020
Towards Bridging the Gap between Control and Self-Adaptive System Properties
Two of the main paradigms used to build adaptive software employ differe...
research
∙
04/24/2020
A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive Systems
Control theoretical techniques have been successfully adopted as methods...
research
∙
06/21/2019
Challenges for Verifying and Validating Scientific Software in Computational Materials Science
Many fields of science rely on software systems to answer different rese...
research
∙
06/19/2019
Does Diversity Improve the Test Suite Generation for Mobile Applications?
In search-based software engineering we often use popular heuristics wit...
research
∙
05/06/2019
Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach
Goals are first-class entities in a self-adaptive system (SAS) as they g...
research
∙
05/03/2019
Planning as Optimization: Dynamically Discovering Optimal Configurations for Runtime Situations
The large number of possible configurations of modern software-based sys...
research
∙
04/26/2019
Explainable Software for Cyber-Physical Systems (ES4CPS): Report from the GI Dagstuhl Seminar 19023, January 06-11 2019, Schloss Dagstuhl
This report documents the program and results of the GI-Dagstuhl Seminar...
research
∙
04/02/2019
Software Engineering for Intelligent and Autonomous Systems: Report from the GI Dagstuhl Seminar 18343
Software systems are increasingly used in application domains characteri...
research
∙
05/17/2018
A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models
Self-adaptive software systems (SASS) are equipped with feedback loops t...
research
∙
05/17/2018
Model-Driven Engineering of Self-Adaptive Software with EUREMA
The development of self-adaptive software requires the engineering of an...
research
∙
05/17/2018
A language for feedback loops in self-adaptive systems: Executable runtime megamodels
The development of self-adaptive software requires the engineering of pr...
research
∙
05/17/2018
The Role of Models and Megamodels at Runtime
In model-driven software development a multitude of interrelated models ...
research
∙
05/17/2018
Requirements and Assessment of Languages and Frameworks for Adaptation Models
Approaches to self-adaptive software systems use models at runtime to le...
research
∙
05/17/2018
Adaptation and Abstract Runtime Models
Runtime adaptability is often a crucial requirement for today's complex ...
research
∙
05/17/2018
Model-Driven Architectural Monitoring and Adaptation for Autonomic Systems
Architectural monitoring and adaptation allows self-management capabilit...
research
∙
05/09/2018
Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures
To benefit from utility-driven and rule-based approaches to self-adaptat...
research
∙
05/09/2018
Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures
Self-adaptation can be realized in various ways. Rule-based approaches p...
research
∙
04/03/2018
A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive Systems
The assurance of real-time properties is prone to context variability. P...
research
∙
04/03/2018
mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self-Optimization
Self-adaptive software systems are often structured into an adaptation e...
research
∙
02/28/2018