research
∙
09/23/2022
Formal Semantics of the CDL Language
We reverse-engineer a formal semantics of the Component Definition Langu...
share
research
∙
09/11/2022
Formal Semantics of the Kconfig Language
The Kconfig language defines a set of symbols that are assigned a value ...
research
∙
08/08/2022
Behavior Trees and State Machines in Robotics Applications
Autonomous robots combine a variety of skills to form increasingly compl...
research
∙
05/05/2022
A Driver-Vehicle Model for ADS Scenario-based Testing
Scenario-based testing for automated driving systems (ADS) must be able ...
research
∙
12/02/2021
A Generator Framework For Evolving Variant-Rich Software
Evolving software is challenging, even more when it exists in many diffe...
research
∙
08/18/2021
Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns
A traditional approach to realize self-adaptation in software engineerin...
research
∙
04/13/2021
Feature-Oriented Defect Prediction: Scenarios, Metrics, and Classifiers
Several software defect prediction techniques have been developed over t...
research
∙
02/28/2021
Seamless Variability Management With the Virtual Platform
Customization is a general trend in software engineering, demanding syst...
research
∙
02/13/2021
Asset Management in Machine Learning: A Survey
Machine Learning (ML) techniques are becoming essential components of ma...
research
∙
12/30/2020
ConfigFix: Interactive Configuration Conflict Resolution for the Linux Kernel
Highly configurable systems are highly complex systems, with the Linux k...
research
∙
12/22/2020
A Maturity Assessment Framework for Conversational AI Development Platforms
Conversational Artificial Intelligence (AI) systems have recently sky-ro...
research
∙
10/13/2020
Behavior Trees in Action: A Study of Robotics Applications
Autonomous robots combine a variety of skills to form increasingly compl...
research
∙
06/18/2020
Robotics Software Engineering: A Perspective from the Service Robotics Domain
Robots that support humans by performing useful tasks (a.k.a., service r...
research
∙
01/07/2019
