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)
Emil Vassev and Mike Hinchey. Awareness in Software-intesive Systems. IEEE Computer, 45(12), December 2012.
Sebastian Bauer, Rolf Hennicker, and Martin Wirsing. Building a Modal Interface Theory for Concurrency and Data. In Till Mossakowski and Hans-Jörg Kreowski, editors, Recent Trends in Algebraic Development Techniques, volume 7137 of Lecture Notes in Computer Science, pages 1–12. Springer Berlin / Heidelberg, 2012.
Saddek Bensalem, Marius Bozga, Doron Peled, and Jean Quilbeuf. Knowledge Based Transactional Behavior. In Proceedings of the 8th Haifa Verification Conference (HVC'12), 2012.
Saddek Bensalem, Marius Bozga, Jean Quilbeuf, and Joseph Sifakis. Optimized Distributed Implementation of Multiparty Interactions with Observation. In Proceedings of AGERE! Workshop (SPLASH'12), 2012.
Roberto Guanciale, Roberto Bruni, Andrea Corradini, Gianluigi Ferrari, Tito Flagella, and Giorgio Spagnolo. Applying Process Analysis to the Italian eGovernment EnterpriseArchitecture. In Proceedings of WS-FM 2011, 8th International Workshop on Web Servicesand Formal Methods, volume 7176 of LNCS, pages 111–127. Springer, 2012. (doi:10.1007/978-3-642-29834-9_9)