Maria Grazia Buscemi and Ugo Montanari. A Game-Theoretic Analysis of Grid Job Scheduling. Journal of Grid Computing, 10(3):501–519, 2012. (doi:10.1007/s10723-012-9228-1)
Luca Bortolussi, Jean-Yves Le Boudec, Diego Latella, and Mieke Massink. Revisiting the Limit Behaviour of ``El Botellon. Technical Report EPFL-REPORT-179935, École Polytechnique Fédérale de Lausanne - INFOSCIENCE, July 2012.
Michele Boreale and Francesca Pampaloni. Quantitative Multirun Security under Active Adversaries. In Lisa O'Conner, editor, QEST 2012, IEEE, pages 158–167. IEEE Computer Society, 2012. (doi:10.1109/QEST.2012.31)
Michele Boreale and Michela Paolini. Worst- and Average-Case Privacy Breaches in Randomization Mechanisms. In Jos C.S. Baeten, Thomas Ball, and Frank S. De Boer, editors, IFIP TCS 2012, volume 7604 of Lecture Notes in Computer Science, pages 72–86. Springer, 2012. (doi:10.1007/978-3-642-33475-7_6)
Michele Boreale, Francesca Pampaloni, and Michela Paolini. Asymptotic Information Leakage under One-Try Attacks. To appear on MSCS, 2012.
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)