[{"text":"\n\n\nSven Apel , Christian Kästner , Armin Gröβlinger , Christian Lengauer, Type safety for feature-oriented product lines, Automated Software Engineering, v.17 n.3, p.251-300, September 2010   [doi>10.1007/s10515-010-0066-8]\n\n","citation":"1825332"},{"text":"\n\n\nSven Apel , Hendrik Speidel , Philipp Wendler , Alexander von Rhein , Dirk Beyer, Detection of feature interactions using feature-aware verification, Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering, p.372-375, November 06-10, 2011   [doi>10.1109/ASE.2011.6100075]\n\n","citation":"2190192"},{"text":"\n\n\nDon Batory, Feature models, grammars, and propositional formulas, Proceedings of the 9th international conference on Software Product Lines, September 26-29, 2005, Rennes, France   [doi>10.1007/11554844_3]\n\n","citation":"2162236"},{"text":"\n\n\nThorsten Berger , Steven She , Rafael Lotufo , Andrzej Wąsowski , Krzysztof Czarnecki, Variability modeling in the real: a perspective from the operating systems domain, Proceedings of the IEEE/ACM international conference on Automated software engineering, September 20-24, 2010, Antwerp, Belgium   [doi>10.1145/1858996.1859010]\n\n","citation":"1859010","doi":"http://doi.acm.org/10.1145/1858996.1859010"},{"text":"\n\n\nEric Bodden , Társis Tolêdo , Márcio Ribeiro , Claus Brabrand , Paulo Borba , Mira Mezini, SPLLIFT: statically analyzing software product lines in minutes instead of years, Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation, June 16-19, 2013, Seattle, Washington, USA   [doi>10.1145/2491956.2491976]\n\n","citation":"2491976","doi":"http://doi.acm.org/10.1145/2491956.2491976"},{"text":"\n\n\nClaus Brabrand , Márcio Ribeiro , Társis Tolêdo , Johnni Winther , Paulo Borba, Intraprocedural dataflow analysis for software product lines, Transactions on Aspect-Oriented Software Development X, Springer-Verlag, Berlin, Heidelberg, 2013 \n\n","citation":"2554491"},{"text":"\n\n\nWontae Choi , Baris Aktemur , Kwangkeun Yi , Makoto Tatsuta, Static analysis of multi-staged programs via unstaging translation, ACM SIGPLAN Notices, v.46 n.1, January 2011   [doi>10.1145/1925844.1926397]\n\n","citation":"1926397","doi":"http://doi.acm.org/10.1145/1925844.1926397"},{"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\nPatrick Cousot, Types as abstract interpretations, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.316-331, January 15-17, 1997, Paris, France   [doi>10.1145/263699.263744] \n\n","citation":"263744","doi":"http://doi.acm.org/10.1145/263699.263744"},{"text":"\n\nP. Cousot. The calculational design of a generic abstract interpreter. In M. Broy and R. Steinbrüggen, editors, Calculational System Design. NATO ASI Series F. IOS Press, Amsterdam, 1999.\n\n"},{"text":"\n\n\nPatrick Cousot , Radhia Cousot, Systematic design of program analysis frameworks, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.269-282, January 29-31, 1979, San Antonio, Texas   [doi>10.1145/567752.567778]\n\n","citation":"567778","doi":"http://doi.acm.org/10.1145/567752.567778"},{"text":"\n\n\nPatrick Cousot , Rahida Cousot, Abstract interpretation and application to logic programs, Journal of Logic Programming, v.13 n.2-3, p.103-179, July 1992   [doi>10.1016/0743-1066(92)90030-7]\n\n","citation":"140970"},{"text":"\n\nP. Cousot and R. Cousot. Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages), invited paper. In ICCL'94, pages 95--112, Toulouse, France, May 1994.\n\n"},{"text":"\n\n\nPatrick Cousot , Radhia Cousot, Refining Model Checking by Abstract Interpretation, Automated Software Engineering, v.6 n.1, p.69-95, January 1999   [doi>10.1023/A:1008649901864]\n\n","citation":"592023"},{"text":"\n\n\nPatrick Cousot , Radhia Cousot, Temporal abstract interpretation, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.12-25, January 19-21, 2000, Boston, MA, USA   [doi>10.1145/325694.325699]\n\n","citation":"325699","doi":"http://doi.acm.org/10.1145/325694.325699"},{"text":"\n\n\n\nPatrick Cousot , Radhia Cousot , Jerôme Feret , Laurent Mauborgne , Antoine Miné , David Monniaux , Xavier Rival, The ASTREÉ analyzer, Proceedings of the 14th European conference on Programming Languages and Systems, p.21-30, April 04-08, 2005, Edinburgh, UK   [doi>10.1007/978-3-540-31987-0_3]\n\n","citation":"2140711"},{"text":"\n\n\nKrzysztof Czarnecki , Ulrich W. Eisenecker, Generative programming: methods, tools, and applications, ACM Press/Addison-Wesley Publishing Co., New York, NY, 2000 \n\n","citation":"345203"},{"text":"\n\n\nKrzysztof Czarnecki , Krzysztof Pietroszek, Verifying feature-based model templates against well-formedness OCL constraints, Proceedings of the 5th international conference on Generative programming and component engineering, October 22-26, 2006, Portland, Oregon, USA   [doi>10.1145/1173706.1173738]\n\n","citation":"1173738","doi":"http://doi.acm.org/10.1145/1173706.1173738"},{"text":"\n\n\nKrzysztof Czarnecki , Paul Grünbacher , Rick Rabiser , Klaus Schmid , Andrzej Wąsowski, Cool features and tough decisions: a comparison of variability modeling approaches, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, p.173-182, January 25-27, 2012, Leipzig, Germany   [doi>10.1145/2110147.2110167]\n\n","citation":"2110167","doi":"http://doi.acm.org/10.1145/2110147.2110167"},{"text":"\n\n\nBenjamin Delaware , William R. Cook , Don Batory, Fitting the pieces together: a machine-checked model of safe composition, Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, August 24-28, 2009, Amsterdam, The Netherlands   [doi>10.1145/1595696.1595733]\n\n","citation":"1595733","doi":"http://doi.acm.org/10.1145/1595696.1595733"},{"text":"\n\n\nBenjamin Delaware , William Cook , Don Batory, Product lines of theorems, Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications, October 22-27, 2011, Portland, Oregon, USA   [doi>10.1145/2048066.2048113]\n\n","citation":"2048113","doi":"http://doi.acm.org/10.1145/2048066.2048113"},{"text":"\n\n\nMartin Erwig , Eric Walkingshaw, The Choice Calculus: A Representation for Software Variation, ACM Transactions on Software Engineering and Methodology (TOSEM), v.21 n.1, p.1-27, December 2011   [doi>10.1145/2063239.2063245]\n\n","citation":"2063245","doi":"http://doi.acm.org/10.1145/2063239.2063245"},{"text":"\n\nA. Garrido and R. E. Johnson. Refactoring C with conditional compilation. In ASE'03, pages 323--326. IEEE Computer Society, 2003. ISBN 0-7695-2035-9.\n\n"},{"text":"\n\n\nAlejandra Garrido , Ralph Johnson, Analyzing Multiple Configurations of a C Program, Proceedings of the 21st IEEE International Conference on Software Maintenance, p.379-388, September 25-30, 2005   [doi>10.1109/ICSM.2005.23]\n\n","citation":"1091868"},{"text":"\n\n\nAlexander Gruler , Martin Leucker , Kathrin Scheidemann, Modeling and Model Checking Software Product Lines, Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, June 04-06, 2008, Oslo, Norway   [doi>10.1007/978-3-540-68863-1_8]\n\n","citation":"1424557"},{"text":"\n\nD. Guilbaud, E. Goubault, A. Pacalet, and B. S. F. Védrine. A simple abstract interpreter for threat detection and test case generation. In WAPATV'01, with ICSE'01, Toronto, 2001.\n\n"},{"text":"\n\nIBM, Thales, F. FOKUS, and TCS. Proposal for Common Variability Language (CVL) Revised Submission, 2012.\n\n"},{"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\nC. Kästner. Virtual Separation of Concerns: Toward Preprocessors 2.0. PhD thesis, University of Magdeburg, Germany, May 2010.\n\n"},{"text":"\n\n\nC. Kastner , S. Apel, Type-Checking Software Product Lines - A Formal Approach, Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, p.258-267, September 15-19, 2008   [doi>10.1109/ASE.2008.36]\n\n","citation":"1642963"},{"text":"\n\n\nChristian Kästner , Paolo G. Giarrusso , Tillmann Rendel , Sebastian Erdweg , Klaus Ostermann , Thorsten Berger, Variability-aware parsing in the presence of lexical macros and conditional compilation, Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications, October 22-27, 2011, Portland, Oregon, USA   [doi>10.1145/2048066.2048128]\n\n","citation":"2048128","doi":"http://doi.acm.org/10.1145/2048066.2048128"},{"text":"\n\n\nChristian Kästner , Sven Apel , Thomas Thüm , Gunter Saake, Type checking annotation-based product lines, ACM Transactions on Software Engineering and Methodology (TOSEM), v.21 n.3, p.1-39, June 2012   [doi>10.1145/2211616.2211617]\n\n","citation":"2211617","doi":"http://doi.acm.org/10.1145/2211616.2211617"},{"text":"\n\n\nChang Hwan Peter Kim , Eric Bodden , Don Batory , Sarfraz Khurshid, Reducing configurations to monitor in a software product line, Proceedings of the First international conference on Runtime verification, November 01-04, 2010, St. Julians, Malta \n\n","citation":"1939424"},{"text":"\n\n\nJörg Liebig , Alexander von Rhein , Christian Kästner , Sven Apel , Jens Dörre , Christian Lengauer, Scalable analysis of variable software, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, August 18-26, 2013, Saint Petersburg, Russia   [doi>10.1145/2491411.2491437]\n\n","citation":"2491437","doi":"http://doi.acm.org/10.1145/2491411.2491437"},{"text":"\n\n\nJan Midtgaard , Thomas Jensen, A Calculational Approach to Control-Flow Analysis by Abstract Interpretation, Proceedings of the 15th international symposium on Static Analysis, July 16-18, 2008, Valencia, Spain   [doi>10.1007/978-3-540-69166-2_23]\n\n","citation":"1425723"},{"text":"\n\n\nJan Midtgaard , Michael D. Adams , Matthew Might, A structural soundness proof for shivers's escape technique: a case for galois connections, Proceedings of the 19th international conference on Static Analysis, September 11-13, 2012, Deauville, France   [doi>10.1007/978-3-642-33125-1_24]\n\n","citation":"2414962"},{"text":"\n\nJ. Midtgaard, C. Brabrand, and A. Wasowski. Systematic derivation of static analyses for software product lines. Technical Report TR-2014-170, IT University of Copenhagen, 2014.\n\n"},{"text":"\n\n\nFlemming Nielson , Hanne Riis Nielson, Two-level functional languages, Cambridge University Press, New York, NY, 1992 \n\n","citation":"130665"},{"text":"\n\n\nFlemming Nielson , Hanne R. Nielson , Chris Hankin, Principles of Program Analysis, Springer-Verlag New York, Inc., Secaucus, NJ, 1999 \n\n","citation":"555142"},{"text":"\n\n\nH. Post , C. Sinz, Configuration Lifting: Verification meets Software Configuration, Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, p.347-350, September 15-19, 2008   [doi>10.1109/ASE.2008.45]\n\n","citation":"1642971"},{"text":"\n\n\nThomas Reps , Susan Horwitz , Mooly Sagiv, Precise interprocedural dataflow analysis via graph reachability, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.49-61, January 23-25, 1995, San Francisco, California, USA   [doi>10.1145/199448.199462]\n\n","citation":"199462","doi":"http://doi.acm.org/10.1145/199448.199462"},{"text":"\n\n\nIlya Sergey , Jan Midtgaard , Dave Clarke, Calculating graph algorithms for dominance and shortest path, Proceedings of the 11th international conference on Mathematics of Program Construction, June 25-27, 2012, Madrid, Spain   [doi>10.1007/978-3-642-31113-0_8]\n\n","citation":"2368310"},{"text":"\n\n\nThomas Stahl , Markus Voelter , Krzysztof Czarnecki, Model-Driven Software Development: Technology, Engineering, Management, John Wiley & Sons, 2006 \n\n","citation":"1196766"},{"text":"\n\n\nSahil Thaker , Don Batory , David Kitchin , William Cook, Safe composition of product lines, Proceedings of the 6th international conference on Generative programming and component engineering, October 01-03, 2007, Salzburg, Austria   [doi>10.1145/1289971.1289989]\n\n","citation":"1289989","doi":"http://doi.acm.org/10.1145/1289971.1289989"},{"text":"\n\nT. Thüm, S. Apel, C. Kästner, M. Kuhlemann, I. Schaefer, and G. Saake. Analysis strategies for software product lines. Technical Report FIN-004-2012, School of Computer Science, University of Magdeburg, Germany, 2012.\n\n"},{"text":"\n\n\nGlynn Winskel, The formal semantics of programming languages: an introduction, MIT Press, Cambridge, MA, 1993 \n\n","citation":"151145"}]