Publications Danny Weyns

Home - Selected Publications - 2014 - 2013 - 2012 - 2011 - 2010 - Before 2010 - PhD - Book - Edited Volumes - Google Scholar - DBLP - ACM DL

  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)

Last update: June 26, 2012 - feedback