24 citations · 32 across the 16 of their papers we have counts for
3 papers · 1 filter
Proceedings of the First Workshop on Trends in Configurable Systems Analysis
Maurice H. ter Beek, Clemens Dubslaff
The analysis of configurable systems, i.e., systems those behaviors depend on parameters or support various features, is challenging due to the exponential blowup arising in the nu…
Causality in Configurable Software Systems
Clemens Dubslaff, Kallistos Weis, Christel Baier +1
Detecting and understanding reasons for defects and inadvertent behavior in software is challenging due to their increasing complexity. In configurable software systems, the combin…
Probabilistic Model Checking for Energy Analysis in Software Product Lines
Clemens Dubslaff, Sascha Klüppelholz, Christel Baier
In a software product line (SPL), a collection of software products is defined by their commonalities in terms of features rather than explicitly specifying all products one-by-one…