{"id":151,"date":"2017-01-20T17:21:42","date_gmt":"2017-01-20T17:21:42","guid":{"rendered":"http:\/\/pages.di.unipi.it\/throughthefog\/?page_id=151"},"modified":"2017-05-12T13:31:29","modified_gmt":"2017-05-12T13:31:29","slug":"publications","status":"publish","type":"page","link":"https:\/\/pages.di.unipi.it\/throughthefog\/publications\/","title":{"rendered":"Publications"},"content":{"rendered":"<h6 style=\"padding-left: 30px\">Since 30th Oct. 2015 to 28th Feb. 2017.<\/h6>\n<ul>\n<li>Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari, <em>Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields<\/em>, Logical Methods in Computer Science, 2016.<\/li>\n<li>Antonio Brogi, Andrea Canciani, Jacopo Soldani, <em>Fault-aware application management protocols\u00a0<\/em>in M. Aiello et al. (Eds.): European Conference on Service-Oriented and Cloud Computing, ESOCC 2016, LNCS 9846, pp. 1\u201316, 2016.<\/li>\n<li>Antonio Brogi, Antonio Di Tommaso, Jacopo Soldani,\u00a0<em>Validating TOSCA application topologies<\/em>, International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn (AMARETTO 2017).<\/li>\n<li>Antonio Brogi, Marco Danelutto, Daniele De Sensi, Ahmad Ibrahim, Jacopo Soldani, Massimo Torquati,\u00a0<em>Analysing Multiple QoS Attributes in Parallel Design Patterns-Based Applications<\/em>, International Journal of Parallel Programming, 2016.<\/li>\n<li>Antonio Brogi, Paolo Cifariello, Jacopo Soldani,\u00a0<em>DrACO: Discovering available cloud offerings<\/em>, Journal of Computer Science &#8211; Research and Development, Issue 3 &amp; 4, 2016.<\/li>\n<li>Antonio Brogi, Stefano Forti, <em>QoS-aware Deployment of IoT Applications Through the Fog, <\/em>IEEE Internet of Things Journal, vol.PP, no.99, 2017.<\/li>\n<li>Antonio Brogi, Stefano Forti, Ahmad Ibrahim, <em>How to best deploy your Fog applications, probably<b>,\u00a0<\/b><\/em>IEEE International Conference on Fog and Edge Computing, 2017.<\/li>\n<li>Chiara Bodei, Letterio Galletta,\u00a0<em>Securing IoT communications: at what cost?<\/em>, Hot Issues in Security Principles and Trust (HotSpot 2016).<\/li>\n<li>Chiara Bodei, Letterio Galletta,\u00a0<em>The Cost of Securing IoT Communications,<\/em> Italian Conference on Theoretical Computer Science (ICTCS 2016), CEUR 1720.<\/li>\n<li>Chiara Bodei, Letterio Galletta, <em>Tracking sensitive and untrustworthy data in IoT\u00a0<\/em>, Italian Conference of Cybersecurity (Itasec 2017).<\/li>\n<li>Chiara Bodei, Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta,\u00a0<em>Where Do Your IoT Ingredients Come From? ,\u00a0<\/em>Coordination 2016, LNCS 9686.<\/li>\n<li>Chiara Bodei, Pierpaolo Degano, GianLuigi Ferrari, Letterio Galletta, \u00a0<em>A Step Towards Checking Security in IoT,<\/em>\u00a0Interaction and Concurrency Experience, ICE 2016, EPTCS 223.<\/li>\n<li>Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori, \u00a0<em>Context-aware security: Linguistic mechanisms and static analysis,\u00a0<\/em>Journal of Computer Security 24(4).<\/li>\n<li>Chiara Bodei, Viet Dung Dinh, GianLuigi Ferrari,\u00a0<em>Checking global usage of resources handled with local policies,<\/em> Science of Computer Programming, Volume 133, Part 1.<\/li>\n<li>Daniele De Sensi,\u00a0<em>Predicting performance and power consumption of parallel applications,<\/em> 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP).<\/li>\n<li>Daniele De Sensi, Massimo Torquati, Marco Danelutto,\u00a0<em>A Reconfiguration Algorithm for Power-Aware Parallel Applications,\u00a0<\/em>ACM Transactions on Architecture and Code Optimization (TACO)<em>,<\/em> 13(4), 2016.<\/li>\n<li>Davide Basile, Pierpaolo Degano, GianLuigi Ferrari, <em>Automata for Specifying and Orchestrating Service Contracts<\/em>, Journal of Logical Methods in Computer Science, 12(4).<\/li>\n<li>Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari, Emilio Tuosto,\u00a0<em>Playing with Our CAT and Communication-Centric Applications,<\/em> Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2016), LNCS 9688.<\/li>\n<li>Filippo Bonchi, Antonio Brogi, Andrea Canciani, Jacopo Soldani,\u00a0<em>Behaviour-aware matching of cloud applications,<\/em>\u00a0In M. Bonsangue and Y. Deng (editors), TASE 2016: Tenth international symposium in theoretical aspects of software engineering, July 17-19, 2016, Shanghai (China). 2016.<\/li>\n<li>Giuseppe A. Di Luna, Paola Flocchini, Giuseppe Prencipe, Nicola Santoro, Giovanni Viglietta, <em>A Rupestrian Algorithm<\/em>, 8th International Conference on Fun with Algorithms (FUN 2016).<\/li>\n<li>Jacopo Soldani, Tobias Binz, Uwe Breitenb\u00fccher, Frank Leymann, Antonio Brogi, <em>ToscaMart: A method for adapting and reusing cloud applications<\/em>, Journal of Systems and Software, Vol. 113, pages 395-406. 2016.<\/li>\n<li>Marco Danelutto, Daniele De Sensi, Massimo Torquati,\u00a0<em>A Power-Aware, Self-Adaptive Macro Data Flow Framework,<\/em> Parallel processing letters, 2016.<\/li>\n<li>Marco Grandi,\u00a0<em>Spray: programming with a persistent distributed heap<\/em>, SPLASH Companion 2016\u00a0Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity.<\/li>\n<li>Matteo Busi, Pierpaolo Degano, Letterio Galletta,\u00a0<em>A Semantics for Disciplined Concurrency in COP,<\/em> Italian Conference on Theoretical Computer Science (ICTCS 2016), CEUR 1720.<\/li>\n<li>Paola Flocchini, Giuseppe Prencipe, Nicola Santoro, Giovanni Viglietta,\u00a0<em>Distributed Computing by Mobile Robots: Uniform Circle Formation<\/em>, Distributed Computing, 2016.<\/li>\n<li>Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta,\u00a0<em>Event-driven Adaptation in COP,<\/em> EPTCS 211, 2016.<\/li>\n<li>Pierpaolo Degano, Gian Luigi Ferrari, Letterio Galletta, <em>A Two-Component Language for Adaptation: Design, Semantics and Program Analysis,<\/em> IEEE Trans. Software Eng. 42(6), 2016.<\/li>\n<li>Simon Gog, Rossano Venturini, <em>Fast and compact Hamming distance<\/em> <em>index,<\/em> SIGIR &#8217;16 Proceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval.<\/li>\n<\/ul>\n<h5><\/h5>\n","protected":false},"excerpt":{"rendered":"<p>Since 30th Oct. 2015 to 28th Feb. 2017. 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\u00a0in M. Aiello et al. (Eds.): European Conference on Service-Oriented and Cloud Computing, ESOCC 2016, LNCS 9846, pp. 1\u201316, [&hellip;]<\/p>\n","protected":false},"author":20,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-151","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/pages.di.unipi.it\/throughthefog\/wp-json\/wp\/v2\/pages\/151","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/pages.di.unipi.it\/throughthefog\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/pages.di.unipi.it\/throughthefog\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/pages.di.unipi.it\/throughthefog\/wp-json\/wp\/v2\/users\/20"}],"replies":[{"embeddable":true,"href":"https:\/\/pages.di.unipi.it\/throughthefog\/wp-json\/wp\/v2\/comments?post=151"}],"version-history":[{"count":8,"href":"https:\/\/pages.di.unipi.it\/throughthefog\/wp-json\/wp\/v2\/pages\/151\/revisions"}],"predecessor-version":[{"id":334,"href":"https:\/\/pages.di.unipi.it\/throughthefog\/wp-json\/wp\/v2\/pages\/151\/revisions\/334"}],"wp:attachment":[{"href":"https:\/\/pages.di.unipi.it\/throughthefog\/wp-json\/wp\/v2\/media?parent=151"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}