Annabelle Klarl and Rolf Hennicker. Design and Implementation of Dynamically Evolving Ensembles with the HELENA Framework. In Proceedings of the 23rd Australasian Software Engineering Conference, pages 15–24. IEEE, 2014.
Marco Bernardo, Rocco De Nicola, and Michele Loreti. Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Logical Methods in Computer Science, 10(1):1–16, 2014. (doi:10.2168/LMCS-10(1:16)2014)
Marco Bernardo, Rocco De Nicola, and Michele Loreti. Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. In Martín Abadi and Alberto Lluch Lafuente, editors, Trustworthy Global Computing, Lecture Notes in Computer Science, pages 315–330. Springer International Publishing, 2014. (doi:10.1007/978-3-319-05119-2_18)
Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, and Frantisek Plasil. Computational Model for Gossiping Components in Cyber-Physical Systems. Technical report, Charles University, April 2014.
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)