1. 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.
  2. 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.
  3. C. Baier & J.-P. Katoen (2008): Principles of Model Checking. The MIT Press. Available at
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. L. Bortolussi (2006): Stochastic Concurrent Constraint Programming. In: QAPL, ENTCS 164, pp. 65–80, doi:10.1016/j.entcs.2006.07.012.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. 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.
  25. 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.
  26. 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.
  27. 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
  28. 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.
  29. 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.
  30. 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.
  31. 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.
  32. V.A. Saraswat & M.C. Rinard (1990): Concurrent Constraint Programming. In: F.E. Allen: POPL. ACM, pp. 232–245, doi:10.1145/96709.96733.
  33. 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.
  34. 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.
  35. 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.
  36. 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.
  37. 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.
  38. 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.
  39. 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.
  40. 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.

Comments and questions to:
For website issues: