Andrea Sassi, Marco Mamei, and Franco Zambonelli. Towards a general infrastructure for location-based smart mobility services. In International Conference on High Performance Computing & Simulation, HPCS 2014, Bologna, Italy, 21-25 July, 2014, pages 849–856, 2014. (doi:10.1109/HPCSim.2014.6903778)
Mariachiara Puviani, Giacomo Cabri, and Franco Zambonelli. Agent-based Simulations of Patterns for Self-adaptive Systems. In ICAART 2014 - Proceedings of the 6th International Conference on Agents and Artificial Intelligence, Volume 1, ESEO, Angers, Loire Valley, France, 6-8 March, 2014, pages 190–200, 2014. (doi:10.5220/0004925001900200)
Stefano Sebastio, Michele Amoretti, and Alberto Lluch-Lafuente. A computational field framework for collaborative task execution in volunteer clouds. In Gregor Engels and Nelly Bencomo, editors, 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014, Proceedings, Hyderabad, India, June 2-3, 2014, pages 105–114. ACM, 2014. (doi:10.1145/2593929.2593943)
Victor Noël and Franco Zambonelli. Following the problem organisation: A design strategy for engineering emergence. In Intelligent Distributed Computing VIII - Proceedings of the 8th International Symposium on Intelligent Distributed Computing, IDC 2014, Madrid, Spain, September 3-5, 2014, pages 311–317, 2014. (doi:10.1007/978-3-319-10422-5_33)
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)