Scholarly Works - FacICTCS Collection home page Statistics

Browse
RSS Feed RSS Feed RSS Feed

Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 558
Issue DateTitleAuthor(s)
2025Runtime verification and AI : addressing pragmatic regulatory challengesColombo, Christian; Pace, Gordon; Seychell, Dylan
2025Interest beyond violation : on points-of-interest in runtime verificationColombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2024-09RVsec : towards a comprehensive technology stack for secure deployment of software monitorsColombo, Christian; Curmi, Axel; Abela, Robert
2024A metric to assess the reliability of crowd-sourced SUS scores : a case study on the PoPLar authentication toolLeguesse, Yonas; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio
2025-09Code attestation for monitor compromise detectionMifsud, Matthew; Colombo, Christian
2026FLARE — monitoring for the regulatory requirements of a drone case studyFenech, Sean; Colombo, Christian; Pace, Gordon; Curmi, Axel
2025Reversible computation vs. runtime adaptation in industrial IOT systemsAttard, Duncan Paul; Bugeja, Keith; Francalanza, Adrian; Galea, Marietta; Tabone, Gerard; Zahra, Gianluca
2023-04Marco Polo - a tool for automated exploratory testing of previously unseen online storesGatt, Cristina; Micallef, Mark; Bugeja, Mark
2025Centralized vs. decentralized monitors for hyperpropertiesAceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Gorla, Daniele; Wagemaker, Jana
2018-11CSAW'18 computer science annual workshopBugeja, Keith
2025Towards a Realtime FRB pipeline at the northern cross radio telescopeDe Barro, Adrian; Magro, Alessio; Bugeja, Keith; Naldi, Giovanni; Ragno, Nicola; Fiori, Francesco; Cesare, Valentina
2025ARPΔ : Accelerated ray-tracing photon differentials for real-time global illumination with combined specular and diffuse solutionsDe Barro, Adrian; Bugeja, Keith; Spina, Sandro
2025The design of a new digital signal processing system for the upgraded Northern Cross Radio TelescopeNaldi, G.; Magro, Alessio; Fiori, F.; Mattana, A.; Perini, F.; Ragno, N.; Schiaffino, M.; Camilleri, Hayley; De Barro, Adrian; Bugeja, Keith; Beduzzi, L.; Bernardi, G.; Bianchi, G.; Bruno, L.; De Luca, M.A.; Di Lizia, P.; Fiorentini, M.; Geminardi, A.; Massari, M.; Montaruli, M.F.; Orlati, A.; Pelliciari, D.; Pilia, M.; Poli, A.; Trudu, M.
2025Forge : extending anvil for visual evaluation of rendering pipelinesNapoli, Kevin; Bugeja, Keith; Spina, Sandro
2025ARPΔ : hardware-accelerated ray-traced photon differentialsDe Barro, Adrian; Bugeja, Keith; Spina, Sandro
2025Spectral transforms for caustic denoising : a comparative analysis for Monte Carlo renderingNapoli, Kevin; Bugeja, Keith; Spina, Sandro; Magro, Mark
2024Preface to the JOT special issue on VORTEX at ECOOP 2022 : selected papersAncona, Davide; Francalanza, Adrian
2024NFTs and self-sovereign identity : opportunities and challengesParry, Gowher Majeed; Ellul, Joshua
2024Conflict analysis for timed contract automataAzzopardi, Shaun; Pace, Gordon J.
2025-06A theory of (linear-time) timed monitorsAmara, Mouloud; Bernardi, Giovanni; Aristide Foughali, Mohammed; Francalanza, Adrian
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 558