Franco Zambonelli, Nicola Bicocchi, and Damiano Fontana. Towards a Human-Aware Operating System. In 9th International Conference on Body Area Networks. ICST, November 2014. (doi:10.4108/icst.bodynets.2014.257047)
Rima Al Ali, Tomás Bures, Ilias Gerostathopoulos, Jaroslav Keznikl, and Frantisek Plasil. Architecture Adaptation Based on Belief Inaccuracy Estimation. In Proceedings of the 11th Working IEEE/IFIP Conference on Software Architecture, pages 87–90. IEEE, April 2014. (doi:10.1109/WICSA.2014.20)
Rima Al Ali, Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, and Frantisek Plasil. DEECo: an Ecosystem for Cyber-Physical Systems. In ICSE Companion, pages 610–611. ACM, 2014. (doi:10.1145/2591062.2591140)
Michele Amoretti, Alessandro Grazioli, Valerio Senni, and Francesco Zanichelli. Towards a Formal Approach to Mobile Cloud Computing. In Proc. of 22nd EUROMICRO Inter- national Conference on Parallel, Distributed and Network-Based Processing (PDP 2014), pages 743–750. IEEE, 2014. (doi:10.1109/PDP.2014.42)
Nicola Capodieci, Emma Hart, and Giacomo Cabri. Idiotypic networks for evolutionary controllers in virtual creatures. In Proceedings of The 14th International Conference on the Synthesis and Simulation of Living Systems ALIFE 2014, pages 192–199, Cambridge, MA, USA, 2014. MIT Press. (doi:10.7551/978-0-262-32621-6-ch032)
Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, and Jacques Combaz. Compositional Invariant Generation for Timed Systems. In TACAS, volume 8413 of Lecture Notes in Computer Science, pages 263–278. Springer, 2014. (doi:10.1007/978-3-642-54862-8)
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.