Paul Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, and Fadi Zaraket. An Abstract Framework for Deadlock Prevention in BIP. In Proc. FORTE/FMOODS. Springer, 2013. (doi:10.1007/978-3-642-38592-6_12)
Jaroslav Keznikl, Tomas Bures, Frantisek Plasil, Ilias Gerostathopoulos, Petr Hnetynka, and Nicklas Hoch. Design of ensemble-based component systems by invariant refinement. In Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, CBSE '13, pages 91–100, New York, NY, USA, 2013. ACM. (doi:10.1145/2465449.2465457)
Emil Vassev and Mike Hinchey. Knowledge-Based Self-Adaptation. In Proceedings of the 6th Latin-American Symposium on Dependable Computing (LADC 2013), 2013.
Axel Legay, Saddek Bensalem, Benoit Boyer, and Marius Bozga. Incremental Generation of Linear Invariants for Component-Based Systems. In 13th International Conference on Application of Concurrency to System Design (ACSD), pages 80–89. IEEE, 2013. (doi:10.1109/ACSD.2013.11)
Mariachiara Puviani, Giacomo Cabri, and Franco Zambonelli. A Taxonomy of Architectural Patterns for Self-adaptive Systems. In Sixth International C* Conference on Computer Science & SoftwareEngineering, pages 77–85, Porto (P), July 2013. ACM, ACM. (doi:10.1145/2494444.2494470)
Mariachiara Puviani and Regina Frei. Self-Management for Cloud Computing. In SAI conference, London (UK), October 2013. IEEE Xplore, IEEE Xplore.
Michal Malohlava, Frantisek Plasil, Tomas Bures, and Petr Hnetynka. Interoperable domain-specific languages families for code generation. Software: Practice and Experience, 43(5):479–499, 2013. (doi:10.1002/spe.2118)
Dhaminda Abeywickrama, Nicola Bicocchi, and Franco Zambonelli. SOTA: Towards a General Model for Self-Adaptive Systems. In 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, pages 48–53, Toulouse (F), June 2012. IEEE CS Press.
Dhaminda Abeywickrama and Franco Zambonelli. Model Checking Goal-oriented Requirements for Self-Adaptive Systems. In 19th IEEE Conference on the Engineering of Computer-based Systems, pages 33–42, Novi Sad, Serbia, April 2012. IEEE CS Press.
Martin Wirsing, Jonas Eckhardt, Tobias Mülbauer, and José Meseguer. Design and Analysis of Cloud-Based Architectures with KLAIM andMaude. In Proceedings of the 9th International Workshop on Rewriting Logicand its Applications (WRLA 2012), volume 7571 of LNCS, pages 54 – 82. Springer, 2012. (doi:10.1007/978-3-642-34005-5_4)