1
0
0
(1 - 27 von 32
)
Contact — SPLverifier
www.se.cs.uni-saarland.de
Hendrik Speidel (schnapptack GbR); Philipp Wendler (University of Passau); Alexander von Rhein (University of Passau); Dirk Beyer (University of Passau) › ...
Variability Encoding — SPLverifierwww.se.cs.uni-saarland.de › FAV
www.se.cs.uni-saarland.de
Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, and Dirk Beyer. Feature-Aware Verification. Technical Report MIP-1105, Department of ...
Fundamental Approaches to Software Engineering: 24th ...
books.google.ca
Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, and Dirk Beyer. Detection of feature interactions using feature-aware verification.
Computer Science authors/titles Oct 2011
arxiv.org
AI). [2] arXiv: [pdf, other]. Title: Feature-Aware Verification. Authors: Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer.
[ ] Feature-Aware Verification
arxiv.org
· Authors:Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer · Download PDF. Abstract: A software product line is a ...
Dirk Beyer DBLP
dblp.uni-trier.de
— Sven Apel, Hendrik Speidel, Philipp Wendler , Alexander von Rhein, Dirk Beyer : Detection of feature interactions using feature-aware ... › Persons
dblp: CoRR October 2011www.informatik.uni-trier.de › Journals › CoRR
dblp.uni-trier.de
https://dblp.org/rec/journals/corr/abs Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer: Feature-Aware Verification.
An Overview on Analysis Tools for Software Product Lines
wwwiti.cs.uni-magdeburg.de
von J Meinicke · · Zitiert von: 56 — [7] Sven Apel, Hendrik Speidel, Philipp Wendler,. Alexander von Rhein, and Dirk Beyer. Detection of. Feature Interactions Using Feature-Aware Verification. › iti_db › auto
Black-Box Test Case Selection and Prioritization for Software ...
leopard.tu-braunschweig.de
von R Lachmann · Zitiert von: 4 — Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von. Rhein, and Dirk Beyer. Detection of Feature Interactions Using. Feature-aware Verification. › servlets › Diss_...
プロダクトライン開発における組込み機器のテスト 設計 ...
core.ac.uk
von 青山裕介 — [22] Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander Von Rhein, and Dirk Beyer. Detec- tion of feature interactions using feature-aware verification. › download › pdf
A Decision Tree Lifted Domain for Analyzing Program ...
link.springer.com
von AS Dimovski · · Zitiert von: 6 — Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, and Dirk Beyer. Detection of feature interactions using feature-aware ... › chapter
Feature-Aware Verification - BibBasebibbase.org › network › publication › apel-speidel-...
bibbase.org
@article{DBLP:journals/corr/abs , author = {Sven Apel and Hendrik Speidel and Philipp Wendler and Alexander von Rhein and Dirk Beyer}, title ...
researchr - search publication Variability-Aware Analysis
researchr.org
Hendrik Speidel. Philipp Wendler. and Dirk Beyer. Alessandro Cabrini. Alexander Gruler. Andreas Classen. Andreas Janker. Andreas Metzger. Andres Teene.
ASE – Proceedings
www.bing.com
WitrynaDetection of Feature Interactions using Feature-Aware Verification Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, and Dirk Beyer (University of Passau, …
[PDF] Detection of feature interactions using feature-aware...
www.semanticscholar.org
Sven Apel, Hendrik Speidel, +2 authors Dirk Beyer. A software product line is a set of software products that are distinguished in terms of features (i.e., ...
Classification of Product-Line Analyses - TU Braunschweig
www.bing.com
WitrynaSven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, and Dirk Beyer. Feature-Aware Verification. Technical Report MIP-1105, University of Passau, …
Analyses Strategies for Software Product Lines
thomas.thüm.de
Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, Dirk Beyer, (techreport), 2011, Feature-Aware Verification, model checking ... › pla
Evaluierung von Verifikations- Strategien für Produktlinien
www.bing.com
WitrynaSven Apel, Philipp Wendler, Hendrik Speidel, Armin Größlinger, Dirk Beyer und Franco Raimondi . Alexander von Rhein Evaluierung von Produktlinien Verifikations …
Evaluierung von Verifikations- Strategien für Produktliniendocplayer.org › Evaluierung-von-verifikations-strategien-fuer-...
docplayer.org
... Alexander von Rhein Universität Passau in Kooperation mit: Sven Apel, Philipp Wendler, Hendrik Speidel, Armin Größlinger, Dirk Beyer und Franco.
Fakultät für Informatik und Mathematik A Specification Language …
www.bing.com
WitrynaHendrik Speidel Advisors: Prof. Christian Lengauer Ph.D. Prof. Dr. Dirk Beyer Dr. Sven Apel Abstract This thesis presents SPLVERIFIER a toolchain aimed at …
Formal Analysis of Variability-Intensive and Context-Sensitive ...
tud.qucosa.de
von P Chrszon · Zitiert von: 2 — Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, and. Dirk Beyer. “Detection of Feature Interactions Using Feature-aware Veri- fication”. › api › attachment › ATT-0
Vorhersage von nicht-funktionalen Feature-Interaktionen - PDF Free ...docplayer.org › Vorhersage-von-nicht-funktionalen-feature-inte...
docplayer.org
... für Produktlinien Alexander von Rhein Universität Passau in Kooperation mit: Sven Apel, Philipp Wendler, Hendrik Speidel, Armin Größlinger, Dirk Beyer und ...
Sven Apel Curriculum Vitae - PDF Free Download - hobbydocbox.comhobbydocbox.com › Art_and_Technology ›
hobbydocbox.com
Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, and Dirk Beyer. Detection of Feature Interactions using Feature-Aware Verification.
The role of similarity in detecting feature interaction in software ...
dr.lib.iastate.edu
von S Khoshmanesh · · Zitiert von: 7 — IEEE, [21] Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander Von Rhein, and Dirk Beyer. Detection of feature interactions using feature ... › core › bitstreams › content
Sven Apel Curriculum Vitae - PDF Free Download - DocPlayer.netdocplayer.net › Sven-apel-curriculum-vita...
docplayer.net
· Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, and Dirk Beyer. Detection of Feature Interactions using Feature-Aware ...
Alle Infos zum Namen "Hendrik Speidel"
Verwandte Suchanfragen zu Hendrik Speidel
Sven Apel Jörg Liebig Toni Michel | Armin Größlinger Dirk Beyer Philipp Wendler |
Person "Speidel" (4) Vorname "Hendrik" (10822) Name "Speidel" (586) |
sortiert nach Relevanz / Datum