{"id":33,"date":"2019-06-12T16:47:40","date_gmt":"2019-06-12T14:47:40","guid":{"rendered":"http:\/\/pages.di.unipi.it\/declware\/?page_id=33"},"modified":"2021-07-21T10:49:59","modified_gmt":"2021-07-21T08:49:59","slug":"publications","status":"publish","type":"page","link":"https:\/\/pages.di.unipi.it\/declware\/publications\/","title":{"rendered":"Publications"},"content":{"rendered":"\n

Journal articles<\/strong><\/p>\n\n\n\n

Bocci A, Forti S, Ferrari GL, Brogi A.<\/em>\u00a0Secure FaaS orchestration in the fog: how far are we?.<\/em>\u00a0Computing, vol. 103,\u00a0pp. 1025\u20131056, 2021).<\/p>\n\n\n\n

Brogi A, Forti S, Guerrero C, Lera I. How to Place Your Apps in the Fog<\/em> – State of the Art and Open Challenges<\/em>. Software: Practice & Experience, Wiley, vol. 50, issue 5, pp. 719-740, 2020.<\/p>\n\n\n\n

Forti S, Ibrahim A, Brogi A. Mimicking FogDirector application management<\/em>. Computer Science – R&D, vol. 34, issue 2-3, pp. 151-161, 2019.<\/p>\n\n\n\n

Forti S, Ferrari G, Brogi A. Secure Cloud-Edge Deployments, with Trust. <\/em>Future Generation Computer Systems, Elsevier, vol. 102, pp. 775-788, 2020.<\/p>\n\n\n\n

Forti S, Gaglianese M, Brogi A. Lightweight Self-Organising Distributed Monitoring of Fog Infrastructures<\/em>. Future Generation Computer Systems, Elsevier, vol. 114, pp. 605-618, 2021.<\/p>\n\n\n\n

Forti S, Paganelli F, Brogi A. Probabilistic\u00a0QoS-aware Placement of VNF Chains at the Edge<\/em>.\u00a0Theory and Practice of Logic Programming,<\/em>\u00a0pp. 1-36, 2021.<\/p>\n\n\n\n

Forti S, Pagiaro A, Brogi A. Simulating FogDirector Application Management<\/em>. Simulation Modelling Practice and Theory, Elsevier, vol. 101:102021, 2020<\/p>\n\n\n\n

Neri D, Soldani J, Zimmermann O, Brogi A. Design principles, architectural smells and refactorings for microservices: A multivocal review<\/em>. SICS Software-Intensive Cyber-Physical Systems, volume 35, issue 1, pages 3-15, 2020.<\/p>\n\n\n\n

Wurster M, Breitenb\u00fccher U, Falkental M, Krieger C, Leymann F, Saatkamp K, Soldani J. The Essential Deployment Metamodel: A Systematic Review of Deployment Automation Technologies. <\/em>SICS Software-Intensive Cyber-Physical Systems, volume 35, issue 1, pages 63-75, 2020. <\/p>\n\n\n\n

In proceedings<\/strong><\/p>\n\n\n\n

Astuti G., Brogi A, Forti S. Making a Business Out of (Predictive Application Management in) the Fog<\/em>. IEEE International Workshop on Internet of Things: Networking Applications and Technologies (IoTNAT 2019), held in conjunction with IEEE FMEC 2019.<\/p>\n\n\n\n

Bodei C, Degano P, Ferrari GL, Galletta L. Revealing the trajectories of KLAIM tuples, statically<\/em>. In M. Boreale, F. Corradini, M. Loreti, and R. Pugliese Eds, Models, Languages, and Tools for Concurrent and Distributed Programming, Lucca, Italia, volume 11665 of Lecture Notes in Computer Science, pages 437\u2013454, Springer, 2019. <\/p>\n\n\n\n

Bodei C., Degano P, Ferrari GL, Galletta L. Security Metrics at Work on the Things in IoT Systems<\/em>. In A. Di Pierro et al. Eds, Chris Festschrift, London, UK, 2019, volume 12065 of Lecture Notes in Computer Science, pages 1\u201323, Springer, 2020. <\/p>\n\n\n\n

Brogi A, Carrasco J, Duran F, Pimentel E, Soldani J. Robust management of trans-cloud applications<\/em>. 2019 IEEE International Conference on Cloud Computing (CLOUD 2019).<\/p>\n\n\n\n

Brogi A, Ferrari GL, Forti S. Secure Apps in the Fog: Anything to Declare?. <\/em>In: Fazio M., Zimmermann W. (eds) Advances in Service-Oriented and Cloud Computing. ESOCC 2018. Communications in Computer and Information Science, vol 1115. Springer, Cham.<\/p>\n\n\n\n

Brogi A, Forti S, Gaglianese G. Measuring the Fog, Gently. <\/em>17th International Conference on Service-Oriented Computing (ICSOC 2019). <\/p>\n\n\n\n

Brogi A, Forti S, Guerrero C, Lera I. Meet Genetic Algorithms in Monte Carlo: Optimised Placement of Multi-Service Applications<\/em> in the Fog. <\/em>IEEE International Conference on Edge Computing (EDGE 2019). <\/p>\n\n\n\n

Brogi A, Forti S, Guerrero C, Lera I. Towards declarative decentralised application management in the fog<\/em>. 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).<\/p>\n\n\n\n

Brogi A, Neri D, Soldani J. Freshening the air in microservices: Resolving architectural smells via refactoring<\/em>. Service-Oriented Computing – ICSOC 2019 Workshops.<\/p>\n\n\n\n

Busi M, Degano P, Galletta L. Control-flow Flattening Preserves the Constant-Time Policy<\/em>. In M. Loreti and L. Spalazzi Eds, Proc. 4th Italian Conference on Cybersecurity ITASEC, Ancona, Italia, 2020.<\/p>\n\n\n\n

Busi M, Degano P, Galletta L. Robust Declassification by Incremental Typing.<\/em> In C. Landwehr, D. Pavlovic, J. Meseguer and J. Guttman Eds, Meadows Festschrift, volume 11565 of Lecture Notes in Computer Science, pages 45\u201369, Springer, 2019 <\/p>\n\n\n\n

Busi M, Noorman J, Van Bulck J., Galletta L, Degano P, M\u00fchlberg JT, Piessens F. Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors<\/em>. In Proc. 33rd IEEE CSFW, Boston, USA, IEEE Computer Society, 2020 <\/p>\n\n\n\n

Busi M, Degano P, Galletta L. Using Standard Typing Algorithms Incrementally<\/em>. In J. Badger and K. Y. Rozier Eds, Proc. 11th Annual NASA Formal Methods Symposium 2019, Houston, USA, volume 11460 of Lecture Notes in Computer Science, pages 106 \u2013 122, Springer, 2019. <\/p>\n\n\n\n

Ceragioli L, Degano P, Galletta L. MuAC: Access Control Language for Mutual Benefits<\/em>. In M. Loreti and L. Spalazzi Eds, Proc. 4th Italian Conference on Cybersecurity ITASEC, Ancona, Italia, 2020. <\/p>\n\n\n\n

Ceragioli L, Degano P, Galletta L. Are All Firewall Systems Equally Powerful?<\/em> In Procs of ACM SIGSAC 14th Workshop on Programming Languages and Analysis for Security, London, United Kingdom, 2019, pages 1 \u2013 17. <\/p>\n\n\n\n

Ceragioli, L., Degano P., Galletta L. Checking the Expressivity of Firewall Languages<\/em>. In M. S. Alvim et al. Eds, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, volume 11760 of Lecture Notes in Computer Science, pages 86\u2013100, Springer, 2019. <\/p>\n\n\n\n

Danelutto M, De Sensi D, Mencagli G, Torquati M. Autonomic management experiences in structured parallel programming<\/em>. 2019 International Conference on High Performance Computing & Simulation (HPCS 2019).<\/p>\n\n\n\n

Forti S, Brogi A. Continuous Reasoning for Managing Next-Gen Distributed Applications<\/em>. 36th International Conference on Logic Programming (ICLP) \u2013 TCs, EPCTS, 2020<\/p>\n\n\n\n

Soldani J, Luthmann L, Lochau M, Brogi A. Testing conformance in multi-component enterprise application management.<\/em> To appear in 8th European Conference On Service-Oriented And Cloud Computing (ESOCC 2020).<\/p>\n\n\n\n

Wurster M, Breitenb\u00fccher U, Brogi A, Falazi G, Harzenetter L, Leymann F, Soldani J, Yussupov V. The EDMM Modelling and Transformation System.<\/em> 17th International Conference on Service-Oriented Computing (ICSOC 2019), Demonstration track, In press. <\/p>\n\n\n\n

Wurster M, Breitenb\u00fccher U, Brogi A, Harzenetter L, Leymann F, Soldani J. Technology-agnostic Declarative Deployment Automaticion of Cloud Applications. <\/em>To appear in 8th European Conference On Service-Oriented And Cloud Computing (ESOCC 2020). <\/p>\n\n\n\n

Wurster M, Breitenb\u00fccher U, Brogi A, Leymann F, Soldani J. Cloud-Native Deploy-Ability: An Analysis of Required Features of Deployment Technologies to Deploy Arbitrary Cloud-Native Applications<\/em>. 10th International Conference on Cloud Computing and Service Science (CLOSER 2020).<\/p>\n\n\n\n

Wurster M, Breitenb\u00fccher U, Harzenetter L, Leymann F, Soldani J, Yussupov V. TOSCA Light: Bridging the Gap Between TOSCA Specifications and Production-Ready Deployment Technologies<\/em>. 10th International Conference on Cloud Computing and Service Science (CLOSER 2020)<\/p>\n\n\n\n

Wurster M, Breitenb\u00fccher U, Harzenetter L, Leymann F, Soldani J. TOSCA Lightning: An Integrated Toolchain for Transforming TOSCA Light into Production-Ready Deployment Technologies<\/em>. 32nd International Conference on Advanced Information Systems Engineering (CAiSE 2020), Demonstration track.<\/p>\n\n\n\n

Yussupov V, Breitenb\u00fccher U, Krieger C, Leymann F, Soldani J, Wurster M. Pattern-based Modelling, Integration, and Deployment of Microservice Architectures<\/em>. 24th IEEE International EDOC Conference (EDOC 2020).<\/p>\n","protected":false},"excerpt":{"rendered":"

Journal articles Bocci A, Forti S, Ferrari GL, Brogi A.\u00a0Secure FaaS orchestration in the fog: how far are we?.\u00a0Computing, vol. 103,\u00a0pp. 1025\u20131056, 2021). Brogi A, Forti S, Guerrero C, Lera I. How to Place Your Apps in the Fog – State of the Art and Open Challenges. Software: Practice & Experience, Wiley, vol. 50, issue […]<\/p>\n","protected":false},"author":154,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"template-fullwidth.php","meta":{"footnotes":""},"class_list":["post-33","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/pages.di.unipi.it\/declware\/wp-json\/wp\/v2\/pages\/33","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/pages.di.unipi.it\/declware\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/pages.di.unipi.it\/declware\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/pages.di.unipi.it\/declware\/wp-json\/wp\/v2\/users\/154"}],"replies":[{"embeddable":true,"href":"https:\/\/pages.di.unipi.it\/declware\/wp-json\/wp\/v2\/comments?post=33"}],"version-history":[{"count":13,"href":"https:\/\/pages.di.unipi.it\/declware\/wp-json\/wp\/v2\/pages\/33\/revisions"}],"predecessor-version":[{"id":94,"href":"https:\/\/pages.di.unipi.it\/declware\/wp-json\/wp\/v2\/pages\/33\/revisions\/94"}],"wp:attachment":[{"href":"https:\/\/pages.di.unipi.it\/declware\/wp-json\/wp\/v2\/media?parent=33"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}