![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
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
Evolutionary Grammar-Based Fuzzing
A fuzzer provides randomly generated inputs to a targeted software to expose erroneous behavior. To efficiently detect defects, generated inputs should conform to the structure of the input format and thus, gramm...
-
Chapter and Conference Paper
Bet and Run for Test Case Generation
Anyone working in the technology sector is probably familiar with the question: “Have you tried turning it off and on again?”, as this is usually the default question asked by tech support. Similarly, it is kn...
-
Chapter and Conference Paper
A Domain Specific Language to Support HAZOP Studies of SysML Models
To deal with the rising system complexity, Model-Based System Development (MBSD) approaches are becoming popular due to their promise to improve consistency between different views of the system model. For dep...
-
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
Localization of Acoustic Emissions in a Numerical T-Shaped Concrete Beam Using Multi-segment Path Analysis
Common source localization algorithms assume a straight-wave propagation path. If the straight connection between source and sensor passes air, this straight connection surely does not represent the wave propa...
-
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
Replica-Exchange Wang—Landau Sampling: Pushing the Limits of Monte Carlo Simulations in Materials Sciences
We describe the study of thermodynamics of materials using replica-exchange Wang—Landau (REWL) sampling, a generic framework for massively parallel implementations of the Wang—Landau Monte Carlo method. To eva...
-
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 and Conference Paper
Requirements and Assessment of Languages and Frameworks for Adaptation Models
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 feedback loops. Most of thes...
-
Chapter and Conference Paper
The Role of Models and Megamodels at Runtime
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 the models and the relations be...
-
Chapter and Conference Paper
Incremental Model Synchronization for Efficient Run-Time Monitoring
The model-driven engineering community has developed expressive model transformation techniques based on metamodels, which ease the specification of translations between different model types. Thus, it is attr...
-
Chapter and Conference Paper
System Safety — Challenge and Chance for Automotive Applications
In recent years the interior life of an automobile has undergone fundamental changes. Functions which were previously only possible by mechanical means are increasingly being supplemented or replaced by electr...