Manuele Brambilla, Carlo Pinciroli, Mauro Birattari, and Marco Dorigo. Property-driven Design for Swarm Robotics. In Vincent Conitzer, Michael Winikoff, Lin Padgham, and Wiebe van der Hoek, editors, Proceedings of 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), pages 139–146. International Foundation for Autonomous Agents and Multiagent Systems (http://www.ifaamas.org/Proceedings/aamas2012), 2012.
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, and Andrea Vandin. Modelling and Analyzing Adaptive Self-assembly Strategies with Maude. In Proceedings of the 9th International Workshop on Rewriting Logicand its Applications (WRLA 2012), volume 7571 of LNCS, pages 18–138. Springer, 2012. (doi:10.1007/978-3-642-34005-5_7)
Lubomír Bulej, Tomás Bures, Jaroslav Keznikl, Alena Koubková, Andrej Podzimek, and Petr T r uma. Capturing performance assumptions using stochastic performance logic. In Proceedings of the third joint WOSP/SIPEW international conferenceon Performance Engineering, ICPE '12, pages 311–322, New York, NY, USA, 2012. ACM. (doi:10.1145/2188286.2188345)
Nicola Capodieci, Giacomo Cabri, Andrea Pagani, and Marco Aiello. An Agent-based Application to Enable Deregulated Energy Markets. In Proceedings of the 36th IEEE Computer Software and Applications Conference (COMPSAC 2012), Izmir Turkey, July 2012, pages 638–647, July 2012.
Nicola Capodieci, Emanuel Alsina, and Giacomo Cabri. A Context-aware Agent-based Approach for Deregulated Energy Market. In Proceedings of the 21st IEEE WETICE confreence Toulouse, France, June 2012, pages 16–21, June 2012. (doi:10.1109/WETICE.2012.15)
Nicola Capodieci and Giacomo Cabri. Coordination And Task Division In Robot Ensembles: Perimeter Sweep Case Study. In Proceedings of the 21st IEEE WETICE confreence Toulouse, France, June 2012, pages 101–103, June 2012. (doi:10.1109/WETICE.2012.22)
Nicola Capodieci and Giacomo Cabri. Conceptual Map and Classification in Ensembles of Autonomic Components: from Awareness to Organization. In Proceedings of the workshops of SASO 2012, Lyon France, September 2012, page to appear, September 2012.
Max Tschaikowski and Mirco Tribastone. Exact Fluid Lumpability for Markovian Process Algebra. In 23rd International Conference on Concurrency Theory, pages 380,394, September 2012.
Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, and Andrea Vandin. A Conceptual Framework for Adaptation. In Juan de Lara and Andrea Zisman, editors, Proceedings of the 15th International Conference on Fundamental Approachesto Software Engineering, FASE 2012, volume 7212 of Lecture Notes in Computer Science, pages 240–254. Springer, 2012. (doi:10.1007/978-3-642-28872-2_17)
Saddek Bensalem, Marius Bozga, Jean Quilbeuf, and Joseph Sifakis. Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. In Holger Giese and Grigore Rosu, editors, FMOODS/FORTE, volume 7273 of Lecture Notes in Computer Science, pages 118–134. Springer, 2012. (doi:10.1007/978-3-642-30793-5_8)