Alessandro Celestini, Giampiero Costantino, Rocco De Nicola, Zakaria Maamar, Fabio Martinelli, Marinella Petrocchi, and Francesco Tiezzi. Reputation-based Composition of Social Web Services. Technical report, IMT, 2014.
Luca Cesari, Rocco De Nicola, Rosario Pugliese, Mariachiara Puviani, Francesco Tiezzi, and Franco Zambonelli. Formalising Adaptation Patterns for Autonomic Ensembles. In 10th International Symposium on Formal Aspects of Component Software, volume 8348 of LNCS, pages 100–118, Nanchang, China, October 2014. Springer. (doi:10.1007/978-3-319-07602-7_8)
Saddek Bensalem, Marius Bozga, Jacques Combaz, and Ahlem Triki. Rigorous System Design Flow for Autonomous Systems. In 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2014.
Vincenzo Ciancia and Matteo Sammartino. A class of automata for the verification of infinite, resource-allocating behaviours. LNCS, pages 97–111, December 2014. (doi:10.1007/978-3-662-45917-1_7)
Tomás Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plasil, and Noël Plouzeau. Adaptation in Cyber-Physical Systems: from System Goals to Architecture Configurations. Technical report, Charles University, January 2014.
Emil Vassev and Mike Hinchey. Capturing Requirements for Autonomous Spacecraft with Autonomy Requirements Engineering. In Programme and Abstracts Book of the DASIA 2014 Conference, 2014.
Lenz Belzner, Rocco De Nicola, Andrea Vandin, and Martin Wirsing. Reasoning (on) Service Component Ensembles in Rewriting Logic. 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 188–211. Springer, 2014. (doi:10.1007/978-3-642-54624-2)
Paolo Baldan, Filippo Bonchi, Fabio Gadducci, and Giacoma Valentina Monreale. Encoding Synchronous Interactions Using Labelled Petri Nets. In Eva Kuehn and Rosario Pugliese, editors, Proceedings of the 16th IFIP WG 6.1 International Conference on Coordination Models and Languages, (COORDINATION) 2014, volume 8459 of Lecture Notes in Computer Science, pages 1–16. Springer, 2014. (doi:10.1007/978-3-662-43376-8_1)
Lenz Belzner. Verifiable Decisions in Autonomous Concurrent Systems. In COORDINATION, pages 17–32, 2014.
Nicola Bicocchi, Damiano Fontana, and Franco Zambonelli. Improving Activity Recognition via Satellite Imagery and Commonsense Knowledge. In 25th International Workshop on Database and Expert Systems Applications, DEXA 2014, Munich, Germany, September 1-5, 2014, pages 183–187, 2014. (doi:10.1109/DEXA.2014.48)