Tailoring binary decision diagram compilation for feature models
Published by
Journal of Systems and Software
Summary
journal-article
Clemens Dubslaff
About
Work
Eindhoven University of Technology
|Assistant Professor
Netherlands
Technische Universität Dresden
|Research Associate
Germany
Publications
The life of software features: An exploratory case study of 189 feature requests in Marlin
Published by
Journal of Systems and Software
Summary
journal-article
Featured Message Sequence Graphs
Summary
book-chapter
Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System
Summary
conference-paper
Explaining Control Policies through Predicate Decision Diagrams
Summary
conference-paper
When to Sample from Feature Diagrams?
Summary
conference-paper
Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System
Published by
Formal Aspects of Computing
Summary
journal-article
Compiling Binary Decision Diagrams with Interrupt-Based Downsizing
Summary
book-chapter
Configuration Monitor Synthesis
Summary
book-chapter
X-by-Construction Meets AI
Summary
book-chapter
Blackbox Observability of Features and Feature Interactions
Summary
conference-paper
Configuring BDD Compilation Techniques for Feature Models
Summary
conference-paper
Negative Latency in the Tactile Internet as Enabler for Global Metaverse Immersion
Published by
IEEE Network
Summary
journal-article
OxiDD
Summary
book-chapter
Template Decision Diagrams for Meta Control and Explainability
Summary
book-chapter
Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms
Published by
ACM Transactions on Modeling and Computer Simulation
Summary
journal-article