Login / Signup
FMSPLE
Publications
2016
Maurice H. ter Beek
,
Erik P. de Vink
,
Tim A. C. Willemse
Towards a Feature mu-Calculus Targeting SPL Verification.
FMSPLE
(2016)
Ferruccio Damiani
,
Michael Lienhardt
Refactoring Delta-Oriented Product Lines to achieve Monotonicity.
FMSPLE
(2016)
Frederik Deckwerth
,
Géza Kulcsár
,
Malte Lochau
,
Gergely Varró
,
Andy Schürr
Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation.
FMSPLE
(2016)
Matthias Kowal
,
Ina Schaefer
Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems.
FMSPLE
(2016)
Anjali Sree-Kumar
,
Elena Planas
,
Robert Clarisó
Analysis of Feature Models Using Alloy: A Survey.
FMSPLE
(2016)
2015
Uwe Lesta
,
Ina Schaefer
,
Tim Winkelmann
Detecting and Explaining Conflicts in Attributed Feature Models.
FMSPLE
(2015)
Thi-Kim-Zung Pham
,
Catherine Dubois
,
Nicole Lévy
Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules.
FMSPLE
(2015)
Maurice H. ter Beek
,
Axel Legay
,
Alberto Lluch-Lafuente
,
Andrea Vandin
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking.
FMSPLE
(2015)
Tessa Belder
,
Maurice H. ter Beek
,
Erik P. de Vink
Coherent branching feature bisimulation.
FMSPLE
(2015)
Lars Luthmann
,
Stephan Mennicke
,
Malte Lochau
Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata.
FMSPLE
(2015)
Ian D. Peake
,
Jan Olaf Blech
,
Lasith Fernando
,
Divyasheel Sharma
,
Srini Ramaswamy
,
Mallikarjun Kande
Analysis of Software Binaries for Reengineering-Driven Product Line Architecture - An Industrial Case Study.
FMSPLE
(2015)