Applications of #SAT Solvers on Feature Models

15th International Working Conference on Variability Modelling of Software-Intensive Systems ◽

10.1145/3442391.3442404 ◽

2021 ◽

Author(s):

Chico Sundermann ◽

Michael Nieke ◽

Paul M. Bittner ◽

Tobias Heß ◽

Thomas Thüm ◽

...

Keyword(s):

Feature Models ◽

Download Full-text

Evaluating #SAT solvers on industrial feature models

Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems ◽

10.1145/3377024.3377025 ◽

2020 ◽

Author(s):

Chico Sundermann ◽

Thomas Thüm ◽

Ina Schaefer

Keyword(s):

Feature Models ◽

Download Full-text

MbFM: A matrix-based tool for modeling and configuring feature models

2012 20th IEEE International Requirements Engineering Conference (RE) ◽

10.1109/re.2012.6345827 ◽

2012 ◽

Author(s):

Long Li ◽

Haiyan Zhao ◽

Wei Zhang

Keyword(s):

Download Full-text

Anomaly detection in Context-aware Feature Models

15th International Working Conference on Variability Modelling of Software-Intensive Systems ◽

10.1145/3442391.3442405 ◽

2021 ◽

Author(s):

Jacopo Mauro

Keyword(s):

Anomaly Detection ◽

Context Aware ◽

Download Full-text

Masking Circuit Faults and Trojan Circuit Injections Using Sat Solvers

Russian Physics Journal ◽

10.1007/s11182-021-02287-5 ◽

2021 ◽

Vol 63 (12) ◽

pp. 2178-2188

Author(s):

A. Yu. Маtrosova ◽

V. А. Provkin ◽

V. Z. Tychinskiy ◽

Е. А. Nikolaeva ◽

G. G. Goshin

Keyword(s):

Download Full-text

Multi-mode resource-constrained project scheduling using RCPSP and SAT solvers

European Journal of Operational Research ◽

10.1016/j.ejor.2011.03.019 ◽

2011 ◽

Vol 213 (1) ◽

pp. 73-82 ◽

Author(s):

José Coelho ◽

Mario Vanhoucke

Keyword(s):

Project Scheduling ◽

Resource Constrained ◽

Sat Solvers ◽

Resource Constrained Project Scheduling ◽

Download Full-text

Explaining anomalies in feature models

ACM SIGPLAN Notices ◽

10.1145/3093335.2993248 ◽

2017 ◽

Vol 52 (3) ◽

pp. 132-143 ◽

Author(s):

Matthias Kowal ◽

Sofia Ananieva ◽

Thomas Thüm

Keyword(s):

Download Full-text

Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities

2008 International Conference of the Chilean Computer Science Society ◽

10.1109/sccc.2008.19 ◽

2008 ◽

Author(s):

Ariel Gonzalez ◽

Carlos Luna

Keyword(s):

Feature Models ◽

Product Lines ◽

Behavior Specification

Download Full-text

Reasoning with Propositional Logic: From SAT Solvers to Knowledge Compilation

A Guided Tour of Artificial Intelligence Research ◽

10.1007/978-3-030-06167-8_5 ◽

2020 ◽

pp. 115-152

Author(s):

Laurent Simon

Keyword(s):

Propositional Logic ◽

Knowledge Compilation ◽

Download Full-text

Location–Aware RBAC Based on Spatial Feature Models and Realistic Positioning

Lecture Notes in Computer Science - Risks and Security of Internet and Systems ◽

10.1007/978-3-319-17127-2_9 ◽

2015 ◽

pp. 131-147

Author(s):

Philipp Marcus ◽

Lorenz Schauer ◽

Claudia Linnhoff–Popien

Keyword(s):

Feature Models ◽

Spatial Feature ◽

Download Full-text

Is seeding a good strategy in multi-objective feature selection when feature models evolve?

Information and Software Technology ◽

10.1016/j.infsof.2017.08.010 ◽

2018 ◽

Vol 95 ◽

pp. 266-280 ◽

Author(s):

Takfarinas Saber ◽

David Brevet ◽

Goetz Botterweck ◽

Anthony Ventresque

Keyword(s):

Feature Selection ◽

Good Strategy ◽

Feature Models ◽

Multi Objective

Download Full-text