| Issue Date | Title | Author(s) |
| 2025-06 | If at first you don’t succeed : extended monitorability through multiple executions | Achilleos, Antonis; Francalanza, Adrian; Xuereb, Jasmine |
| 2008-10 | DPICache : a distributed program image cache for wireless sensor networks | Ellul, Joshua; Martinez, Kirk |
| 2009-05 | A dynamic size distributed program image cache for wireless sensor networks | Ellul, Joshua; Martinez, Kirk; De Roure, David |
| 2010-04 | Run-time compilation of bytecode in wireless sensor networks | Ellul, Joshua; Martinez, Kirk |
| 2010-06 | Field deployment of low power high performance nodes | Martinez, Kirk; Basford, Philip; Ellul, Joshua; Clarke, Richard |
| 2010-06 | A few bytes are worth a thousand words : run-time compilation of high level scripts in sensor networks | Ellul, Joshua; Martinez, Kirk |
| 2010-07 | Run-time compilation of bytecode in sensor networks | Ellul, Joshua; Martinez, Kirk |
| 2011-08 | The BSNOS platform : a body sensor networks targeted operating system and toolset | Ellul, Joshua; Lo, Benny; Yang, Guang-Zhong |
| 2027 | Internet voting maturity framework — quantifying maturity in internet voting protocols | Baranski, Stanlislaw; Biedermann, Ben; Ellul, Joshua |
| 2025 | Formal semantics and implementation of Ethereum smart contracts for blockchain-based supply chain attestation flows : a viticulture case study | Ellul, Joshua; Pace, Gordon J.; Falzon, Ryan; Scerri, Matthew |
| 2025 | Runtime verification and AI : addressing pragmatic regulatory challenges | Colombo, Christian; Pace, Gordon; Seychell, Dylan |
| 2025 | Interest beyond violation : on points-of-interest in runtime verification | Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo |
| 2024-09 | RVsec : towards a comprehensive technology stack for secure deployment of software monitors | Colombo, Christian; Curmi, Axel; Abela, Robert |
| 2024 | A metric to assess the reliability of crowd-sourced SUS scores : a case study on the PoPLar authentication tool | Leguesse, Yonas; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio |
| 2025-09 | Code attestation for monitor compromise detection | Mifsud, Matthew; Colombo, Christian |
| 2026 | FLARE — monitoring for the regulatory requirements of a drone case study | Fenech, Sean; Colombo, Christian; Pace, Gordon; Curmi, Axel |
| 2025 | Reversible computation vs. runtime adaptation in industrial IOT systems | Attard, Duncan Paul; Bugeja, Keith; Francalanza, Adrian; Galea, Marietta; Tabone, Gerard; Zahra, Gianluca |
| 2023-04 | Marco Polo - a tool for automated exploratory testing of previously unseen online stores | Gatt, Cristina; Micallef, Mark; Bugeja, Mark |
| 2025 | Centralized vs. decentralized monitors for hyperproperties | Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Gorla, Daniele; Wagemaker, Jana |
| 2018-11 | CSAW'18 computer science annual workshop | Bugeja, Keith |
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 568
