Clemens Dubslaff

Work

Eindhoven University of Technology

|

Assistant Professor

Netherlands

Technische Universität Dresden

|

Research Associate

Germany

Publications

Tailoring binary decision diagram compilation for feature models

Journal of Systems and Software

journal-article

The life of software features: An exploratory case study of 189 feature requests in Marlin

Journal of Systems and Software

journal-article

Featured Message Sequence Graphs

book-chapter

Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System

conference-paper

Explaining Control Policies through Predicate Decision Diagrams

conference-paper

When to Sample from Feature Diagrams?

conference-paper

Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System

Formal Aspects of Computing

journal-article

Compiling Binary Decision Diagrams with Interrupt-Based Downsizing

book-chapter

Configuration Monitor Synthesis

book-chapter

X-by-Construction Meets AI

book-chapter

Blackbox Observability of Features and Feature Interactions

conference-paper

Configuring BDD Compilation Techniques for Feature Models

conference-paper

Negative Latency in the Tactile Internet as Enabler for Global Metaverse Immersion

IEEE Network

journal-article

OxiDD

book-chapter

Template Decision Diagrams for Meta Control and Explainability

book-chapter

Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms

ACM Transactions on Modeling and Computer Simulation

journal-article