Nicola Bicocchi, Gabriella Castelli, Marco Mamei, and Franco Zambonelli. Improving Situation Recognition via Commonsense Sensor Fusion. In 1st DEXA Workshop on Information Systems for Situation Awareness and Situation Management, Toulouse (F), September 2011. IEEE CS Press.
Nicola Bicocchi, Gabriella Castelli, Marco Mamei, and Franco Zambonelli. Augmenting Mobile Localization with Activities and Common Sense Knowledge. In International Joint Conference on Ambient Intelligence, Lecture Notes in Computer Science, Amsterdam (NL), November 2011. Springer Verlag.
Roberto Bruni and Alberto Lluch-Lafuente. Evaluating the Performance of Model Transformation Styles in Maude. In Proceedings of FACS 2011, 8th International Workshop on Formal Aspectsof Component Software, volume 7253 of LNCS, pages 79–96. Springer, 2011. (doi:10.1007/978-3-642-35743-5_6)
Roberto Bruni, Hernán Melgratti, and Ugo Montanari. A Connector Algebra for P/T Nets Interactions. In J.-P. Katoen and B. Koenig, editors, Proceedings of CONCUR 2011, 22nd International Conference on ConcurrencyTheory, volume 6901 of LNCS, pages 312–326. Springer, 2011. (doi:10.1007/978-3-642-23217-6_21)
Luca Bortolussi, Jane Hillston, Diego Latella, and Mieke Massink. Continuous Approximation of Collective Systems Behaviour: a Tutorial. Technical Report ISTI-2011-TR-021, CNR - ISTI, October 2011.
Michele Boreale, Francesca Pampaloni, and Michela Paolini. Asymptotic Information Leakage under One-Try Attacks. In Martin Hofmann, editor, Foundations of Software Science and Computational Structures, volume 6604 of LNCS, pages 396–410. Springer Berlin / Heidelberg, March 2011. (doi:10.1007/978-3-642-19805-2_27)
Michele Boreale, Francesca Pampaloni, and Michela Paolini. Quantitative Information Flow, with a View. In Vijay Atluri and Claudia Diaz, editors, Computer Security - ESORICS 2011, volume 6879 of LNCS, pages 588–606. Springer Berlin / Heidelberg, 2011. (doi:10.1007/978-3-642-23822-2_32)
Roberto Bruni, Alberto Lluch Lafuente, and Ugo Montanari. On Structured Model-Driven Transformations. International Journal of Software and Informatics, 5(1-2):185–206, 2011.
Marianne Busch, Alexander Knapp, and Nora Koch. Modeling Secure Navigation in Web Information Systems. In Janis Grabis and Marite Kirikova, editors, 10th International Conference on Business Perspectives in Informatics Research, LNBIP, pages 239–253. Springer Verlag, 2011.
Nicola Capodieci, Giuliano Andrea Pagani, Giacomo Cabri, and Marco Aiello. Smart Meter-aware Domestic Energy Trading Agents. In Proceedings of the First International E-Energy Market Challenge (IEEMC 2011) at the 8th International Conference on Autonomic Computing, Karlsruhe (D), June 2011. ACM Press. (doi:10.1145/1998640.1998641)