G.A. Agha
J. Meseguer
K. Sen
2005
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
QAPL
ENTCS
153
213–239
10.1016/j.entcs.2005.10.040
M. AlTurki
J. Meseguer
2011
PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool
A. Corradini
B. Klin
C. Cîrstea
CALCO
LNCS
6859
Springer
386–392
10.1007/978-3-642-22944-2_28
C. Baier
J.-P. Katoen
2008
Principles of Model Checking
The MIT Press
http://mitpress.mit.edu/books/principles-model-checking
D.S. Batory
2005
Feature Models, Grammars, and Propositional Formulas
J.H. Obbink
K. Pohl
SPLC
LNCS
3714
Springer
7–20
10.1007/11554844_3
M.H. ter Beek
A. Fantechi
S. Gnesi
F. Mazzanti
2015
Modelling and Analysing the Variability in Product Families: Model Checking of Modal Transition Systems
Submitted
M.H. ter Beek
A. Lluch Lafuente
M. Petrocchi
2013
Combining Declarative and Procedural Views in the Specification and Analysis of Product Families
FMSPLE workshop at SPLC
ACM
10–17
10.1145/2499777.2500722
M.H. ter Beek
F. Mazzanti
A. Sulova
2012
VMC: A Tool for Product Variability Analysis
D. Giannakopoulou
D. Méry
FM
LNCS
7436
Springer
450–454
10.1007/978-3-642-32759-9_36
M.H. ter Beek
E.P. de Vink
2014
Software Product Line Analysis with mCRL2
SPLat workshop at SPLC
ACM
78–85
10.1145/2647908.2655970
M.H. ter Beek
E.P. de Vink
2014
Using mCRL2 for the Analysis of Software Product Lines
S. Gnesi
N. Plat
FormaliSE workshop at ICSE
IEEE
31–37
10.1145/2593489.2593493
L. Belzner
R. De Nicola
A. Vandin
M. Wirsing
2014
Reasoning (on) Service Component Ensembles in Rewriting Logic
S. Iida
J. Meseguer
K. Ogata
Specification, Algebra, and Software
LNCS
8373
Springer
188–211
10.1007/978-3-642-54624-2
P. Borba
M.B. Cohen
A. Legay
A. Wąsowski
2013
Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091)
Dagstuhl Reports
3
2
144–170
10.4230/DagRep.3.2.144
L. Bortolussi
2006
Stochastic Concurrent Constraint Programming
QAPL
ENTCS
164
65–80
10.1016/j.entcs.2006.07.012
J. Bürdek
S. Lity
M. Lochau
M. Berens
U. Goltz
A. Schürr
2014
Staged Configuration of Dynamic Software Product Lines with Complex Binding Time Constraints
P. Collet
A. Wąsowski
T. Weyer
VaMoS
ACM
10.1145/2556624.2556627
M.G. Buscemi
U. Montanari
2007
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
R. De Nicola
ESOP
LNCS
4421
Springer
18–32
10.1007/978-3-540-71316-6_3
M.G. Buscemi
U. Montanari
2011
QoS negotiation in service composition
J. Log. Algebr. Program.
80
1
13–24
10.1016/j.jlap.2010.04.001
A. Classen
M. Cordy
P. Heymans
A. Legay
P.-Y. Schobbens
2012
Model checking software product lines with SNIP
STTT
14
5
589–612
10.1007/s10009-012-0234-1
A. Classen
M. Cordy
P. Heymans
A. Legay
P.-Y. Schobbens
2014
Formal semantics, modular specification, and symbolic verification of product-line behaviour
Sci. Comput. Program.
80
B
416–439
10.1145/2499777.2499781
A. Classen
M. Cordy
P.-Y. Schobbens
P. Heymans
A. Legay
J.-F. Raskin
2013
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking
IEEE TSE
39
8
1069–1089
10.1109/TSE.2012.86
M. Clavel et al.
2007
All About Maude — A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic
LNCS
4350
Springer
10.1007/978-3-540-71999-1
M. Cordy
P.-Y. Schobbens
P. Heymans
A. Legay
2013
Beyond Boolean Product-Line Model Checking: Dealing with Feature Attributes and Multi-features
ICSE
IEEE
472–481
10.1109/ICSE.2013.6606593
K. Czarnecki
S. Helsen
U.W. Eisenecker
2004
Staged Configuration Using Feature Models
R.L. Nord
SPLC
LNCS
3154
Springer
266–283
10.1007/978-3-540-28630-1_17
C. Dubslaff
S. Klüppelholz
C. Baier
2014
Probabilistic Model Checking for Energy Analysis in Software Product Lines
W. Binder
E. Ernst
A. Peternier
R. Hirschfeld
MODULARITY
ACM
169–180
10.1145/2577080.2577095
M. Erwig
E. Walkingshaw
2011
The Choice Calculus: A Representation for Software Variation
ACM Trans. Softw. Eng. Methodol.
21
1
6
10.1145/2063239.2063245
C. Ghezzi
A.M. Sharifloo
2013
Model-based verification of quantitative non-functional properties for software product lines
Inform. Softw. Technol.
55
3
508–524
10.1016/j.infsof.2012.07.017
S. Gilmore
M. Tribastone
A. Vandin
2014
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems
E. Albert
E. Sekerinski
IFM
LNCS
8739
Springer
71–86
10.1007/978-3-319-10181-1_5
S. Gnesi
M. Petrocchi
2012
Towards an executable algebra for product lines
FMSPLE workshop at SPLC
ACM
66–73
10.1145/2364412.2364424
K.C. Kang
S.G. Cohen
J.A. Hess
W.E. Novak
A.S. Peterson
1990
Feature-Oriented Domain Analysis (FODA) Feasibility Study
Technical Report
CMU/SEI-90-TR-21
Software Engineering Institute, Carnegie Mellon University
http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11231
K.G. Larsen
A. Legay
2014
Statistical Model Checking: Past, Present, and Future
T. Margaria
B. Steffen
ISoLA
LNCS
8802
Springer
135–142
10.1007/978-3-662-45231-8_10
A. Legay
B. Delahaye
S. Bensalem
2010
Statistical Model Checking: An Overview
H. Barringer
Y. Falcone
B. Finkbeiner
K. Havelund
I. Lee
G.J. Pace
G. Rosu
O. Sokolsky
N. Tillmann
RV
LNCS
6418
Springer
122–135
10.1007/978-3-642-16612-9_11
L. Mendonça de Moura
N. Bjørner
2008
Z3: An Efficient SMT Solver
C.R. Ramakrishnan
J. Rehof
TACAS
LNCS
4963
Springer
337–340
10.1007/978-3-540-78800-3_24
D. Pianini
S. Sebastio
A. Vandin
2014
Distributed Statistical Analysis of Complex Systems Modeled Through a Chemical Metaphor
HPCS
IEEE
416–423
10.1109/HPCSim.2014.6903715
V.A. Saraswat
M.C. Rinard
1990
Concurrent Constraint Programming
F.E. Allen
POPL
ACM
232–245
10.1145/96709.96733
I. Schaefer
M.H. ter Beek
2014
Fomal Methods and Analyses in Software Product Line Engineering
T. Margaria
B. Steffen
ISoLA
LNCS
8802
Springer
253–256
10.1007/978-3-662-45234-9_18
P.-Y. Schobbens
P. Heymans
J.-C. Trigaux
2006
Feature Diagrams: A Survey and a Formal Semantics
RE
IEEE
136–145
10.1109/RE.2006.23
S. Sebastio
M. Amoretti
A. Lluch Lafuente
2014
A Computational Field Framework for Collaborative Task Execution in Volunteer Clouds
G. Engels
N. Bencomo
SEAMS workshop at ICSE
ACM
105–114
10.1145/2593929.2593943
S. Sebastio
A. Vandin
2013
MultiVeStA: Statistical Model Checking for Discrete Event Simulators
A. Horvath
P. Buchholz
V. Cortellessa
L. Muscariello
M.S. Squillante
ValueTools
ACM
310–315
10.4108/icst.valuetools.2013.254377
K. Sen
M. Viswanathan
G.A. Agha
2005
VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems
QEST
IEEE
251–252
10.1109/QEST.2005.42
T. Thüm
S. Apel
C. Kästner
I. Schaefer
G. Saake
2014
A Classification and Survey of Analysis Strategies for Software Product Lines
ACM Comput. Surv.
47
1
6
10.1145/2580950
M. Tribastone
2014
Behavioral Relations in a Process Algebra for Variants
S. Gnesi
A. Fantechi
P. Heymans
J. Rubin
K. Czarnecki
SPLC
ACM
82–91
10.1145/2648511.2648520
M. Varshosaz
R. Khosravi
2013
Discrete Time Markov Chain Families: Modeling and Verification of Probabilistic Software Product Lines
FMSPLE workshop at SPLC
ACM
34–41
10.1145/2499777.2500725