Mariachiara Puviani and Regina Frei. Self-Management for Cloud Computing. In SAI conference, London (UK), October 2013. IEEE Xplore, IEEE Xplore.
Sebastian Bauer, Rolf Hennicker, and Axel Legay. A Meta-Theory for Component Interfaces with Contracts on Ports. Science of Computer Programming, 2013. (doi:10.1016/j.scico.2013.09.013)
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)
Serge Haddad, Rolf Hennicker, and Mikael H. Møller. Specification of Asynchronous Component Systems with Modal I/O-Petri Nets. In Martin Abadi and Alberto Lluch Lafuente, editors, Trustworthy Global Computing, LNCS. Springer, 2013.
Ahlem Triki, Jacques Combaz, Saddek Bensalem, and Joseph Sifakis. Model-Based Implementation of Parallel Real-Time Systems. In FASE, Lecture Notes in Computer Science, pages 235–249. Springer, 2013. (doi:10.1007/978-3-642-37057-1_18)
Lucia Acciai and Michele Boreale. Deciding Safety Properties in Infinite-State Pi-Calculus Via BehaviouralTypes. Inf. Comput, 212:92–117, 2012. (doi:10.1016/j.ic.2012.01.006)
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.
Emil Vassev and Mike Hinchey. Efficient Reasoning with Ambient Trees for Space Exploration. In Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012), Lecture Notes of ICST (LNICST). Springer, 2012.
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)