H
Hendrik Speidel
Researcher at University of Passau
Publications - 3
Citations - 126
Hendrik Speidel is an academic researcher from University of Passau. The author has contributed to research in topics: Feature (computer vision) & Feature model. The author has an hindex of 2, co-authored 3 publications receiving 119 citations.
Papers
More filters
Proceedings ArticleDOI
Detection of feature interactions using feature-aware verification
TL;DR: It is found that feature interactions can be detected automatically based on specifications that have only local knowledge, and this work developed the tool suite SPLVERIFIER for feature-aware verification, and applied it to an e-mail system that incorporates domain knowledge of AT&T.
Posted Content
Feature-Aware Verification
TL;DR: It is found that feature interactions can be detected automatically based on specifications that have only feature-local knowledge, and that variability encoding significantly improves the verification performance when proving the absence of interactions.
A Specification Language for Observer Automata in Feature-Oriented Verification
TL;DR: This thesis presents SPLVERIFIER a toolchain aimed at verification of featureoriented software product lines using the AUTOFEATURE automata language to express specifications for the use with off-the-shelf software model-checkers.