Projects

AIDOaRt (2021 - 2023)

AI-augmented automation supporting modelling, coding, testing, monitoring and continuous development in Cyber-Physical Systems

LearnTwins (2020 - 2023)

Learning Digital Twins for the Validation and Verification of Dependable Cyber-Physical Systems.

Dependable Internet of Things in Adverse Environments

(2016 - 2022)

The project carried out cutting-edge basic research aiming to offer methods and tools to predict, guarantee, and ultimately raise the level of dependability of the IoT.