Declarative continuous reasoning in the cloud-IoT continuum

S Forti, G Bisicchia, A Brogi - Journal of Logic and Computation, 2022 - academic.oup.com
Develo** and releasing multiservice applications rely upon a pipeline of automation tools
known as Continuous Integration/Continuous Deployment. Among those tools, continuous …

Declarative secure placement of faas orchestrations in the cloud-edge continuum

A Bocci, S Forti, GL Ferrari, A Brogi - Electronics, 2023 - mdpi.com
The decision-making related to the placement of applications made from orchestrated
serverless functions onto Cloud-Edge infrastructures is a challenging problem as it must …

Data-aware service placement in the cloud-iot continuum

J Massa, S Forti, A Brogi - Symposium and Summer School on Service …, 2022 - Springer
We present a declarative solution to determine, in a data-aware manner, application service
placements and SDN data routings over Cloud-IoT infrastructures while meeting functional …

Cloud load balancing algorithm

H Rai, SK Ojha, A Nazarov - 2020 2nd International Conference …, 2020 - ieeexplore.ieee.org
Cloud computing where consumers can access massive quantities of computer power
without worrying the network by charging the money. The key problem with cloud computing …

Osmotic management of distributed complex systems: a declarative decentralised approach

S Forti, I Lera, C Guerrero… - Journal of Software …, 2022 - Wiley Online Library
Osmotic computing encompasses emerging Cloud‐Internet of Things (IoT) computing
paradigms, by featuring the possibility for application services to adapt into different …

Declarative application management in the fog: A bacteria-inspired decentralised approach

A Brogi, S Forti, C Guerrero, I Lera - Journal of Grid Computing, 2021 - Springer
Orchestrating next-gen applications over heterogeneous resources along the Cloud-IoT
continuum calls for new strategies and tools to enable scalable and application-specific …

Continuous reasoning for managing next-gen distributed applications

S Forti, A Brogi - arxiv preprint arxiv:2009.10245, 2020 - arxiv.org
Continuous reasoning has proven effective in incrementally analysing changes in
application codebases within Continuous Integration/Continuous Deployment (CI/CD) …

Type, pad, and place: Avoiding data leaks in Cloud-IoT FaaS orchestrations

A Bocci, S Forti, GL Ferrari… - 2022 22nd IEEE …, 2022 - ieeexplore.ieee.org
Placing applications composed as orchestrated serverless functions onto Cloud-loT
infrastructures is a chal-lenging problem as it must consider hardware, software, network …

Towards declarative decentralised application management in the fog

A Brogi, S Forti, C Guerrero… - 2020 IEEE international …, 2020 - ieeexplore.ieee.org
Managing next-gen applications over Fog computing infrastructures is challenging and calls
for new methodologies and tools that enable flexible, scalable and application-specific …

[PDF][PDF] Placing FaaS in the Fog, Securely.

A Bocci, S Forti, GL Ferrari, A Brogi - ITASEC, 2021 - ceur-ws.org
Abstract Placing FaaS applications onto Fog infrastructures is an open problem presenting
various challenges. It requires considering hardware and software requirements of single …