Article no. 108005.

Article no. 507.

The sustainable management of smart environments enabled by the Internet of Things requires new methodologies and tools to handle users and their objectives on cyber-physical systems. This article proposes a declarative framework to model IoT-enabled smart environments, user roles, hierarchical environments, customized mediation policies, and energy-aware actuator settings.

Developing and releasing multiservice applications rely upon a pipeline of automation tools known as Continuous Integration/Continuous Deployment. Among those tools, continuous reasoning is exploited by large companies to perform incremental static analyses on their code commits as soon as they are integrated into a shared codebase. In this article, we extend continuous reasoning towards the continuous QoS- and context-aware management of multiservice applications in Cloud-IoT scenarios.

Accepted.

In press.

This work proposes a methodology and prototype for distributing the shots of a quantum program among many QPUs, improving resilience to failures and enabling users to encode distribution strategies through a domain-specific language.

This paper proposes distributing the shots of a quantum computation among multiple quantum computers, enabling custom policies for choosing devices, decoupling decision-making from execution, and exposing partial output distributions.

Monitoring the proper functioning and performance of an infrastructure spanning multiple Cloud datacentres is challenging. This article proposes an open-source prototype tool to perform highly customisable fault and performance monitoring across multiple Clouds through a declarative configuration of monitoring tasks and aggregation policies.

Smart environments powered by the Internet of Things aim at improving our daily lives by automatically tuning ambient parameters and achieving energy savings. This article proposes a declarative framework to represent smart environments, user-set goals, and customisable mediation policies across multiple IoT systems.

Smart environments enabled by the Internet of Things aim at improving our daily lives by automatically tuning ambient parameters and by achieving energy savings through self-managing cyber-physical systems. Commercial solutions, however, only permit setting simple target goals and do not mediate between conflicting goals among different users or system administrators.

Software.

Software.

Software.

Software.

Software.

Software.

Software.

Software.

Dataset.

Dataset.

Dataset.

PhD thesis on methodologies, software tools, and experimental approaches for executing, distributing, and evaluating quantum computations on cloud-accessible NISQ devices.

Designing platforms and methodologies for the orchestration and management of multi-service applications in the Cloud-IoT continuum is becoming more and more a problem of primary importance, due to the current paradigm shifts in the applications development and the new computing paradigms. In this thesis, we study and implement innovative orchestration techniques based on the Continuous Reasoning approach to achieve a scalable, continuous and QoS-compliant management of multi-service applications on large-scale, geographically distributed Cloud-IoT networks.

This thesis aims at designing and prototyping a goal-oriented system for managing domotics IoT devices by suitably reconciling possibly conflicting goals set by different stakeholders. The prototype exploits micro:bit devices for sensing and actuating, extends the Web of Things standard with REST interfaces, and employs the Prolog language for reasoning.