Emil Vassev, Mike Hinchey, and Benoit Gaudin. Knowledge Representation for Self-Adaptive Behavior. In Proceedings of C* Conference on Computer Science & Software Engineering (C3S2E '12), pages 113–117. ACM, 2012.
Diego Latella, Mieke Massink, and Erik de Vink. Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages. In Ulrike Golas and Thomas Soboll, editors, Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, volume 93 of EPTSC, pages 23 – 43, Tallinn, Estonia, 2012. EPTCS. (doi:10.4204/EPTCS.93.2)
Mieke Massink, Manuele Brambilla, Diego Latella, Marco Dorigo, and Mauro Birattari. Analysing Robot Swarm Decision-making with Bio-PEPA. Technical Report TR/IRIDIA/2012-005, Universitè Libre de Bruxelles - IRIDIA, April 2012. Extended version of paper presented at ANTS 2012 (Bruxelles, Sept. 2012).
Mieke Massink, Manuele Brambilla, Diego Latella, Marco Dorigo, and Mauro Birattari. Analysing Robot Swarm Decision-Making with Bio-PEPA. In Marco Dorigo, Mauro Birattari, Christian Blum, Anders Lyhne Christensen, Andries Petrus Engelbrecht, Roderich Groß, and Thomas Stützle, editors, Swarm Intelligence - 8th International Conference, ANTS 2012, volume 7461 of LNCS, pages 25–36, Brussels, Belgium, September 2012. Springer. (doi:10.1007/978-3-642-32650-9_3)
Mieke Massink, Diego Latella, Andrea Bracciali, Michael Harrison, and Jane Hillston. Scalable context-dependent analysis of emergency egress models. Formal Aspects of Computing. The International Journal of FormalMethods, 24(2):267–302, 2012. (doi:10.1007/s00165-011-0188-1)
Mieke Massink and Diego Latella. Fluid Analysis of Foraging Ants. In Marjan Sirjani, editor, Coordination Models and Languages (COORDINATION 2012), volume 7274 of LNCS, pages 152–165. Springer-Verlag, June 2012. (doi:10.1007/978-3-642-30829-1_11)
Philip Mayer and Andreas Schroeder. Cross-Language Code Analysis and Refactoring. In 12th IEEE International Working Conference on Source Code Analysis and Manipulation, September 2012.
Marianne Busch, Nora Koch, Massimiliano Masi, Rosario Pugliese, and Francesco Tiezzi. Towards Model-Driven Development of Access Control Policies forWeb Applications. In Workshops MoDELS 2012, page Article No. 4. ACM, September 2012. (doi:10.1145/2422498.2422502)
Ugo Montanari and Matteo Sammartino. Network Conscious pi-calculus: a Concurrent Semantics. Electronic Notes in Theoretical Computer Science, 286:291–306, 2012. (doi:10.1016/j.entcs.2012.08.019)
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.