Emil Vassev and Mike Hinchey. Awareness in Software-intesive Systems. IEEE Computer, 45(12), December 2012.
Manuele Brambilla, Carlo Pinciroli, Mauro Birattari, and Marco Dorigo. Property-driven Design for Swarm Robotics. In Vincent Conitzer, Michael Winikoff, Lin Padgham, and Wiebe van der Hoek, editors, Proceedings of 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), pages 139–146. International Foundation for Autonomous Agents and Multiagent Systems (http://www.ifaamas.org/Proceedings/aamas2012), 2012.
Nicola Capodieci and Giacomo Cabri. Coordination And Task Division In Robot Ensembles: Perimeter Sweep Case Study. In Proceedings of the 21st IEEE WETICE confreence Toulouse, France, June 2012, pages 101–103, June 2012. (doi:10.1109/WETICE.2012.22)
Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, and Ayoub Nouri. Statistical Model Checking QoS Properties of Systems with SBIP. In Tiziana Margaria and Bernhard Steffen, editors, ISoLA (1), volume 7609 of Lecture Notes in Computer Science, pages 327–341. Springer, 2012. (doi:978-3-642-34026-0_25)
Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, and Martin Wirsing. Stable Availability under Denial of Service Attacks through FormalPatterns. In 15th International Conference on Fundamentals of Software Engineering(FASE'12), volume 7212 of LNCS, pages 78–93. Springer, 2012. (doi:10.1007/978-3-642-28872-2_6)
Emil Vassev and Mike Hinchey. Knowledge Representation for Cognitive Robotic Systems. In Proceedings of the 15th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Workshops (ISCORCW 2012). IEEE Computer Society, 2012.
Emil Vassev and Mike Hinchey. Knowledge Representation with KnowLang - The marXbot Case Study. In Proceedings of the 11th IEEE International Conference on Cybernetic Intelligent Systems, pages 18–23. IEEE, 2012.
Carlo Pinciroli, Vito Trianni, Rehan O'Grady, Giovanni Pini, Arne Brutschy, Manuele Brambilla, Nithin Mathews, Eliseo Ferrante, Gianni Di Caro, Frederick Ducatelle, Luca Maria Gambardella, and Marco Dorigo. ARGoS: a modular, multi-engine simulator for heterogeneous swarmrobotics. Swarm Intelligence, 6(4):271–295, 2012.
Mariachiara Puviani. Adaptive System's Configuration in a Swarm Robotics Scenario. Awareness magazine, page 3, October 2012. (doi:10.2417/3201210.004363)
Mariachiara Puviani, Giacomo Cabri, and Regina Frei. Self-healing in Ensembles' Adaptive Collaborative Patterns. In 1st International Conference on Through-life Engineering Services (TESConf 2012), November 2012.