Liliana D'Errico and Michele Loreti. Context Aware Specification and Verification of Distributed Systems. In R. Bruni and Vladimiro Sassone, editors, Trustworthy Global Computing - 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers., volume 7173 of Lecture Notes in Computer Science, pages 142–159. Springer, 2012. (doi:10.1007/978-3-642-30065-3_9)
Marco Dorigo. Swarm Intelligence research at IRIDIA, Université Libre de Bruxelles. Mathware & Soft Computing, 19(2):19–22, 2012.
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. Efficient Space Exploration through Laziness. In Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012), Lecture Notes of ICST (LNICST). Springer, 2012.
Massimiliano Masi, Rosario Pugliese, and Francesco Tiezzi. Formalisation and Implementation of the XACML Access Control Mechanism. In G. Barthe, B. Livshits, and R. Scandariato, editors, Proc. of the 4th International Symposium on Engineering Secure Softwareand Systems (ESSoS'12), volume 7159 of LNCS, pages 60–74. Springer, 2012. (doi:10.1007/978-3-642-28166-2_7)
Sebastian Bauer, Rolf Hennicker, and Axel Legay. Component Interfaces with Contracts on Ports. In Corina Pasareanu and Gwen Salaun, editors, Proc. Formal Aspects of Computing, 2012.
Eliseo Ferrante, W Sun, Ali Emre Turgut, Marco Dorigo, Mauro Birattari, and Tom Wenseleers. Self-organized Flocking with Conflicting Goal Directions. In ECCS'2012, European Conference on Complex Systems, 2012.
Eliseo Ferrante, Ali Emre Turgut, Cristian Huepe Minoletti, Alessandro Stranieri, Carlo Pinciroli, and Marco Dorigo. Self-Organized Flocking with a Mobile Robot Swarm: a Novel Motion Control Method. Adaptive Behavior, 20(6):460–477, 2012. (doi:10.1177/1059712312462248)
Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, and Francesco Tiezzi. Modeling Adaptation with Klaim. Applied Computing Review, 12(4):21–35, 2012. (doi:10.1145/2432546.2432548)
Rolf Hennicker and Matthias Ludwig. View-Based Development of a Simulation Framework for Multi-disciplinary Environmental Modelling. In Radu Calinescu and David Garlan, editors, Proc. 17th Int. Wsh. Monterey. Development, Operation and Management of Large-Scale Complex IT Systems (Monterey'12), volume 7539 of Lect. Notes Comp. Sci., pages 224–250. Springer, Berlin, 2012. (To appear). (doi:10.1007/978-3-642-34059-8_12)