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)
Giuliano Casale and Mirco Tribastone. Fluid Analysis of Queueing in Two-Stage Random Environments. In Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems (QEST), pages 21–30, Aachen, Germany, September 2011. IEEE Computer Society Press. (doi:10.1109/QEST.2011.12)
Rolf Hennicker and Alexander Knapp. Modal Interface Theories for Communication-Safe Component Assemblies. In Antonio Cerone and Pekka Pihlajasaari, editors, Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings, volume 6916 of Lecture Notes in Computer Science, pages 135–153. Springer, 2011. (doi:10.1007/978-3-642-23283-1_11)