On the public citation graph
Efficient synthesis of feature models
0 signed · 113 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/smr.567openalex-snapshot
Feature location in source code: a taxonomy and survey
inferredcites →https://doi.org/10.1002/spip.213openalex-snapshot
Formalizing cardinality‐based feature models and their specialization
inferredcites →https://doi.org/10.1007/11499107_42openalex-snapshot
On Subsumption Removal and On-the-Fly CNF Simplification
inferredcites →https://doi.org/10.1007/11527695_22openalex-snapshot
NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances
inferredcites →https://doi.org/10.1007/11554844_3openalex-snapshot
Feature Models, Grammars, and Propositional Formulas
inferredcites →https://doi.org/10.1007/3-540-45757-7openalex-snapshot
Logics in Artificial Intelligence
inferredcites →https://doi.org/10.1007/3-540-45757-7_53openalex-snapshot
Hypergraph Transversal Computation and Related Problems in Logic and AI
inferredcites →https://doi.org/10.1007/3-540-48523-6_65openalex-snapshot
On the Complexity and Inapproximability of Shortest Implicant Problems
inferredcites →https://doi.org/10.1007/3-540-55602-8_170openalex-snapshot
Computing prime implicates incrementally
inferredcites →https://doi.org/10.1007/978-1-4613-2821-6openalex-snapshot
Logic Minimization Algorithms for VLSI Synthesis
inferredcites →https://doi.org/10.1007/978-3-540-24605-3_37openalex-snapshot
An Extensible SAT-solver
inferredcites →https://doi.org/10.1007/978-3-540-87875-9_31openalex-snapshot
Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax
inferredcites →https://doi.org/10.1007/978-3-642-15579-6_48openalex-snapshot
Feature-to-Code Mapping in Two Large Product Lines
inferredcites →https://doi.org/10.1007/978-3-642-28872-2_20openalex-snapshot
Combining Related Products into Product Lines
inferredcites →https://doi.org/10.1007/978-3-642-33119-0_13openalex-snapshot
Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study
inferredcites →https://doi.org/10.1016/0010-4485(87)90165-5openalex-snapshot
Proceedings of the 8th International Conference on Automated Deduction
inferredcites →https://doi.org/10.1016/j.comnet.2006.08.008openalex-snapshot
Generic semantics of feature diagrams
inferredcites →https://doi.org/10.1016/j.is.2010.01.001openalex-snapshot
Automated analysis of feature models 20 years later: A literature review
inferredcites →https://doi.org/10.1016/j.scico.2010.06.005openalex-snapshot
Automatic library migration for the generation of hardware-in-the-loop models
inferredcites →https://doi.org/10.1016/s0747-7171(08)80029-6openalex-snapshot
An incremental method for generating prime implicants/implicates
inferredcites →https://doi.org/10.1016/s0898-1221(99)90161-xopenalex-snapshot
Optimization methods for logical inference
inferredcites →https://doi.org/10.1109/dac.1990openalex-snapshot
27th ACM/IEEE Design Automation Conference
inferredcites →https://doi.org/10.1109/icsr.1998.685732openalex-snapshot
Integrating feature modeling with the RSEB
inferredcites →https://doi.org/10.1109/sfcs.1998.743506openalex-snapshot
The minimum equivalent DNF problem and shortest implicants
inferredcites →https://doi.org/10.1109/splc.2007.25openalex-snapshot
Minimally Invasive Migration to Software Product Lines
inferredcites →https://doi.org/10.1109/splc.2008.25openalex-snapshot
Adding Standardized Variability to Domain Specific Languages
inferredcites →https://doi.org/10.1109/splc.2008.49openalex-snapshot
Sample Spaces and Feature Models: There and Back Again
inferredcites →https://doi.org/10.1109/spline.2007.31openalex-snapshot
Optimization of Variability in Software Product Lines
inferredcites →https://doi.org/10.1109/tai.1996.560387openalex-snapshot
Proceedings of 8th International Conference on Tools with Artificial Intelligence
inferredcites →https://doi.org/10.1109/tai.1997.632261openalex-snapshot
Prime implicant computation using satisfiability algorithms
inferredcites →https://doi.org/10.1137/s0097539793258295openalex-snapshot
On the Amount of Nondeterminism and the Power of Verifying
inferredcites →https://doi.org/10.1145/1173706openalex-snapshot
Proceedings of the 5th international conference on Generative programming and component engineering
inferredcites →https://doi.org/10.1145/1183236.1183270openalex-snapshot
Formal verification and software product lines
inferredcites →https://doi.org/10.1145/1449913.1449918openalex-snapshot
Efficient compilation techniques for large scale feature models
inferredcites →https://doi.org/10.1145/1806799.1806850openalex-snapshot
Model checking lots of systems
inferredcites →https://doi.org/10.1145/1858996.1859010openalex-snapshot
Variability modeling in the real
inferredcites →https://doi.org/10.1145/1868294.1868299openalex-snapshot
Automatic variation-point identification in function-block-based models
inferredcites →https://doi.org/10.1145/1944892openalex-snapshot
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
inferredcites →https://doi.org/10.1145/1944892.1944907openalex-snapshot
A comparison of decision modeling approaches in product lines
inferredcites →https://doi.org/10.1145/1985793openalex-snapshot
Proceedings of the 33rd International Conference on Software Engineering
inferredcites →https://doi.org/10.1145/1985793.1985856openalex-snapshot
Reverse engineering feature models
inferredcites →https://doi.org/10.1145/2019136.2019141openalex-snapshot
Extraction of feature models from formal contexts
inferredcites →https://doi.org/10.1145/2362536.2362553openalex-snapshot
Efficient synthesis of feature models
inferredcites →https://doi.org/10.1145/2425415.2425419openalex-snapshot
Usage scenarios for feature model synthesis
inferredcites →https://doi.org/10.1145/2491627openalex-snapshot
Proceedings of the 17th International Software Product Line Conference
inferredcites →https://doi.org/10.1145/3324884openalex-snapshot
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
inferredcites →https://doi.org/10.1145/362342.362367openalex-snapshot
Algorithm 457: finding all cliques of an undirected graph
inferredcites →https://doi.org/10.21236/ada235785openalex-snapshot
Feature-Oriented Domain Analysis (FODA) Feasibility Study
inferredcites →https://doi.org/10.2307/254266openalex-snapshot
Optimization Methods for Logical Inference
inferredcites →https://doi.org/10.5555/113938.113929openalex-snapshot
Implicit and incremental computation of primes and essential primes of Boolean functions
inferredcites →https://doi.org/10.5555/1753235.1753267openalex-snapshot
SAT-based analysis of feature models is easy
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/smr.2701openalex-snapshot
Improving an emergency repair process with feature models
inferred← citeshttps://doi.org/10.1007/978-3-030-23182-8_3openalex-snapshot
Graph-Based Variability Modelling: Towards a Classification of Existing Formalisms
inferred← citeshttps://doi.org/10.1007/978-3-031-11686-5_5openalex-snapshot
Search-Based Variability Model Synthesis from Variant Configurations
inferred← citeshttps://doi.org/10.1007/978-3-031-11686-5_6openalex-snapshot
Extending Boolean Variability Relationship Extraction to Multi-valued Software Descriptions
inferred← citeshttps://doi.org/10.1007/978-3-032-15538-2_23openalex-snapshot
Automated Synthesis of Kubernetes Variability from OpenAPI Schemas
inferred← citeshttps://doi.org/10.1007/978-3-319-09940-8_11openalex-snapshot
Feature Model Synthesis with Genetic Programming
inferred← citeshttps://doi.org/10.1007/978-3-319-25964-2_4openalex-snapshot
Evolutionary Computation for Software Product Line Testing: An Overview and Open Challenges
inferred← citeshttps://doi.org/10.1007/978-3-319-46969-0_6openalex-snapshot
Software Unbundling: Challenges and Perspectives
inferred← citeshttps://doi.org/10.1007/s00502-021-00916-yopenalex-snapshot
Ansätze zur Beherrschung der Variabilität in Software-intensiven Cyber-Physischen Produktionssystemen
inferred← citeshttps://doi.org/10.1007/s10664-016-9462-4openalex-snapshot
Multi-objective reverse engineering of variability-safe feature models based on code dependencies of system variants
inferred← citeshttps://doi.org/10.1007/s10664-017-9499-zopenalex-snapshot
Reengineering legacy applications into software product lines: a systematic mapping
inferred← citeshttps://doi.org/10.1007/s10664-017-9573-6openalex-snapshot
Data-efficient performance learning for configurable systems
inferred← citeshttps://doi.org/10.1007/s10664-019-09787-6openalex-snapshot
The state of adoption and the challenges of systematic variability management in industry
inferred← citeshttps://doi.org/10.1007/s10664-020-09915-7openalex-snapshot
Empirical assessment of generating adversarial configurations for software product lines
inferred← citeshttps://doi.org/10.1007/s10664-021-09947-7openalex-snapshot
Genetic programming for feature model synthesis: a replication study
inferred← citeshttps://doi.org/10.1007/s11219-014-9258-yopenalex-snapshot
Testing variability-intensive systems using automated analysis: an application to Android
inferred← citeshttps://doi.org/10.1007/s11704-016-5121-6openalex-snapshot
Automating identification of services and their variability for product lines using NSGA-II
inferred← citeshttps://doi.org/10.1016/j.dam.2019.06.008openalex-snapshot
FCA for software product line representation: Mixing configuration and feature relationships in a unique canonical representation
inferred← citeshttps://doi.org/10.1016/j.infsof.2025.107889openalex-snapshot
Bridging the gap between user stories and feature models by leveraging version control systems: A step towards software product line migration
inferred← citeshttps://doi.org/10.1016/j.jss.2014.10.037openalex-snapshot
An assessment of search-based techniques for reverse engineering feature models
inferred← citeshttps://doi.org/10.1016/j.jss.2017.05.042openalex-snapshot
Reverse engineering language product lines from existing DSL variants
inferred← citeshttps://doi.org/10.1016/j.jss.2019.02.027openalex-snapshot
Modelling equivalence classes of feature models with concept lattices to assist their extraction from product descriptions
inferred← citeshttps://doi.org/10.1016/j.jss.2023.111624openalex-snapshot
Testing of highly configurable cyber–physical systems — Results from a two-phase multiple case study
inferred← citeshttps://doi.org/10.1016/j.jss.2023.111736openalex-snapshot
A benchmark generator framework for evolving variant-rich software
inferred← citeshttps://doi.org/10.1093/comjnl/bxw027openalex-snapshot
Mining Feature Models from Functional Requirements
inferred← citeshttps://doi.org/10.1109/aire.2015.7337624openalex-snapshot
Using fuzzy modeling for consistent definitions of product qualities in requirements
inferred← citeshttps://doi.org/10.1109/iceccs2018.2018.00037openalex-snapshot
Software Product Line Extraction from Bytecode Based Applications
inferred← citeshttps://doi.org/10.1109/icps59941.2024.10639992openalex-snapshot
From Unstructured Product Descriptions to Structured Data for Industry 4.0 with ChatGPT
inferred← citeshttps://doi.org/10.1109/icst.2015.7102591openalex-snapshot
Generating Tests for Detecting Faults in Feature Models
inferred← citeshttps://doi.org/10.1109/icst.2016.10openalex-snapshot
Automatic Detection and Removal of Conformance Faults in Feature Models
inferred← citeshttps://doi.org/10.1109/sera.2018.8477223openalex-snapshot
Feature Model Synthesis from Language-Independent Functional Descriptions
inferred← citeshttps://doi.org/10.1145/2647908.2655967openalex-snapshot
Feature location for software product line migration
inferred← citeshttps://doi.org/10.1145/2739480.2754720openalex-snapshot
Extracting Variability-Safe Feature Models from Source Code Dependencies in System Variants
inferred← citeshttps://doi.org/10.1145/2786805.2803180openalex-snapshot
MatrixMiner: a red pill to architect informal product descriptions in the matrix
inferred← citeshttps://doi.org/10.1145/2791060.2791068openalex-snapshot
Synthesis of attributed feature models from product descriptions
inferred← citeshttps://doi.org/10.1145/2791060.2791086openalex-snapshot
Bottom-up adoption of software product lines
inferred← citeshttps://doi.org/10.1145/2934466.2934478openalex-snapshot
Exploiting the enumeration of all feature model configurations
inferred← citeshttps://doi.org/10.1145/3233027.3233047openalex-snapshot
Reverse engineering variability in an industrial product line
inferred← citeshttps://doi.org/10.1145/3307630.3342407openalex-snapshot
Exploring the Variability of Interconnected Product Families with Relational Concept Analysis
inferred← citeshttps://doi.org/10.1145/3307630.3342409openalex-snapshot
An Industrial Case Study for Adopting Software Product Lines in Automotive Industry
inferred← citeshttps://doi.org/10.1145/3377024.3377026openalex-snapshot
Using variability modeling to support security evaluations
inferred← citeshttps://doi.org/10.1145/3442391.3442408openalex-snapshot
An Overview of Recommender Systems and Machine Learning in Feature Modeling and Configuration
inferred← citeshttps://doi.org/10.1145/3442391.3442411openalex-snapshot
Testing of Highly Configurable Cyber-Physical Systems – A Multiple Case Study
inferred← citeshttps://doi.org/10.1145/3461001.3474452openalex-snapshot
On the scalability of building binary decision diagrams for current feature models
inferred← citeshttps://doi.org/10.1145/3646548.3672591openalex-snapshot
Taming the Variability of Browser Fingerprints
inferred← citeshttps://doi.org/10.1145/3715340.3715440openalex-snapshot
The Kubernetes variability model
inferred← citeshttps://doi.org/10.1145/3744915.3748468openalex-snapshot
Exploring Variability Modeling Challenges in UVL with a Dataset from the Restaurant Industry
inferred← citeshttps://doi.org/10.18293/seke2015-107openalex-snapshot
Toward an Architecture for Model Composition Techniques
inferred← citeshttps://doi.org/10.18293/seke2017-087openalex-snapshot
Analyzing Variability in Product Families through Canonical Feature Diagrams
inferred← citeshttps://doi.org/10.3390/info9110266openalex-snapshot
ImplicPBDD: A New Approach to Extract Proper Implications Set from High-Dimension Formal Contexts Using a Binary Decision Diagram †
inferred← citeshttps://doi.org/10.48550/arxiv.2110.05869openalex-snapshot
Reverse Engineering Variability in an Industrial Product Line: Observations and Lessons Learned
inferred← citeshttps://doi.org/10.4995/thesis/10251/90628openalex-snapshot
A framework for evaluating the quality of modelling languages in MDE environments A framework for evaluating the quality of modelling languages in MDE environments
inferred← citeshttps://doi.org/10.70675/5846cbd1za60az490czaa0fz7cc7be2f7e72openalex-snapshot
L'analyse formelle de concepts : un cadre structurel pour l'étude de la variabilité de familles de logiciels
inferred← citeshttps://doi.org/10.70675/61b2548cz2d82z4acfz8c11zfda3a50d2abbopenalex-snapshot
Usage de l'ingénierie de lignes de produits pour la construction de langages dédiés
inferred← citeshttps://doi.org/10.70675/8237214cz7dd5z4b61zb08ez75817e9fdf42openalex-snapshot
Evolution, testing and configuration of variability systems intensive
inferred← citeshttps://doi.org/10.70675/d51267d8z2313z48a9zbb28zef5d986aaba1openalex-snapshot
Metamodels and feature models : complementary approaches to formalize product comparison matrices
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.