[{"text":"\n\n\nNarges Khakpour , Saeed Jalili , Carolyn Talcott , Marjan Sirjani , Mohammad Reza Mousavi, PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems, Electronic Notes in Theoretical Computer Science (ENTCS), 263, p.129-143, June, 2010\n\n\n","citation":"1814798"},{"text":"\n\n\nNarges Khakpour , Ramtin Khosravi , Marjan Sirjani , Saeed Jalili, Formal analysis of policy-based self-adaptive systems, Proceedings of the 2010 ACM Symposium on Applied Computing, March 22-26, 2010, Sierre, Switzerland\n\n\n","citation":"1774613"},{"text":"\n\n\nIna Schaefer , Arnd Poetzsch-Heffter, Model-based verification of adaptive embedded systems under environment constraints, ACM SIGBED Review, v.6 n.3, October 2009\n\n\n","citation":"1851351"},{"text":"\n\n\nMaxime Cordy , Pierre-Yves Schobbens , Patrick Heymans , Axel Legay, Towards an incremental automata-based approach for software product-line model checking, Proceedings of the 16th International Software Product Line Conference, September 02-07, 2012, Salvador, Brazil\n\n\n","citation":"2364425"},{"text":"\n\n\nS. Andova , L. P. J. Groenewegen , E. P. De Vink, Towards dynamic adaptation of probabilistic systems, Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation, October 18-21, 2010, Heraklion, Crete, Greece\n\n\n","citation":"1939367"},{"text":"\n\n\nNarges Khakpour , Marjan Sirjani , Ursula Goltz, Context-based behavioral equivalence of components in self-adaptive systems, Proceedings of the 13th international conference on Formal methods and software engineering, October 26-28, 2011, Durham, UK\n\n\n","citation":"2075095"},{"text":"\n\n\nSomayeh Malakuti, Detecting Emergent Interference in Integration of Multiple Self-Adaptive Systems, Proceedings of the 2014 European Conference on Software Architecture Workshops, August 25-29, 2014, Vienna, Austria\n\n\n","citation":"2642826"},{"text":"\n\n\nS. Andova , L. P. J. Groenewegen , E. P. de Vink, Distributed adaption of dining philosophers, Proceedings of the 7th international conference on Formal Aspects of Component Software, p.125-144, October 14-16, 2010, Guimarães, Portugal\n\n\n","citation":"2187585"},{"text":"\n\n\nLeah Mutanu , Gerald Kotonya, A self-learning approach for validation of runtime adaptation in service-oriented systems, Service Oriented Computing and Applications, v.12 n.1, p.11-24, March 2018\n\n\n","citation":"3211481"},{"text":"\n\n\nValerio Panzica La Manna , Joel Greenyer , Carlo Ghezzi , Christian Brenner, Formalizing correctness criteria of dynamic updates derived from specification changes, Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 20-21, 2013, San Francisco, CA, USA\n\n\n","citation":"2487349"},{"text":"\n\n\nValerio Panzica La Manna , Joel Greenyer , Carlo Ghezzi , Christian Brenner, Formalizing correctness criteria of dynamic updates derived from specification changes, Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 20-21, 2013, San Francisco, California\n\n\n","citation":"2663559"},{"text":"\n\n\nTariq M. King , Andrew A. Allen , Rodolfo Cruz , Peter J. Clarke, Safe runtime validation of behavioral adaptations in autonomic software, Proceedings of the 8th international conference on Autonomic and trusted computing, September 02-04, 2011, Banff, Canada\n\n\n","citation":"2035705"},{"text":"\n\n\nM. Usman Iftikhar , Danny Weyns, ActivFORMS: active formal models for self-adaptation, Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, June 02-03, 2014, Hyderabad, India\n\n\n","citation":"2593944"},{"text":"\n\n\nEthan T. McGee , John D. McGregor, Using dynamic adaptive systems in safety-critical domains, Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 14-22, 2016, Austin, Texas\n\n\n","citation":"2897062"},{"text":"\n\n\nYasuyuki Tahara , Akihiko Ohsuga , Shinichi Honiden, Formal verification of dynamic evolution processes of UML models using aspects, Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 20-28, 2017, Buenos Aires, Argentina\n\n\n","citation":"3105531"},{"text":"\n\n\nLuqi Luqi , Grant Jacoby, Testing adaptive probabilistic software components in cyber systems, Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems, p.228-238, March 31-April 02, 2010, Redmond, WA\n\n\n","citation":"2023024"},{"text":"\n\n\nAndres J. Ramirez , David B. Knoester , Betty H.C. Cheng , Philip K. McKinley, Applying genetic algorithms to decision making in autonomic computing systems, Proceedings of the 6th international conference on Autonomic computing, June 15-19, 2009, Barcelona, Spain\n\n\n","citation":"1555258"},{"text":"\n\n\nMila Dalla Preda , Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Jacopo Mauro, Developing correct, distributed, adaptive software, Science of Computer Programming, v.97 n.P1, p.41-46, January 2015\n\n\n","citation":"2841708"},{"text":"\n\n\nAndres J. Ramirez , David B. Knoester , Betty H. Cheng , Philip K. Mckinley, Plato: a genetic algorithm approach to run-time reconfiguration in autonomic computing systems, Cluster Computing, v.14 n.3, p.229-244, September 2011\n\n\n","citation":"2036415"},{"text":"\n\n\nNarges Khakpour , Saeed Jalili , Carolyn Talcott , Marjan Sirjani , Mohammadreza Mousavi, Formal modeling of evolving self-adaptive systems, Science of Computer Programming, v.78 n.1, p.3-26, November, 2012\n\n\n","citation":"2378171"},{"text":"\n\n\nDidac Gil De La Iglesia , Danny Weyns, MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems, ACM Transactions on Autonomous and Adaptive Systems (TAAS), v.10 n.3, p.1-31, October 2015\n\n\n","citation":"2724719"},{"text":"\n\n\nEmanuela Merelli , Nicola Paoletti , Luca Tesei, Adaptability checking in complex systems, Science of Computer Programming, v.115 n.C, p.23-46, January 2016\n\n\n","citation":"2870139"},{"text":"\n\n\nWeishan Zhang , Klaus Marius Hansen , Mads Ingstrup, A hybrid approach to self-management in a pervasive service middleware, Knowledge-Based Systems, 67, p.143-161, September, 2014\n\n\n","citation":"2658102"},{"text":"\n\n\nS. Andova , L.P.J. Groenewegen , E.P. de Vink, Dynamic adaptation with distributed control in Paradigm, Science of Computer Programming, v.94 n.P3, p.333-361, November 2014\n\n\n","citation":"2724342"},{"text":"\n\n\nYongwang Zhao , Zhuqing Li , Hualei Shen , Dianfu Ma, Development of global specification for dynamically adaptive software, Computing, v.95 n.9, p.785-816, September 2013\n\n\n","citation":"2584901"},{"text":"\n\n\nNarges Khakpour , Saeed Jalili , Marjan Sirjani , Ursula Goltz , Bahareh Abolhasanzadeh, HPobSAM for modeling and analyzing IT Ecosystems - Through a case study, Journal of Systems and Software, v.85 n.12, p.2770-2784, December, 2012\n\n\n","citation":"2381590"},{"text":"\n\n\nHuai Wang , W. K. Chan , T. H. Tse, Improving the Effectiveness of Testing Pervasive Software via Context Diversity, ACM Transactions on Autonomous and Adaptive Systems (TAAS), v.9 n.2, p.1-28, July 2014\n\n\n","citation":"2620000"},{"text":"\n\n\nHolger Giese , Leen Lambers , Basil Becker , Stephan Hildebrandt , Stefan Neumann , Thomas Vogel , Sebastian Wätzoldt, Graph transformations for MDE, adaptation, and models at runtime, Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering, p.137-191, June 18-23, 2012, Bertinoro, Italy\n\n\n","citation":"2367353"},{"text":"\n\n\nMarjan Sirjani , Mohammad Mahdi Jaghoori, Ten years of analyzing actors: Rebeca experience, Formal modeling: actors, open systems, biological systems, Springer-Verlag, Berlin, Heidelberg, 2011\n\n\n","citation":"2074596"}]