References of the ESEEPS Project


  1. D. Kahneman (2011). Thinking fast and slow . Allen Lane

Spatial Logic and Reasoning

  1. T. Dong (2008). A Comment on RCC: from RCC to RCC++ . Journal of Philosophical Logic, 37(4):319-352
  2. T. Dong (2012). Recognizing Variable Environment -- The Theory of Cognitive Prism. . Springer-Verlag Berlin Heidelberg. 2012

Software Engineering

  1. M. Salehie and L. Tahvildari. (2009). Self-adaptive software: Landscape and research challenges . In: ACM Trans. Auton. Adapt. Syst. 4(2) pp. 14:1--14:42.
  2. R. de Lemos, et al. (2013). Software Engineering for Self-Adaptive Systems: A Second Research Roadmap . In Software Engineering for Self-Adaptive Systems II, Lecture Notes In Computer Science, Vol. 7475. Springer-Verlag, 1-32.
  3. B. Cheng, et al. (2009).Software Engineering for Self-Adaptive Systems: A Research Roadmap . In Software Engineering for Self-Adaptive Systems, Lecture Notes In Computer Science, Vol. 5525. Springer-Verlag, 1-26.
  4. D. Weyns, et al. (2012). Introduction to the special issue on state of the art in engineering self-adaptive systems . J. Syst. Softw. 85(12):2675-2677.
  5. D. Garlan (2013). A 10-Year Perspective on Software Engineering Self-Adaptive Systems .Keynote on SEAMS 2013.
  6. A. Metzer, et al. (2010). Towards Proactive Adaptation with Confidence Augmenting Service Monitoring with Online Testing .In Proc. SEAMS '10
  7. F. Salfner, et al. (2010). A Survey of Online Failure Prediction Methods .ACM Computing Surveys, 42(3)
  8. P. Leitner, et al. (2010).Monitoring, Prediction and Prevention of SLA Violations in Composite Services . In Proc. ICWS '10.
  9. G. Salvaneschi, et al. (2012).Context-oriented programming: A software engineering perspective . J. Syst. Softw. 85(8):1801-1817
  10. L. Capra, et al. (2003).CARISMA: Context-aware reflective middleware system for mobile applications . IEEE Trans Softw. Eng. 29: 929–945
  11. D. Garlan, et al. (2004).Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure . IEEE Computer, 37(10)
  12. N. Gui, et al. (2001).Toward architecture-based context-aware deployment and adaptation . J. Syst. Softw. 84(2):185-197
  13. 吕建, 马晓星, 陶先平, 等. (2013).面向网构软件的环境显式化技术 . 中国科学: 信息科学, 2013, 43: 1–23
  14. J. Kramer and J. Magee (1990).The evolving philosophers problem: Dynamic change management . IEEE Transactions on Software Engineering, 16(11)
  15. Y. Vandewoude et al. (2007).Tranquility: A low disruptive alternative to quiescence for ensuring safe dynamic updates . IEEE Transactions on Software Engineering, 33(12)
  16. G. J. Buban, et al.(2004).Patching of in-use function on a running computer system . United States Patent Application Publication US 2004/0107416 A1, Microsoft Corporation, Redmond WA, June 2004.
  17. I. Neamtiu, et al. (2008).Contextual effects for version-consistent dynamic software updating and safe concurrent programming .In Proc. POPL '08.
  18. X. Ma, et al, (2011).Version-consistent dynamic reconfiguration of component-based distributed systems .In Proceedings of the 19th ACM SigSoft Symposium on Foundations of Software Engineering. (FSE ’11)
  19. C. Xu, et al (2013).Environment rematching: Toward dependability improvement for self-adaptive applications . In Proc. ASE ’13
  20. T. Gu, et al. (2012).Javelus: A Low Disruptive Approach to Dynamic Software Updates . In Proc. APSEC ’12
  21. P. Su, et al. (2013).Automated Management of Dynamic Component Dependency for Runtime System Reconfiguration . In Proc. APSEC ’13
  22. R. Calinescu, et al. (2012).Self-adaptive software needs quantitative verification at runtime . Commun. ACM 55(9):69-77
  23. N. Esfahani, et al. (2011).Taming uncertainty in self-adaptive software . In Proc. FSE '11
  24. T. Chen, et al. (2012).Playing Stochastic Games Precisely . In Proc. CUNCUR ’12
  25. Q.-L. Yang, et al. (2013).Fuzzy Self-Adaptation of Mission-Critical Software under Uncertainty . J. Comp. Sci. Tech. 28(1):165-187
  26. G. Tamura, et al. (2012).Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems . In:Software Engineering for Self-Adaptive Systems 2, Dagstuhl Seminar. Springer
  27. O. Maler (2010).On the Krohn-Rhodes Cascaded Decomposition Theorem . In Time for Verification, LNCS 6200. Springer
  28. R. Giguette (2006).Building objects out of Plato: applying philosophy, symbolism, and analogy to software design . Commun. ACM, 49:66–71
  29. E. Rayside and G. Campbell (2013).An Aristotelian understanding of object-oriented programming . In: Proc. OOPSLA ’00