Alessandro Celestini, Alberto Lluch-Lafuente, Philip Mayer, Stefano Sebastio, and Francesco Tiezzi. Reputation-Based Cooperation in the Clouds. In Trust Management VIII - 8th IFIP WG 11.11 International Conference, IFIPTM 2014, Singapore, July 7-10, 2014. Proceedings, pages 213–220, 2014. (doi:10.1007/978-3-662-43813-8_15)
Nicola Bicocchi, Damiano Fontana, and Franco Zambonelli. A self-aware, reconfigurable architecture for context awareness. In IEEE Symposium on Computers and Communications, ISCC 2014, Funchal, Madeira, Portugal, June 23-26, 2014, pages 1–7, 2014. (doi:10.1109/ISCC.2014.6912485)
Emil Vassev, Mike Hinchey, and Philip Mayer. Formalizing Self-adaptive Clouds with KnowLang. In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I, pages 117–130, 2014. (doi:10.1007/978-3-662-45234-9_9)
Mario Coppo, Mariangiola Dezani-Ciancaglini, and Betti Venneri. Self-Adaptive Monitors for Multiparty Sessions. In 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014, Torino, Italy, February 12-14, 2014, pages 688–696, 2014. (doi:10.1109/PDP.2014.18)
Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, and Saddek Bensalem. Faster Statistical Model Checking by Means of Abstraction and Learning. In Borzoo Bonakdarpour and Scott A. Smolka, editors, Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, volume 8734, pages 340–355. Springer, 2014. (doi:10.1007/978-3-319-11164-3_28)
Lenz Belzner. Value iteration for relational MDPs in rewriting logic. In STAIRS 2014 - Proceedings of the 7th European Starting AI Researcher Symposium, Prague, Czech Republic, August 18-22, 2014, pages 61–70, 2014. (doi:10.3233/978-1-61499-421-3-61)
Yehia Abd Alrahman, Marina Andric, Alessandro Beggiato, and Alberto Lluch-Lafuente. Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? In Santiago Escobar, editor, Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers, volume 8663 of Lecture Notes in Computer Science, pages 21–41. Springer, 2014. (doi:10.1007/978-3-319-12904-4_2)
Filippo Bonchi, Fabio Gadducci, and Giacoma Valentina Monreale. RPO semantics for mobile ambients. Mathematical Structures in Computer Science, 24(4), 2014. (doi:10.1017/S0960129512000333)
Nicola Bicocchi and Marco Mamei. Investigating ride sharing opportunities through mobility data analysis. Pervasive and Mobile Computing, 14:83–94, 2014. (doi:10.1016/j.pmcj.2014.05.010)
Dhaminda B. Abeywickrama, Nicklas Hoch, and Franco Zambonelli. Engineering and implementing software architectural patterns based on feedback loops. Scalable Computing: Practice and Experience, 15(4), 2014.