G.A. Agha, J. Meseguer & K. Sen (2005):
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems.
In: QAPL,
ENTCS 153,
pp. 213–239,
doi:10.1016/j.entcs.2005.10.040.
M. AlTurki & J. Meseguer (2011):
PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool.
In: A. Corradini, B. Klin & C. Cîrstea: CALCO,
LNCS 6859.
Springer,
pp. 386–392,
doi:10.1007/978-3-642-22944-2_28.
D.S. Batory (2005):
Feature Models, Grammars, and Propositional Formulas.
In: J.H. Obbink & K. Pohl: SPLC,
LNCS 3714.
Springer,
pp. 7–20,
doi: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.
In: FMSPLE workshop at SPLC.
ACM,
pp. 10–17,
doi:10.1145/2499777.2500722.
M.H. ter Beek, F. Mazzanti & A. Sulova (2012):
VMC: A Tool for Product Variability Analysis.
In: D. Giannakopoulou & D. Méry: FM,
LNCS 7436.
Springer,
pp. 450–454,
doi:10.1007/978-3-642-32759-9_36.
M.H. ter Beek & E.P. de Vink (2014):
Software Product Line Analysis with mCRL2.
In: SPLat workshop at SPLC.
ACM,
pp. 78–85,
doi:10.1145/2647908.2655970.
M.H. ter Beek & E.P. de Vink (2014):
Using mCRL2 for the Analysis of Software Product Lines.
In: S. Gnesi & N. Plat: FormaliSE workshop at ICSE.
IEEE,
pp. 31–37,
doi:10.1145/2593489.2593493.
L. Belzner, R. De Nicola, A. Vandin & M. Wirsing (2014):
Reasoning (on) Service Component Ensembles in Rewriting Logic.
In: S. Iida, J. Meseguer & K. Ogata: Specification, Algebra, and Software,
LNCS 8373.
Springer,
pp. 188–211,
doi: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),
pp. 144–170,
doi:10.4230/DagRep.3.2.144.
L. Bortolussi (2006):
Stochastic Concurrent Constraint Programming.
In: QAPL,
ENTCS 164,
pp. 65–80,
doi: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.
In: P. Collet, A. Wąsowski & T. Weyer: VaMoS.
ACM,
doi:10.1145/2556624.2556627.
M.G. Buscemi & U. Montanari (2007):
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements.
In: R. De Nicola: ESOP,
LNCS 4421.
Springer,
pp. 18–32,
doi: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),
pp. 13–24,
doi: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),
pp. 589–612,
doi: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),
pp. 416–439,
doi: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),
pp. 1069–1089,
doi: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,
doi: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.
In: ICSE.
IEEE,
pp. 472–481,
doi:10.1109/ICSE.2013.6606593.
K. Czarnecki, S. Helsen & U.W. Eisenecker (2004):
Staged Configuration Using Feature Models.
In: R.L. Nord: SPLC,
LNCS 3154.
Springer,
pp. 266–283,
doi: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.
In: W. Binder, E. Ernst, A. Peternier & R. Hirschfeld: MODULARITY.
ACM,
pp. 169–180,
doi: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,
doi: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),
pp. 508–524,
doi: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.
In: E. Albert & E. Sekerinski: IFM,
LNCS 8739.
Springer,
pp. 71–86,
doi:10.1007/978-3-319-10181-1_5.
S. Gnesi & M. Petrocchi (2012):
Towards an executable algebra for product lines.
In: FMSPLE workshop at SPLC.
ACM,
pp. 66–73,
doi: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.
Available at http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=11231.
K.G. Larsen & A. Legay (2014):
Statistical Model Checking: Past, Present, and Future.
In: T. Margaria & B. Steffen: ISoLA,
LNCS 8802.
Springer,
pp. 135–142,
doi:10.1007/978-3-662-45231-8_10.
A. Legay, B. Delahaye & S. Bensalem (2010):
Statistical Model Checking: An Overview.
In: H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund, I. Lee, G.J. Pace, G. Rosu, O. Sokolsky & N. Tillmann: RV,
LNCS 6418.
Springer,
pp. 122–135,
doi:10.1007/978-3-642-16612-9_11.
L. Mendonça de Moura & N. Bjørner (2008):
Z3: An Efficient SMT Solver.
In: C.R. Ramakrishnan & J. Rehof: TACAS,
LNCS 4963.
Springer,
pp. 337–340,
doi: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.
In: HPCS.
IEEE,
pp. 416–423,
doi:10.1109/HPCSim.2014.6903715.
I. Schaefer & M.H. ter Beek (2014):
Fomal Methods and Analyses in Software Product Line Engineering.
In: T. Margaria & B. Steffen: ISoLA,
LNCS 8802.
Springer,
pp. 253–256,
doi: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.
In: RE.
IEEE,
pp. 136–145,
doi:10.1109/RE.2006.23.
S. Sebastio, M. Amoretti & A. Lluch Lafuente (2014):
A Computational Field Framework for Collaborative Task Execution in Volunteer Clouds.
In: G. Engels & N. Bencomo: SEAMS workshop at ICSE.
ACM,
pp. 105–114,
doi:10.1145/2593929.2593943.
S. Sebastio & A. Vandin (2013):
MultiVeStA: Statistical Model Checking for Discrete Event Simulators.
In: A. Horvath, P. Buchholz, V. Cortellessa, L. Muscariello & M.S. Squillante: ValueTools.
ACM,
pp. 310–315,
doi:10.4108/icst.valuetools.2013.254377.
K. Sen, M. Viswanathan & G.A. Agha (2005):
VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems.
In: QEST.
IEEE,
pp. 251–252,
doi: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,
doi:10.1145/2580950.
M. Tribastone (2014):
Behavioral Relations in a Process Algebra for Variants.
In: S. Gnesi, A. Fantechi, P. Heymans, J. Rubin & K. Czarnecki: SPLC.
ACM,
pp. 82–91,
doi:10.1145/2648511.2648520.
M. Varshosaz & R. Khosravi (2013):
Discrete Time Markov Chain Families: Modeling and Verification of Probabilistic Software Product Lines.
In: FMSPLE workshop at SPLC.
ACM,
pp. 34–41,
doi:10.1145/2499777.2500725.