Thanh Bui

SMILE IV - Safety analysis and verification/validation of MachIne LEarning based systems Autonomous vehicles heavily rely on deep learning (DL) algorithms to function effectively. Nevertheless, it is still an open research questi…

SAFEXPLAIN addresses the challenges of DL-based solution certification by (i) designing explainable DL solutions and (ii) designing FUSA security patterns for different DL usage levels

MIDAS aims to solve the problem of anonymity regarding video data collected in real traffic environments. MIDAS develops machine learning algorithms to replace sensitive information in images, so that they can be saved for future …

The VALU3S project aimed to evaluate the state-of-the-art verification and validation (V&V) methods and tools for automated systems in automotive industry, agriculture, railway, healthcare, aerospace and industrial automation …