Most feature selection methods identify only a single solution. This is acceptable for
predictive purposes, but is not sufficient for knowledge discovery if multiple solutions exist …

SQL injection attacks occur due to vulnerabilities in the design of queries where a malicious
user can take advantage of input opportunities to insert code in the queries that modify the …

Compiling binary decision diagrams (BDD) from feature models is a challenging task whose
outcome and performance depends on many interconnected factors. As almost all of these …

Although model checking is heavily used in the hardware domain, it did not take off in
software engineering yet. One of the possible reasons is that software models are very …

Feature models are commonly used to specify the valid configurations of product lines. As
industrial feature models are typically complex, researchers and practitioners employ …

We investigate the use of bandwidth and wavefront reduction algorithms to determine a
static BDD variable ordering. The aim is to reduce the size of BDDs arising in symbolic …

We propose a framework for the specification of infinite state systems based on Petri nets
with distinguished may-and must-transitions (called modalities) which specify the allowed …

The efficacy of decision diagram techniques for state space generation is known to be
heavily dependent on the variable order. Ordering can be done a-priori (static) or during the …

This paper presents Gradient-\varPi, a novel heuristics for finding the variable ordering of
Decision Diagrams encoding the state space of Petri net systems. Gradient-\varPi combines …

In this work, a multi‐objective algorithm based on nondominated sorting genetic algorithm‐II
(NSGA‐II) for thermal‐aware realization of a combinational logic network has been …