[{"text":"\n\n\nSven Apel , Delesley Hutchins, A calculus for uniform feature composition, ACM Transactions on Programming Languages and Systems (TOPLAS), v.32 n.5, p.1-33, May 2010   [doi>10.1145/1745312.1745316]\n\n","citation":"1745316","doi":"http://doi.acm.org/10.1145/1745312.1745316"},{"text":"\n\n\nSven Apel , Florian Janda , Salvador Trujillo , Christian Kästner, Model Superimposition in Software Product Lines, Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations, June 29-30, 2009, Zurich, Switzerland   [doi>10.1007/978-3-642-02408-5_2]\n\n","citation":"1575451"},{"text":"\n\n\nSven Apel , Florian Janda , Salvador Trujillo , Christian Kästner, Model Superimposition in Software Product Lines, Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations, June 29-30, 2009, Zurich, Switzerland   [doi>10.1007/978-3-642-02408-5_2]\n\n","citation":"1575451"},{"text":"\n\n\nChristel Baier , Joost-Pieter Katoen, Principles of Model Checking (Representation and Mind Series), The MIT Press, 2008 \n\n","citation":"1373322"},{"text":"\n\n\nChristel Baier , Marta Kwiatkowska, Model checking for a probabilistic branching time logic with fairness, Distributed Computing, v.11 n.3, p.125-155, August 1998   [doi>10.1007/s004460050046]\n\n","citation":"1035807"},{"text":"\n\n\nDavid Benavides , Sergio Segura , Antonio Ruiz-Cortés, Automated analysis of feature models 20 years later: A literature review, Information Systems, v.35 n.6, p.615-636, September, 2010   [doi>10.1016/j.is.2010.01.001]\n\n","citation":"1787031"},{"text":"\n\n\nAndrea Bianco , Luca de Alfaro, Model Checking of Probabalistic and Nondeterministic Systems, Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science, p.499-513, December 18-20, 1995 \n\n","citation":"708042"},{"text":"\n\n\nKrishnendu Chatterjee , Marcin Jurdziński , Thomas A. Henzinger, Quantitative stochastic parity games, Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms, January 11-14, 2004, New Orleans, Louisiana \n\n","citation":"982808"},{"text":"\n\n\nE. M. Clarke , E. A. Emerson , A. P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.2, p.244-263, April 1986   [doi>10.1145/5397.5399]\n\n","citation":"5399","doi":"http://doi.acm.org/10.1145/5397.5399"},{"text":"\n\n\nAndreas Classen , Patrick Heymans , Pierre-Yves Schobbens , Axel Legay , Jean-François Raskin, Model checking lots of systems: efficient verification of temporal properties in software product lines, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, May 01-08, 2010, Cape Town, South Africa   [doi>10.1145/1806799.1806850]\n\n","citation":"1806850","doi":"http://doi.acm.org/10.1145/1806799.1806850"},{"text":"\n\n\nAndreas Classen , Patrick Heymans , Pierre-Yves Schobbens , Axel Legay, Symbolic model checking of software product lines, Proceedings of the 33rd International Conference on Software Engineering, May 21-28, 2011, Waikiki, Honolulu, HI, USA   [doi>10.1145/1985793.1985838]\n \n","citation":"1985838","doi":"http://doi.acm.org/10.1145/1985793.1985838"},{"text":"\n\n\nSoftware product lines: practices and patterns, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2001 \n\n","citation":"501065"},{"text":"\n\n\nAnne Condon, The complexity of stochastic games, Information and Computation, v.96 n.2, p.203-224, Feb. 1992   [doi>10.1016/0890-5401(92)90048-K]\n\n","citation":"162159"},{"text":"\n\nM. Cordy, A. Classen, P. Heymans, A. Legay, and P.-Y. Schobbens. Model Checking Adaptive Software with Featured Transition Systems, volume 7740, pages 1--29. Springer Berlin Heidelberg, 2013.\n\n"},{"text":"\n\n\nKrzysztof Czarnecki , Steven She , Andrzej Wasowski, Sample Spaces and Feature Models: There and Back Again, Proceedings of the 2008 12th International Software Product Line Conference, p.22-31, September 08-12, 2008   [doi>10.1109/SPLC.2008.49]\n\n","citation":"1440008"},{"text":"\n\n\nFerruccio Damiani , Ina Schaefer, Dynamic delta-oriented programming, Proceedings of the 15th International Software Product Line Conference, Volume 2, August 21-26, 2011, Munich, Germany   [doi>10.1145/2019136.2019175]\n\n","citation":"2019175","doi":"http://doi.acm.org/10.1145/2019136.2019175"},{"text":"\n\n\nLuca de Alfaro , Rupak Majumdar, Quantitative solution of omega-regular games380872, Proceedings of the thirty-third annual ACM symposium on Theory of computing, p.675-683, July 2001, Hersonissos, Greece   [doi>10.1145/380752.380871]\n\n","citation":"380871","doi":"http://doi.acm.org/10.1145/380752.380871"},{"text":"\n\nT. Dinkelaker, R. Mitschke, K. Fetzer, and M. Mezini. A dynamic software product line approach using aspect models at runtime. In Proceedings of the 1st Workshop on Composition and Variability, März 2010.\n\n"},{"text":"\n\nC. Dubslaff, S. Klüppelholz, and C. Baier. Probabilistic model checking for energy analysis in software product lines. Technical report, TU Dresden, 2013.\n\n"},{"text":"\n\n\nJerzy Filar , Koos Vrieze, Competitive Markov decision processes, Springer-Verlag New York, Inc., New York, NY, 1996 \n\n","citation":"248676"},{"text":"\n\n\nDavid Gelernter , Nicholas Carriero, Coordination languages and their significance, Communications of the ACM, v.35 n.2, p.96, Feb. 1992   [doi>10.1145/129630.376083]\n\n","citation":"376083","doi":"http://doi.acm.org/10.1145/129630.376083"},{"text":"\n\n\nCarlo Ghezzi , Amir Molzam Sharifloo, Model-based verification of quantitative non-functional properties for software product lines, Information and Software Technology, v.55 n.3, p.508-524, March, 2013   [doi>10.1016/j.infsof.2012.07.017]\n\n","citation":"2433010"},{"text":"\n\nH. Gomaa and M. Hussein. Dynamic software reconfiguration in software product families. In PFE, pages 435--444, 2003.\n\n"},{"text":"\n\n\nMarcus Hähnel , Björn Döbel , Marcus Völp , Hermann Härtig, eBond: energy saving in heterogeneous R.A.I.N, Proceedings of the fourth international conference on Future energy systems, May 21-24, 2013, Berkeley, California, USA   [doi>10.1145/2487166.2487188]\n\n","citation":"2487188","doi":"http://doi.acm.org/10.1145/2487166.2487188"},{"text":"\n\n\nSvein Hallsteinsen , Mike Hinchey , Sooyong Park , Klaus Schmid, Dynamic Software Product Lines, Computer, v.41 n.4, p.93-95, April 2008   [doi>10.1109/MC.2008.123]\n\n","citation":"1399186"},{"text":"\n\n\nBoudewijn R. Haverkort, Performance of Computer Communication Systems: A Model-Based Approach, John Wiley & Sons, Inc., New York, NY, 1998 \n\n","citation":"521155"},{"text":"\n\n\nJonathan D. Hay , Joanne M. Atlee, Composing features and resolving interactions, Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications, p.110-119, November 06-10, 2000, San Diego, California, USA   [doi>10.1145/355045.355061]\n\n","citation":"355061","doi":"http://doi.acm.org/10.1145/355045.355061"},{"text":"\n\n\nAndrew Hinton , Marta Kwiatkowska , Gethin Norman , David Parker, PRISM: a tool for automatic verification of probabilistic systems, Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems, March 25-April 02, 2006, Vienna, Austria   [doi>10.1007/11691372_29]\n\n","citation":"2182053"},{"text":"\n\nK. C. Kang, S. G. Cohen, J. A. Hess,W. E. Novak, and A. S. Peterson. Feature-oriented domain analysis (foda) feasibility study. Technical report, Carnegie-Mellon University Software Engineering Institute, November 1990.\n\n"},{"text":"\n\n\nShmuel Katz, A superimposition control construct for distributed systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.2, p.337-356, April 1993   [doi>10.1145/169701.169682]\n\n","citation":"169682","doi":"http://doi.acm.org/10.1145/169701.169682"},{"text":"\n\n\nVidyadhar G. Kulkarni, Modeling and analysis of stochastic systems, Chapman & Hall, Ltd., London, UK, 1995 \n\n","citation":"280952"},{"text":"\n\n\nKenneth L. McMillan, Symbolic Model Checking, Kluwer Academic Publishers, Norwell, MA, 1993 \n\n","citation":"530225"},{"text":"\n\nJ.-V. Millo, S. Ramesh, S. N. Krishna, and G. K. Narwane. Compositional verification of software product lines. In IFM'13, volume 7940 of LNCS, pages 109--123. Springer, 2013.\n\n"},{"text":"\n\nM. Noorian, E. Bagheri, and W. Du. Non-functional properties in software product lines: A taxonomy for classification. In SEKE'12, pages 663--667. Knowledge Systems Institute Graduate School, 2012.\n\n"},{"text":"\n\nG. A. Papadopoulos and F. Arbab. Coordination models and languages. Advances in Computers, 46:329--400, 1998.\n\n"},{"text":"\n\n\nMalte Plath , Mark Ryan, Feature integration using a feature construct, Science of Computer Programming, v.41 n.1, p.53-84, September 2001   [doi>10.1016/S0167-6423(00)00018-6]\n\n","citation":"514728"},{"text":"\n\n\nMartin L. Puterman, Markov Decision Processes: Discrete Stochastic Dynamic Programming, John Wiley & Sons, Inc., New York, NY, 1994 \n\n","citation":"528623"},{"text":"\n\n\nMarko Rosenmüller , Norbert Siegmund , Sven Apel , Gunter Saake, Flexible feature binding in software product lines, Automated Software Engineering, v.18 n.2, p.163-197, June 2011   [doi>10.1007/s10515-011-0080-5]\n\n","citation":"1969280"},{"text":"\n\n\nJean-Guy Schneider , Markus Lumpe , Oscar Nierstrasz, Agent coordination via scripting languages, Coordination of Internet agents: models, technologies, and applications, Springer-Verlag, London, UK, 2001 \n\n","citation":"375912"},{"text":"\n\n\nRoberto Segala, Modeling and verification of randomized distributed real-time systems, Massachusetts Institute of Technology, Cambridge, MA, 1996 \n\n","citation":"239648"},{"text":"\n\n\nRoberto Segala , Nancy Lynch, Probabilistic simulations for probabilistic processes, Nordic Journal of Computing, v.2 n.2, p.250-273, Summer 1995 \n\n","citation":"642075"},{"text":"\n\n\nNorbert Siegmund , Marko Rosenmüller , Martin Kuhlemann , Christian Kästner , Gunter Saake, Measuring Non-Functional Properties in Software Product Line for Product Derivation, Proceedings of the 2008 15th Asia-Pacific Software Engineering Conference, p.187-194, December 03-05, 2008   [doi>10.1109/APSEC.2008.45]\n\n","citation":"1488099"},{"text":"\n\n\nNorbert Siegmund , Marko RosenmüLler , Christian KäStner , Paolo G. Giarrusso , Sven Apel , Sergiy S. Kolesnikov, Scalable prediction of non-functional properties in software product lines: Footprint and memory consumption, Information and Software Technology, v.55 n.3, p.491-507, March, 2013   [doi>10.1016/j.infsof.2012.07.020]\n\n","citation":"2433011"},{"text":"\n \n\nMahsa Varshosaz , Ramtin Khosravi, Discrete time Markov chain families: modeling and verification of probabilistic software product lines, Proceedings of the 17th International Software Product Line Conference co-located workshops, August 26-30, 2013, Tokyo, Japan   [doi>10.1145/2499777.2500725]\n\n","citation":"2500725","doi":"http://doi.acm.org/10.1145/2499777.2500725"},{"text":"\n\n\nAlexander von Rhein , Sven Apel , Christian Kästner , Thomas Thüm , Ina Schaefer, The PLA model: on the combination of product-line analyses, Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, January 23-25, 2013, Pisa, Italy   [doi>10.1145/2430502.2430522]\n\n","citation":"2430522","doi":"http://doi.acm.org/10.1145/2430502.2430522"},{"text":"\n\n\nJules White , Brian Dougherty , Doulas C. Schmidt , David Benavides, Automated reasoning for multi-step feature model configuration problems, Proceedings of the 13th International Software Product Line Conference, August 24-28, 2009, San Francisco, California \n\n","citation":"1753238"}]