Mieke Massink, Diego Latella, Andrea Bracciali, and Jane Hillston. Modelling Non-linear Crowd Dynamics in Bio-PEPA. In Dimitra Giannakopoulou and Fernando Orejas, editors, Fundamental Approaches to Software Engineering (FASE 2011), volume 6603 of LNCS, pages 96–110. Springer-Verlag, May 2011. (doi:10.1007/978-3-642-19811-3_8)
Massimiliano Masi, Rosario Pugliese, and Francesco Tiezzi. A Standard-Driven Communication Protocol for Disconnected Clinicsin Rural Areas. In George Demiris and Kendall Ho, editors, Proc. of HEALTHCOM 2011, pages 304–311. IEEE, 2011. (doi:10.1109/HEALTH.2011.6026770)
Max Tschaikowski and Mirco Tribastone. Refined Theory of Packages. In Tenth Workshop on Process Algebra and Stochastically Timed Activities, Ragusa, Italy, September 2011.
Carlo Pinciroli, Vito Trianni, Rehan O'Grady, Giovanni Pini, Arne Brutschy, Manuele Brambilla, Nithin Mathews, Eliseo Ferrante, Gianni Di Caro, Frederick Ducatelle, Timothy Stirling, Alvaro Gutierrez, Luca Maria Gambardella, and Marco Dorigo. ARGoS: a Modular, Multi-Engine Simulator for Heterogeneous Swarm Robotics. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2011). IEEE Press, Piscataway, NJ, September 2011.
Chiara Bodei, Viet Dung Dinh, and Gian-Luigi Ferrari. A G-Local π-calculus. In Fourth Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2011, pages 1–8, 2011.
Giacomo Cabri, Mariachiara Puviani, and Franco Zambonelli. Towards a Taxonomy of Adaptive Agent-based Collaboration Patterns for Autonomic Service Ensembles. In 2011 International Conference on Collaboration Technologies and Systems, pages 508–515, Philadelphia (PA), May 2011. IEEE Press. (doi:10.1109/CTS.2011.5928730)
Alessandro Stranieri, Eliseo Ferrante, Ali Emre Turgut, Vito Trianni, Carlo Pinciroli, Mauro Birattari, and Marco Dorigo. Self-Organized Flocking with a Heterogeneous Mobile Robot Swarm. In Advances in Artificial Life, ECAL 2011, pages 789–796. MIT press, Cambridge, MA, August 2011.
Alberto Lluch Lafuente and Andrea Vandin. Towards a Maude Tool for Model Checking Temporal Graph Properties. In Fabio Gadducci and Leonardo Mariani, editors, Proceedings of the 10th International Workshop on Graph Transformation and Visual Modelling Languages (GT-VMT'11). ECEAAST, 2011. To appear.
Emil Vassev, Mike Hinchey, Benoit Gaudin, and Patrick Nixon. Requirements and Initial Model for KnowLang - a Language for Knowledge Representation in Autonomic Service-Component Ensembles. In C3S2E 2011: The Fourth International C* Conference on Computer Science & Software Engineering, pages 35–42. ACM, 2011. (doi:10.1145/1992896.1992901)
Emil Vassev. Knowledge Representation for Autonomous Systems - The ``ASCENS''Case Study [Organic Computing - Design of Self-Organizing Systems(Dagstuhl Seminar 11181)]. Dagstuhl Reports, 1(5):16–17, May 2011. (doi:10.4230/DagRep.1.5.1)