Lubomír Bulej, Tomás Bures, Vojtech Horky, Jaroslav Kotrc, Lukas Marek, Tomá v s Trojánek, and Petr T r uma. SPL: Unit Testing Performance. Technical report, Charles University, April 2014.
Tomáš Bureš, Vojtěch Horký, Michał Kit, Lukáš Marek, and Petr Tůma. Towards Performance-Aware Engineering of Autonomic Component Ensembles. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, volume 8802 of Lecture Notes in Computer Science, pages 131–146. Springer Berlin Heidelberg, 2014. (doi:10.1007/978-3-662-45234-9_10)
Tomás Bures, Petr Hnetynka, and Frantisek Plasil. Strengthening architectures of smart CPS by modeling them as runtime product-lines. In Proceedings of CBSE, pages 91–96. ACM, July 2014. (doi:10.1145/2602458.2602478)
Nicola Bicocchi, Damiano Fontana, and Franco Zambonelli. Human Aware Superorganisms. In Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct Publication, UbiComp '14 Adjunct, pages 1057–1062, New York, NY, USA, 2014. ACM. (doi:10.1145/2638728.2659391)
Roberto Bruni, Hernán C. Melgratti, and Ugo Montanari. Behaviour, Interaction and Dynamics. In Shusaku Iida, José Meseguer, and Kazuhiro Ogata, editors, Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, volume 8373 of Lecture Notes in Computer Science, pages 382–401. Springer, 2014. (doi:10.1007/978-3-642-54624-2_19)
Roberto Bruni, Ugo Montanari, Gordon Plotkin, and Daniele Terreni. On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs. Fundamenta Informaticae, 134(3-4):287––317, 2014. (doi:10.3233/FI-2014-1103)
Michele Boreale and Francesca Pampaloni. Quantitative Information Flow under Generic Leakage Functions and Adaptive Adversaries. In Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, volume 8461 of LNCS. Springer, 2014.
Roberto Bruni, Ugo Montanari, and Matteo Sammartino. Revisiting Causality, Coalgebraically. Acta Informatica, pages 1–29, 2014. (doi:10.1007/s00236-014-0207-9)
Giacomo Cabri, Nicola Capodieci, Luca Cesari, Rocco De Nicola, Rosario Pugliese, Francesco Tiezzi, and Franco Zambonelli. Self-expression and Dynamic Attribute-based Ensembles in SCEL. Technical report, IMT, 2014.
Nicola Capodieci, Emma Hart, and Giacomo Cabri. Artificial Immune Systems in the Context of Autonomic Computing: Integrating Design Paradigms. In Proceedings of the 2014 Conference Companion on Genetic and Evolutionary Computation Companion, GECCO Comp '14, pages 21–22, New York, NY, USA, 2014. ACM. (doi:10.1145/2598394.2598502)