-
Chapter and Conference Paper
Counterexample Interpretation for Contract-Based Design
Contract-based design (CBD) is an emerging paradigm for complex systems, specifying the input-output behavior of a component by defining what the component guarantees, provided its environment satisfies the gi...
-
Chapter and Conference Paper
Does Diversity Improve the Test Suite Generation for Mobile Applications?
In search-based software engineering we often use popular heuristics with default configurations, which typically lead to suboptimal results, or we perform experiments to identify configurations on a trial-and...
-
Chapter and Conference Paper
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances
The important concern for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, dependable, energy-efficient, customisable, configurable and self-optimising when...
-
Chapter and Conference Paper
Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems
Self-adaptive software systems adapt to changes in the environment, in the system itself, in their requirements, or in their business objectives. Typically, these systems attempt to maintain system goals at ru...
-
Chapter and Conference Paper
Towards Smart Systems of Systems
Systems of Systems (SoS) have started to emerge as a consequence of the general trend toward the integration of beforehand isolated systems. To unleash the full potential, the contained systems must be able to...
-
Chapter and Conference Paper
Quantifying Progression of Multiple Sclerosis via Classification of Depth Videos
This paper presents new learning-based techniques for measuring disease progression in Multiple Sclerosis (MS) patients. Our system aims to augment conventional neurological examinations by adding quantitative...
-
Chapter
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap
The goal of this roadmap paper is to summarize the state-of-the-art and identify research challenges when develo**, deploying and managing self-adaptive software systems. Instead of dealing with a wide range...
-
Chapter
Software Engineering Processes for Self-Adaptive Systems
In this paper, we discuss how for self-adaptive systems some activities that traditionally occur at development-time are moved to run-time. Responsibilities for these activities shift from software engineers t...