[{"text":"\n\n\nJianyin Zhang , Fangchun Yang , Sen Su, Detecting the web services feature interactions, Proceedings of the 7th international conference on Web Information Systems, October 23-25, 2006, Wuhan, China\n\n\n","citation":"2080005"},{"text":"\n\n\nDeepak D'Souza , Madhu Gopinathan, Conflict-Tolerant Features, Proceedings of the 20th international conference on Computer Aided Verification, July 07-14, 2008, Princeton, NJ, USA\n\n\n","citation":"1427812"},{"text":"\n\n\nJean-Charles Grégoire, On embedded real time media communications, Proceedings of the 1st Workshop on All-Web Real-Time Systems, p.1-4, April 21-21, 2015, Bordeaux, France\n\n\n","citation":"2749224"},{"text":"\n\n\nUrooj Fatima , Rolv Bræk , Humberto Nicolás Castejón, Session initiation as a service, Proceedings of the 15th international conference on Integrating System and Software Modeling, July 05-07, 2011, Toulouse, France\n\n\n","citation":"2188590"},{"text":"\n\n\nMichael Weiss , Babak Esfandiari , Yun Luo, Towards a classification of web service feature interactions, Proceedings of the Third international conference on Service-Oriented Computing, December 12-15, 2005, Amsterdam, The Netherlands\n\n\n","citation":"2113877"},{"text":"\n\n\nCarl B. Adekunle , Steve Schneider, Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin, Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking, p.136-151, September 21-24, 1999\n\n\n","citation":"672073"},{"text":"\n\n\nJianyin Zhang , Fangchun Yang , Kai Shuang , Sen Su, Immune-Inspired Online Method for Service Interactions Detection, Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science, January 20-26, 2007, Harrachov, Czech Republic\n\n\n","citation":"1417240"},{"text":"\n\n\nMasahide Nakamura , Pattara Leelaprute , Ken-ichi Matsumoto , Tohru Kikuno, On detecting feature interactions in the programmable service environment of internet telephony, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.45 n.5, p.605-624, 5 August 2004\n\n\n","citation":"1031820"},{"text":"\n\n\nDaniel Amyot , Luigi Logrippo, Guest editorial: directions in feature interaction research, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.45 n.5, p.563-567, 5 August 2004\n\n\n","citation":"1031817"},{"text":"\n\n\nM. Kolberg , J. F. Buford , K. Dhara , X. Wu , V. Krishnaswamy, Managing distributed feature interactions in enterprise SIP application servers, Proceedings of the 2009 IEEE international conference on Communications, p.1459-1464, June 14-18, 2009, Dresden, Germany\n\n\n","citation":"1817542"},{"text":"\n\n\nMario Kolberg , Evan H. Magill, A pragmatic approach to service interaction filtering between call control services, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.38 n.5, p.591-602, 5 April 2002\n\n\n","citation":"590601"},{"text":"\n\n\nAnahita Gouya , Noël Crespi, Detection and resolution of feature interactions in IP multimedia subsystem, International Journal of Network Management, v.19 n.4, p.315-337, July 2009\n\n\n","citation":"1569730"},{"text":"\n\n\nMuffy Calder , Evan Magill , Stephan Reiff-Marganiec , Vijeyananthan Thayananthan, Theory and practice of enhancing a legacy software system, Systems engineering for business process change: new directions, Springer-Verlag New York, Inc., New York, NY, 2002\n\n\n","citation":"763021"},{"text":"\n\n\nDeepak D'Souza , Madhu Gopinathan , S. Ramesh , Prahladavaradan Sampath, Supervisory control for real-time systems based on conflict-tolerant controllers, Proceedings of the fifth annual IEEE international conference on Automation science and engineering, p.555-560, August 22-25, 2009, Bangalore, India\n\n\n","citation":"1671872"},{"text":"\n\n\nPaola Inverardi , Marco Mori, Model checking requirements at run-time in adaptive systems, Proceedings of the 8th workshop on Assurances for self-adaptive systems, September 04-04, 2011, Szeged, Hungary\n\n\n","citation":"2024439"},{"text":"\n\n\nDmitry Beloglazov , Valery Nepomniaschy, A two-level approach for modeling and verification of telecommunication systems, Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics, June 15-19, 2009, Novosibirsk, Russia\n\n\n","citation":"2174776"},{"text":"\n\n\nAlma L. Juarez-Dominguez , Nancy A. Day , Jeffrey J. Joyce, Modelling feature interactions in the automotive domain, Proceedings of the 2008 international workshop on Models in software engineering, May 10-11, 2008, Leipzig, Germany\n\n \n","citation":"1370743"},{"text":"\n\n\nHenner Jakob , Charles Consel , Nicolas Loriant, Architecturing conflict handling of pervasive computing resources, Proceedings of the 11th IFIP WG 6.1 international conference on Distributed applications and interoperable systems, p.92-105, June 06-09, 2011, Reykjavik, Iceland\n\n\n","citation":"2022098"},{"text":"\n\n\nValery Nepomniaschy , Dmitry Beloglazov , Tatiana Churina , Mikhail Mashukov, Using coloured petri nets to model and verify telecommunications systems, Proceedings of the 3rd international conference on Computer science: theory and applications, June 07-12, 2008, Moscow, Russia\n\n\n","citation":"1813735"},{"text":"\n\n\nAndré L. L. de Figueiredo , Wilkerson L. Andrade , Patrícia D. L. Machado, Generating interaction test cases for mobile phone systems from use case specifications, ACM SIGSOFT Software Engineering Notes, v.31 n.6, November 2006\n\n\n","citation":"1218788"},{"text":"\n\n\nJesús Bisbal , Betty H. C. Cheng, Resource-based approach to feature interaction in adaptive software, Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, p.23-27, October 31-November 01, 2004, Newport Beach, California\n\n\n","citation":"1075410"},{"text":"\n\n\nDaniel Hoffman , Chien-Hsing Chang , Gary Bazdell , Brett Stevens , Kevin Yoo, Bad pairs in software testing, Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques, September 03-05, 2010, Windsor, UK\n\n\n","citation":"1885938"},{"text":"\n\n\nMario Kolberg , Evan H. Magill, Managing feature interactions between distributed SIP call control services, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.51 n.2, p.536-557, February, 2007\n\n\n","citation":"1219638"},{"text":"\n\n\nMarco Mori , Fei Li , Christoph Dorn , Paola Inverardi , Schahram Dustdar, Leveraging state-based user preferences in context-aware reconfigurations for self-adaptive systems, Proceedings of the 9th international conference on Software engineering and formal methods, November 14-18, 2011, Montevideo, Uruguay\n\n\n","citation":"2075701"},{"text":"\n\n\nM. Weiss , B. Esfandiari , Y. Luo, Towards a classification of web service feature interactions, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.51 n.2, p.359-381, February, 2007\n\n\n","citation":"1219629"},{"text":"\n\n\nAna R. Cavalli , Stéphane Maag, A New Algorithm for Service Interaction Detection, Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering, p.371-382, October 21-25, 2002\n\n\n","citation":"685801"},{"text":"\n\n\nValery A. Nepomniaschy , Gennady I. Alekseev , Victor S. Argirov , Dmitri M. Beloglazov , Alexander V. Bystrov , Eugene A. Chetvertakov , Tatiana G. Churina , Sergey P. Mylnikov , Ruslan M. Novikov, Application of modified coloured petri nets to modeling and verification of SDL specified communication protocols, Proceedings of the Second international conference on Computer Science: theory and applications, p.303-314, September 03-07, 2007, Ekaterinburg, Russia\n\n\n","citation":"2391941"},{"text":"\n\n\nLouise Lorentsen , Antti-Pekka Tuovinen , Jianli Xu, Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets, Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets, p.294-313, June 24-30, 2002\n\n\n","citation":"734244"},{"text":"\n\n\nMartin Glinz, Problems and Deficiencies of UML as a Requirements Specification Language, Proceedings of the 10th International Workshop on Software Specification and Design, p.11, November 05-07, 2000\n\n\n","citation":"857222"},{"text":"\n\n\nAmy P. Felty , Kedar S. Namjoshi, Feature specification and automated conflict detection, ACM Transactions on Software Engineering and Methodology (TOSEM), v.12 n.1, p.3-27, January 2003\n\n\n","citation":"839270"},{"text":"\n\n\nAtif Alvi , Zubair Nabi , David Greaves , Rashid Mehmood, Controlling real world pervasive environments with knowledge bases, Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part IV, September 08-10, 2010, Cardiff, UK\n\n\n","citation":"1894041"},{"text":"\n\n\nM. Kolberg , J. F. Buford , K. Dhara , X. Wu , V. Krishnaswamy, Feature interaction in a federated communications-enabled collaboration platform, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.57 n.12, p.2410-2428, August, 2013\n\n\n","citation":"2508298"},{"text":"\n\n\nFerhat Khendek , Tong Zheng, Modeling and analysis of value added services using message sequence charts, Journal of Network and Computer Applications, v.31 n.3, p.338-356, August, 2008\n\n\n","citation":"1365458"},{"text":"\n\n\nMoshood Omolade Saliu , Guenther Ruhe, Bi-objective release planning for evolving software systems, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, September 03-07, 2007, Dubrovnik, Croatia\n\n\n","citation":"1287641"},{"text":"\n\n\nEmmanuel Bertin , Noel Crespi, Describing Next Generation Communication Services: A Usage Perspective, Proceedings of the 1st European Conference on Towards a Service-Based Internet, December 10-13, 2008, Madrid, Spain\n\n\n","citation":"1504913"},{"text":"\n\n\nXiaotao Wu , John Buford , Kishore Dhara , Venky Krishnaswamy , Mario Kolberg, Feature interactions between internet services and telecommunication services, Proceedings of the 3rd International Conference on Principles, Systems and Applications of IP Telecommunications, July 07-08, 2009, Atlanta, Georgia\n\n\n","citation":"1595651"},{"text":"\n\n\nFrans Sanen , Eddy Truyen , Wouter Joosen, Managing concern interactions in middleware, Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems, June 06-08, 2007, Paphos, Cyprus\n\n\n","citation":"1776160"},{"text":"\n\n\nKathi Fisler , Shriram Krishnamurthi, Decomposing Verification Around End-User Features, Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions, Springer-Verlag, Berlin, Heidelberg, 2005\n\n\n","citation":"1417083"},{"text":"\n\n\nPaola Inverardi , Marco Mori, Feature oriented evolutions for context-aware adaptive systems, Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE), September 20-21, 2010, Antwerp, Belgium\n\n\n","citation":"1862394"},{"text":"\n\n\nWes Masri , Andy Podgurski, Algorithms and tool support for dynamic information flow analysis, Information and Software Technology, v.51 n.2, p.385-404, February, 2009\n\n\n","citation":"1466077"},{"text":"\n\n\nV. A. Nepomniaschy , V. S. Argirov , D. M. Beloglazov , A. V. Bystrov , E. A. Chetvertakov , T. G. Churina, Modeling and verification of the SDL-specified communication protocols using high-level Petri nets, Programming and Computing Software, v.34 n.6, p.330-340, November 2008\n\n\n","citation":"1466724"},{"text":"\n\n\nTom Dinkelaker , Mira Mezini , Christoph Bockisch, The art of the meta-aspect protocol, Proceedings of the 8th ACM international conference on Aspect-oriented software development, March 02-06, 2009, Charlottesville, Virginia, USA\n\n\n","citation":"1509248"},{"text":"\n\n\nColin Blundell , Kathi Fisler , Shriram Krishnamurthi , Pascal Van Hentenryck, Parameterized Interfaces for Open System Verification of Product Lines, Proceedings of the 19th IEEE international conference on Automated software engineering, p.258-267, September 20-24, 2004\n\n\n","citation":"1025224"},{"text":"\n\n\nEmmanuel Bertin , Imen Ben Yahia , Noel Crespi, Modeling IMS services, Journal of Mobile Multimedia, v.3 n.2, p.150-167, June 2007\n\n\n","citation":"2010545"},{"text":"\n\n\nFrans Sanen , Eddy Truyen , Wouter Joosen, Mapping problem-space to solution-space features: a feature interaction approach, ACM SIGPLAN Notices, v.45 n.2, February 2010\n\n\n","citation":"1621633"},{"text":"\n\n\nMarco Mori, A software lifecycle process for context-aware adaptive systems, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, September 05-09, 2011, Szeged, Hungary\n\n\n","citation":"2025177"},{"text":"\n\n\nHarry C. Li , Kathi Fisler , Shriram Krishnamurthi, The Influence of Software Module Systems on Modular Verification, Proceedings of the 9th International SPIN Workshop on Model Checking of Software, p.60-78, April 11-13, 2002\n\n\n","citation":"672228"},{"text":"\n\n\nHarry C. Li , Shriram Krishnamurthi , Kathi Fisler, Modular Verification of Open Features Using Three-Valued Model Checking, Automated Software Engineering, v.12 n.3, p.349-382, July 2005\n\n\n","citation":"1072956"},{"text":"\n\n\nDominique Cansell , Dominique Méry, Playing with Abstraction and Refinement for Managing Features Interactions, Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B, p.148-167, August 29-September 02, 2000\n\n\n","citation":"722954"},{"text":"\n\n\nHarry Li , Shriram Krishnamurthi , Kathi Fisler, Verifying cross-cutting features as open systems, Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering, November 18-22, 2002, Charleston, South Carolina, USA\n\n\n","citation":"587066"},{"text":"\n\n\nHarry Li , Shriram Krishnamurthi , Kathi Fisler, Verifying cross-cutting features as open systems, ACM SIGSOFT Software Engineering Notes, v.27 n.6, November 2002\n\n\n","citation":"605481"},{"text":"\n\n\nAndreas Metzger, Feature interactions in embedded control systems, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.45 n.5, p.625-644, 5 August 2004\n\n\n","citation":"1031821"},{"text":"\n\n\nAxel van Lamsweerde , Emmanuel Letier, Handling Obstacles in Goal-Oriented Requirements Engineering, IEEE Transactions on Software Engineering, v.26 n.10, p.978-1005, October 2000\n\n\n","citation":"357521"},{"text":"\n\n\nArmstrong Nhlabatsi , Bashar Nuseibeh , Yijun Yu, Security Requirements Engineering for Evolving Software Systems: A Survey, International Journal of Secure Software Engineering, v.1 n.1, p.54-73, January 2010\n\n\n","citation":"2605643"},{"text":"\n\n\nMuffy Calder , Mario Kolberg , Evan H. Magill , Stephan Reiff-Marganiec, Feature interaction: a critical review and considered forecast, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.41 n.1, p.115-141, 15 January 2003\n\n\n","citation":"638308"},{"text":"\n\n\nIna Schaefer , Rick Rabiser , Dave Clarke , Lorenzo Bettini , David Benavides , Goetz Botterweck , Animesh Pathak , Salvador Trujillo , Karina Villela, Software diversity: state of the art and perspectives, International Journal on Software Tools for Technology Transfer (STTT), v.14 n.5, p.477-495, October 2012\n\n\n","citation":"3116006"},{"text":"\n\n\nWilliam N. Robinson , Suzanne D. Pawlowski , Vecheslav Volkov, Requirements interaction management, ACM Computing Surveys (CSUR), v.35 n.2, p.132-190, June 2003\n\n\n","citation":"857079"}]