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)
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.