75 citations · 248 across the 11 of their papers we have counts for
13 papers
Formal Semantics of the CDL Language
Thorsten Berger, Steven She
We reverse-engineer a formal semantics of the Component Definition Language (CDL), which is part of the highly configurable, embedded operating system eCos. This work provides the…
Formal Semantics of the Kconfig Language
Steven She, Thorsten Berger
The Kconfig language defines a set of symbols that are assigned a value in a configuration. We describe the semantics of the Kconfig language according to the behavior exhibited in…
Behavior Trees and State Machines in Robotics Applications
Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen +2
Autonomous robots combine skills to form increasingly complex behaviors, called missions. While skills are often programmed at a relatively low abstraction level, their coordinatio…
A Generator Framework For Evolving Variant-Rich Software
Christoph Derks, Daniel Strüber, Thorsten Berger
Evolving software is challenging, even more when it exists in many different variants. Such software evolves not only in time, but also in space--another dimension of complexity. W…
Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns
Ricardo Caldas, Razan Ghzouli, Alessandro V. Papadopoulos +3
A traditional approach to realize self-adaptation in software engineering (SE) is by means of feedback loops. The goals of the system can be specified as formal properties that are…
Feature-Oriented Defect Prediction: Scenarios, Metrics, and Classifiers
Mukelabai Mukelabai, Stefan Strüder, Daniel Strüber +1
Several software defect prediction techniques have been developed over the past decades. These techniques predict defects at the granularity of typical software assets, such as com…