Runtime Verification for Trustworthy Computing. - Robert Abela; Christian Colombo 001; Axel Curmi; Mattea Fenech; Mark Vella; Angelo Ferrando 001 (AREA@ECAI, 2023)