Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari, and Marco Dorigo. Towards a Formal Verification Methodology for Collective RoboticSystems. In Proc. of the 14th International Conference on Formal EngineeringMethods (ICFEM 2012), volume 7635 of LNCS, pages 54–70. Springer, 2012. (doi:10.1007/978-3-642-34281-3_7)
Luca Bortolussi and Mirco Tribastone. Fluid Limits of Queueing Networks with Batches. In Proceedings of the third joint WOSP/SIPEW international conference on Performance Engineering, ICPE '12, pages 45–56, New York, NY, USA, 2012. ACM. (doi:10.1145/2188286.2188296)
Nora Koch, Alexander Knapp, and Sergej Kozuruba. Assessment of Effort Reduction due to Model-to-Model Transformations in the Web Domain. In Marco Brambilla, Takehiro Tokuda, and Robert Tolksdorf, editors, ICWE 2012 International Conference on Web Engineering, volume 7387 of LNCS, page 8. Springer Verlag, July 2012.
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.
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)