Selection Publications 2012

• D. Weyns, U. Iftikhar, D. Gil de la Iglesia, T. Ahmad, A Survey of Formal Methods in Self-Adaptive Systems, Fifth International C* Conference on Computer Science and Software Engineering, 2012 (PDF)
• J. Juziuk, D. Weyns, T. Holvoet, Design Patterns for Multi-Agent Systems: A Systematic Literature Review, Research Directions in Agent-Oriented Software Engineering, Springer (draft)
• U. Iftikhar and D. Weyns, A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System, Foundations of Coordination Languages and Self Adaptation, FOCLASA 2012 (PDF)
• D. Gil de la Iglesia and D. Weyns, Enhancing Software Qualities in Multi-Agent Systems using Self-Adaptation, European Workshop on Multi-Agent Systems, EUMAS 2012 (PDF)
• D. Weyns, Towards an Integrated Approach for Validating Qualities of Self-Adaptive Systems, ACM Workshop on Dynamic Analysis, WODA 2012 (PDF)
• N. Abbas, J. Andersson, D. Weyns, Modeling Variability in Product Lines Using Domain Quality Attribute Scenarios, International Workshop on Variability in Software Architecture, VARSA 2012 (PDF)
• D. Weyns, U. Iftikhar, S. Malek, J. Andersson, Claims and Supporting Evidence for Self-Adaptive Systems: A Literature Study, Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2012 (PDF)
• D. Weyns, S. Malek, J. Andersson, FORMS: Unifying Reference Model for Formal Specification of Distributed Self-Adaptive Systems, ACM Transactions on Autonomous and Adaptive Systems, TAAS, 7(1), 2012 (PDF)