How to Best Deploy Your Fog Applications, Probably. - Antonio Brogi; Stefano Forti 002; Ahmad Ibrahim 001 (ICFEC, 2017)

QoS-Aware Deployment of IoT Applications Through the Fog. - Antonio Brogi; Stefano Forti 002 (IEEE Internet Things J., 2017)

Deploying Fog Applications: How Much Does It Cost, By the Way? - Antonio Brogi; Stefano Forti 002; Ahmad Ibrahim 001 (CLOSER, 2018)

Optimising QoS-Assurance, Resource Usage and Cost of Fog Application Deployments. - Antonio Brogi; Stefano Forti 002; Ahmad Ibrahim 001 (CLOSER (Selected Papers), 2018)

Predictive Management of Fog Applications. - Stefano Forti 002 (ESOCC Workshops, 2018)

Secure Apps in the Fog: Anything to Declare? - Antonio Brogi; Gian-Luigi Ferrari 002; Stefano Forti 002 (ESOCC Workshops, 2018)

Bonsai in the Fog: An active learning lab with Fog computing. - Antonio Brogi; Stefano Forti 002; Ahmad Ibrahim 001; Luca Rinaldi (FMEC, 2018)

Predictive Analysis to Support Fog Application Deployment. - Antonio Brogi; Stefano Forti 002; Ahmad Ibrahim 001 (Fog and Edge Computing, 2019)

Meet Genetic Algorithms in Monte Carlo: Optimised Placement of Multi-Service Applications in the Fog. - Antonio Brogi; Stefano Forti 002; Carlos Guerrero; Isaac Lera (EDGE, 2019)

Making a Business Out of (Predictive Application Management in) the Fog. - Giuseppe Astuti; Antonio Brogi; Stefano Forti 002 (FMEC, 2019)

Measuring the Fog, Gently. - Antonio Brogi; Stefano Forti 002; Marco Gaglianese (ICSOC, 2019)

Mimicking FogDirector application management. - Stefano Forti 002; Ahmad Ibrahim 001; Antonio Brogi (SICS Softw.-Intensive Cyber Phys. Syst., 2019)

Towards Declarative Decentralised Application Management in the Fog. - Antonio Brogi; Stefano Forti 002; Carlos Guerrero; Isaac Lera (ISSRE Workshops, 2020)

Continuous Reasoning for Managing Next-Gen Distributed Applications. - Stefano Forti 002; Antonio Brogi (ICLP Technical Communications, 2020)

Secure Cloud-Edge Deployments, with Trust. - Stefano Forti 002; Gian-Luigi Ferrari 002; Antonio Brogi (Future Gener. Comput. Syst., 2020)

Simulating FogDirector Application Management. - Stefano Forti 002; Alessandro Pagiaro; Antonio Brogi (Simul. Model. Pract. Theory, 2020)

How to place your apps in the fog: State of the art and open challenges. - Antonio Brogi; Stefano Forti 002; Carlos Guerrero; Isaac Lera (Softw. Pract. Exp., 2020)

Deployment and Management of Fog Applications. - Stefano Forti 002 (2020)

Declarative Osmotic Application Placement. - Stefano Forti 002; Antonio Brogi (CAiSE Workshops, 2021)

A Declarative Goal-oriented Framework for Smart Environments with LPaaS. - Giuseppe Bisicchia; Stefano Forti 002; Antonio Brogi (CILC, 2021)

Placing FaaS in the Fog, Securely. - Alessandro Bocci; Stefano Forti 002; Gian-Luigi Ferrari 002; Antonio Brogi (ITASEC, 2021)

Declarative Goal Mediation in Smart Environments. - Giuseppe Bisicchia; Stefano Forti 002; Antonio Brogi (SMARTCOMP, 2021)

Secure FaaS orchestration in the fog: how far are we? - Alessandro Bocci; Stefano Forti 002; Gian-Luigi Ferrari 002; Antonio Brogi (Computing, 2021)

Lightweight self-organising distributed monitoring of Fog infrastructures. - Stefano Forti 002; Marco Gaglianese; Antonio Brogi (Future Gener. Comput. Syst., 2021)

Corrigendum to "Lightweight self-organising distributed monitoring of Fog infrastructures" [Future Gener. Comput. Syst. 114 (2020) 605-618]. - Stefano Forti 002; Marco Gaglianese; Antonio Brogi (Future Gener. Comput. Syst., 2021)

Declarative Application Management in the Fog. - Antonio Brogi; Stefano Forti 002; Carlos Guerrero; Isaac Lera (J. Grid Comput., 2021)

Lightweight Self-adaptive Cloud-IoT Monitoring across Fed4FIRE+ Testbeds (LiSCIo). - Marco Gaglianese; Stefano Forti 002; Francesco Buti; Federica Paganelli; Antonio Brogi (Zenodo, 2021)

Lightweight Self-adaptive Cloud-IoT Monitoring across Fed4FIRE+ Testbeds (LiSCIo). - Marco Gaglianese; Stefano Forti 002; Francesco Buti; Federica Paganelli; Antonio Brogi (Zenodo, 2021)

Type, pad, and place: Avoiding data leaks in Cloud-IoT FaaS orchestrations. - Alessandro Bocci; Stefano Forti 002; Gian-Luigi Ferrari 002; Antonio Brogi (CCGRID, 2022)

Failure Root Cause Analysis for Microservices, Explained. - Jacopo Soldani; Stefano Forti 002; Antonio Brogi (DAIS, 2022)

Secure Partitioning of Composite Cloud Applications. - Alessandro Bocci; Roberto Guanciale; Stefano Forti 002; Gian-Luigi Ferrari 002; Antonio Brogi (ESOCC, 2022)

People Counting in the Times of Covid-19. - E. Maione; Stefano Forti 002; Antonio Brogi (ICSOC Workshops, 2022)

Lightweight Self-adaptive Cloud-IoT Monitoring across Fed4FIRE+ Testbeds. - Marco Gaglianese; Stefano Forti 002; Federica Paganelli; Antonio Brogi (INFOCOM Workshops, 2022)

Green Application Placement in the Cloud-IoT Continuum. - Stefano Forti 002; Antonio Brogi (PADL, 2022)

Keynote: The fog is rising, in sustainable smart cities. - Stefano Forti 002 (PerCom Workshops, 2022)

Data-Aware Service Placement in the Cloud-IoT Continuum. - Jacopo Massa; Stefano Forti 002; Antonio Brogi (SummerSOC, 2022)

Declarative continuous reasoning in the cloud-IoT continuum. - Stefano Forti 002; Giuseppe Bisicchia; Antonio Brogi (J. Log. Comput., 2022)

Trending Topics in Software Engineering. - Stefano Forti 002; Uwe Breitenbücher; Jacopo Soldani (ACM SIGSOFT Softw. Eng. Notes, 2022)

Software Engineering After the COVID-19 Outbreak. - Uwe Breitenbücher; Stefano Forti 002; Jacopo Soldani (ACM SIGSOFT Softw. Eng. Notes, 2022)

Trending Topics in Software Engineering (1). - Stefano Forti 002 (ACM SIGSOFT Softw. Eng. Notes, 2022)

Osmotic management of distributed complex systems: A declarative decentralised approach. - Stefano Forti 002; Isaac Lera; Carlos Guerrero; Antonio Brogi (J. Softw. Evol. Process., 2022)

Probabilistic QoS-aware Placement of VNF Chains at the Edge. - Stefano Forti 002; Federica Paganelli; Antonio Brogi (Theory Pract. Log. Program., 2022)

Declarative and Linear Programming Approaches to Service Placement, Reconciled. - Jacopo Massa; Stefano Forti 002; Patrizio Dazzi; Antonio Brogi (CLOUD, 2023)

Customisable Fault and Performance Monitoring Across Multiple Clouds. - Giuseppe Bisicchia; Stefano Forti 002; Alberto Colla; Antonio Brogi (CLOSER, 2023)

A Proposal for a Continuum-aware Programming Model: From Workflows to Services Autonomously Interacting in the Compute Continuum. - Marco Aldinucci; Robert Birke; Antonio Brogi; Emanuele Carlini; Massimo Coppola; Marco Danelutto; Patrizio Dazzi; Luca Ferrucci; Stefano Forti 002; Hanna Kavalionak; Gabriele Mencagli; Matteo Mordacchini; et al. (COMPSAC, 2023)

Simulating FaaS Orchestrations In The Cloud-Edge Continuum. - Alessio Matricardi; Alessandro Bocci; Stefano Forti 002; Antonio Brogi (FRAME@HPDC, 2023)

Sustainable Cloud-Edge Infrastructure as a Service. - Alessandro Bocci; Stefano Forti 002; Antonio Brogi (MECO, 2023)

Declarative Provisioning of Virtual Network Function Chains in Intent-based Networks. - Jacopo Massa; Stefano Forti 002; Federica Paganelli; Patrizio Dazzi; Antonio Brogi (NetSoft, 2023)

Green Orchestration of Cloud-Edge Applications: State of the Art and Open Challenges. - Marco Gaglianese; Jacopo Soldani; Stefano Forti 002; Antonio Brogi (SOSE, 2023)

Towards declarative intent processing and conflict resolution in IBN. - Jacopo Massa; Stefano Forti 002; Federica Paganelli; Patrizio Dazzi; Antonio Brogi (UCC, 2023)

Sustainable placement of VNF chains in Intent-based Networking. - Tommaso Di Riccio; Jacopo Massa; Stefano Forti 002; Antonio Brogi (UCC, 2023)

Leasing the Cloud-Edge Continuum, à la Carte. - Stefano Forti 002; Ahmad Ibrahim 001; Antonio Brogi (ICLP, 2023)

Data-aware Declarative Application Management in the Cloud-IoT Continuum. - Jacopo Massa; Stefano Forti 002; Patrizio Dazzi; Antonio Brogi (ERCIM News, 2023)

Assessing and enhancing a Cloud-IoT monitoring service over federated testbeds. - Marco Gaglianese; Stefano Forti 002; Federica Paganelli; Antonio Brogi (Future Gener. Comput. Syst., 2023)

Sustainable goal-oriented smart environments: a declarative programming approach. - Giuseppe Bisicchia; Stefano Forti 002; Antonio Brogi (J. Log. Comput., 2023)

Secure Partitioning of Cloud Applications, with Cost Look-Ahead. - Alessandro Bocci; Stefano Forti 002; Roberto Guanciale; Gian-Luigi Ferrari 002; Antonio Brogi (Future Internet, 2023)

yRCA: An explainable failure root cause analyser. - Jacopo Soldani; Stefano Forti 002; Antonio Brogi (Sci. Comput. Program., 2023)

Continuous QoS-aware adaptation of Cloud-IoT application placements. - Juan Luis Herrera 001; Javier Berrocal; Stefano Forti 002; Antonio Brogi; Juan Manuel Murillo (Computing, 2023)

Supplemental material for "Multi-Layered Continuous Reasoning for Cloud-IoT Application Management". - Juan Luis Herrera 001; Javier Berrocal; Stefano Forti 002; Antonio Brogi; Juan Manuel Murillo (IEEE DataPort, 2023)

FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures. - Monica Vitali; Jacopo Soldani; Roberto Amadini; Antonio Brogi; Stefano Forti 002; Simone Gazza; Saverio Giallorenzo; Pierluigi Plebani; Francisco Ponce 001; Gianluigi Zavattaro (CAiSE Research Projects Exhibition, 2024)

A Logic Programming Approach to VM Placement. - Remo Andreoli; Stefano Forti 002; Luigi Pannocchi; Tommaso Cucinotta; Antonio Brogi (CLOSER, 2024)

Towards Declarative Traffic Engineering for Guaranteed Latency-Based Forwarding. - Jacopo Massa; Stefano Forti 002; Federica Paganelli; Patrizio Dazzi; Antonio Brogi; Alexander Clemm; Toerless Eckert (Euro-Par Workshops (2), 2024)

Towards enabling observability of energy demand, with NEST. - Alessandro Bocci; Antonio Brogi; Gianpaolo Cugola; Stefano Forti 002; Luca Mottola; Virginia Pilloni; Sabrina Romano; Jacopo Soldani; Elio Usai (FRAME@HPDC, 2024)

Towards Sustainable Deployment of Microservices over the Cloud-IoT Continuum, with FREEDA. - Jacopo Soldani; Roberto Amadini; Antonio Brogi; Stefano Forti 002; Saverio Giallorenzo; Pierluigi Plebani; Monica Vitali; Gianluigi Zavattaro (FRAME@HPDC, 2024)

A declarative reasoning approach to conflict management in Intent-Based Networking. - Jacopo Massa; Stefano Forti 002; Federica Paganelli; Patrizio Dazzi; Antonio Brogi (ICIN, 2024)

Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications. - Roberto Amadini; Simone Gazza; Jacopo Soldani; Monica Vitali; Antonio Brogi; Stefano Forti 002; Saverio Giallorenzo; Pierluigi Plebani; Francisco Ponce 001; Gianluigi Zavattaro (LOPSTR, 2024)

Continuous reasoning for adaptive container image distribution in the cloud-edge continuum. - Damiano Azzolini; Stefano Forti 002; Antonio Ielo (CoRR, 2024)

Environmentally Sustainable Software Design and Development: A Systematic Literature Review. - Ornela Danushi; Stefano Forti 002; Jacopo Soldani (CoRR, 2024)

Continuous QoS-compliant orchestration in the Cloud-Edge continuum. - Giuseppe Bisicchia; Stefano Forti 002; Ernesto Pimentel 001; Antonio Brogi (Softw. Pract. Exp., 2024)

Multi-Layered Continuous Reasoning for Cloud-IoT Application Management. - Juan Luis Herrera 001; Javier Berrocal; Stefano Forti 002; Antonio Brogi; Juan Manuel Murillo (IEEE Trans. Serv. Comput., 2024)

An Interview with Martin Robillard - 2024 SIGSOFT Awardee. - Stefano Forti 002 (ACM SIGSOFT Softw. Eng. Notes, 2024)

An Interview with Tsong Yueh Chen - 2024 SIGSOFT Awardee. - Stefano Forti 002 (ACM SIGSOFT Softw. Eng. Notes, 2024)

Declarative Deployment Planning for Green Pulverised Collective Computational Systems. - Antonio Brogi; Roberto Casadei; Nicolas Farabegoli; Stefano Forti 002; Mirko Viroli (COORDINATION, 2025)

Carbon-Aware Software Services. - Stefano Forti 002; Jacopo Soldani; Antonio Brogi (ESOCC, 2025)

Enhancing Failure Resilience of Cloud-Edge Microservices: The FREEDA Approach. - Francisco Ponce 001; Stefano Forti 002; Jacopo Soldani; Antonio Brogi (ESOCC, 2025)

Explaining Microservices' Cascading Failures From Their Logs. - Jacopo Soldani; Stefano Forti 002; Luca Roveroni; Antonio Brogi (Softw. Pract. Exp., 2025)

Declarative Application Management in the Fog. A bacteria-inspired decentralised approach. - Antonio Brogi; Stefano Forti 002; Carlos Guerrero; Isaac Lera (CoRR, 2025)

ECLYPSE: a Python Framework for Simulation and Emulation of the Cloud-Edge Continuum. - Jacopo Massa; Valerio De Caro; Stefano Forti 002; Patrizio Dazzi; Davide Bacciu; Antonio Brogi (CoRR, 2025)

Declarative Traffic Engineering for Low-Latency and Reliable Networking. - Jacopo Massa; Stefano Forti 002; Federica Paganelli; Patrizio Dazzi; Antonio Brogi; Alexander Clemm; Toerless Eckert (CoRR, 2025)

Combining Declarative and Linear Programming for Application Management in the Cloud-Edge Continuum. - Jacopo Massa; Stefano Forti 002; Patrizio Dazzi; Antonio Brogi (CoRR, 2025)

Application Placement with Constraint Relaxation. - Damiano Azzolini; Marco Duca; Stefano Forti 002; Francesco Gallo; Antonio Ielo (CoRR, 2025)

Carbon-Efficient Software Design and Development: A Systematic Literature Review. - Ornela Danushi; Stefano Forti 002; Jacopo Soldani (ACM Comput. Surv., 2025)