Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari, Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields, Logical Methods in Computer Science, 2016.
Antonio Brogi, Andrea Canciani, Jacopo Soldani, Fault-aware application management protocols in M. Aiello et al. (Eds.): European Conference on Service-Oriented and Cloud Computing, ESOCC 2016, LNCS 9846, pp. 1–16, 2016.
Antonio Brogi, Antonio Di Tommaso, Jacopo Soldani, Validating TOSCA application topologies, International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn (AMARETTO 2017).
Antonio Brogi, Marco Danelutto, Daniele De Sensi, Ahmad Ibrahim, Jacopo Soldani, Massimo Torquati, Analysing Multiple QoS Attributes in Parallel Design Patterns-Based Applications, International Journal of Parallel Programming, 2016.
Antonio Brogi, Paolo Cifariello, Jacopo Soldani, DrACO: Discovering available cloud offerings, Journal of Computer Science – Research and Development, Issue 3 & 4, 2016.
Antonio Brogi, Stefano Forti, QoS-aware Deployment of IoT Applications Through the Fog, IEEE Internet of Things Journal, vol.PP, no.99, 2017.
Antonio Brogi, Stefano Forti, Ahmad Ibrahim, How to best deploy your Fog applications, probably, IEEE International Conference on Fog and Edge Computing, 2017.
Chiara Bodei, Letterio Galletta, Securing IoT communications: at what cost?, Hot Issues in Security Principles and Trust (HotSpot 2016).
Chiara Bodei, Letterio Galletta, The Cost of Securing IoT Communications, Italian Conference on Theoretical Computer Science (ICTCS 2016), CEUR 1720.
Chiara Bodei, Letterio Galletta, Tracking sensitive and untrustworthy data in IoT , Italian Conference of Cybersecurity (Itasec 2017).
Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Where Do Your IoT Ingredients Come From? , Coordination 2016, LNCS 9686.
Chiara Bodei, Pierpaolo Degano, GianLuigi Ferrari, Letterio Galletta, A Step Towards Checking Security in IoT, Interaction and Concurrency Experience, ICE 2016, EPTCS 223.
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori, Context-aware security: Linguistic mechanisms and static analysis, Journal of Computer Security 24(4).
Chiara Bodei, Viet Dung Dinh, GianLuigi Ferrari, Checking global usage of resources handled with local policies, Science of Computer Programming, Volume 133, Part 1.
Daniele De Sensi, Predicting performance and power consumption of parallel applications, 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP).
Daniele De Sensi, Massimo Torquati, Marco Danelutto, A Reconfiguration Algorithm for Power-Aware Parallel Applications, ACM Transactions on Architecture and Code Optimization (TACO), 13(4), 2016.
Davide Basile, Pierpaolo Degano, GianLuigi Ferrari, Automata for Specifying and Orchestrating Service Contracts, Journal of Logical Methods in Computer Science, 12(4).
Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari, Emilio Tuosto, Playing with Our CAT and Communication-Centric Applications, Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2016), LNCS 9688.
Filippo Bonchi, Antonio Brogi, Andrea Canciani, Jacopo Soldani, Behaviour-aware matching of cloud applications, In M. Bonsangue and Y. Deng (editors), TASE 2016: Tenth international symposium in theoretical aspects of software engineering, July 17-19, 2016, Shanghai (China). 2016.
Giuseppe A. Di Luna, Paola Flocchini, Giuseppe Prencipe, Nicola Santoro, Giovanni Viglietta, A Rupestrian Algorithm, 8th International Conference on Fun with Algorithms (FUN 2016).
Jacopo Soldani, Tobias Binz, Uwe Breitenbücher, Frank Leymann, Antonio Brogi, ToscaMart: A method for adapting and reusing cloud applications, Journal of Systems and Software, Vol. 113, pages 395-406. 2016.
Marco Danelutto, Daniele De Sensi, Massimo Torquati, A Power-Aware, Self-Adaptive Macro Data Flow Framework, Parallel processing letters, 2016.
Marco Grandi, Spray: programming with a persistent distributed heap, SPLASH Companion 2016 Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity.
Matteo Busi, Pierpaolo Degano, Letterio Galletta, A Semantics for Disciplined Concurrency in COP, Italian Conference on Theoretical Computer Science (ICTCS 2016), CEUR 1720.
Paola Flocchini, Giuseppe Prencipe, Nicola Santoro, Giovanni Viglietta, Distributed Computing by Mobile Robots: Uniform Circle Formation, Distributed Computing, 2016.
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, Event-driven Adaptation in COP, EPTCS 211, 2016.
Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, A Two-Component Language for Adaptation: Design, Semantics and Program Analysis, IEEE Trans. Software Eng. 42(6), 2016.
Simon Gog, Rossano Venturini, Fast and compact Hamming distanceindex, SIGIR ’16 Proceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval.
