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