| 2023 | CaiSE | The MEV Saga: Can Regulation Illuminate the Dark Forest? | Simona Ramos, Joshua Ellul |
| 2022 | ESORICS | Verifiable External Blockchain Calls: Towards Removing Oracle Input Intermediaries. | Joshua Ellul, Gordon J. Pace |
| 2022 | RV | Tainting in Smart Contracts: Combining Static and Runtime Verification. | Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace |
| 2022 | RV | AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification. | Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace |
| 2021 | ICAIL | Regulating artificial intelligence: a technology regulator's perspective. | Joshua Ellul, Gordon J. Pace, Stephen McCarthy, Trevor Sammut, Juanita Brockdorff, Matthew Scerri |
| 2021 | ISSTA | Optional monitoring for long-lived transactions. | Joshua Ellul, Gordon J. Pace |
| 2020 | ISoLA | Towards Configurable and Efficient Runtime Verification of Blockchain Based Smart Contracts at the Virtual Machine Level. | Joshua Ellul |
| 2019 | SRDS | Towards A Unified Programming Model for Blockchain Smart Contract dApp Systems. | Joshua Ellul, Gordon J. Pace |
| 2018 | CGO | D'Artagnan: An Embedded DSL Framework for Distributed Embedded Systems. | Adrian Mizzi, Joshua Ellul, Gordon J. Pace |
| 2018 | EDCC | Runtime Verification of Ethereum Smart Contracts. | Joshua Ellul, Gordon J. Pace |
| 2018 | ISoLA | Contracts over Smart Contracts: Recovering from Violations Dynamically. | Christian Colombo, Joshua Ellul, Gordon J. Pace |
| 2018 | RV | Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond. | Shaun Azzopardi, Joshua Ellul, Gordon J. Pace |
| 2017 | EWSN | Poster: Towards WebAssembly for Wireless Sensor Networks. | Joshua Ellul |
| 2017 | WISTP | AndroNeo: Hardening Android Malware Sandboxes by Predicting Evasion Heuristics. | Yonas Leguesse, Mark Vella, Joshua Ellul |
| 2009 | AINA | A Dynamic Size Distributed Program Image Cache for Wireless Sensor Networks. | Joshua Ellul, Kirk Martinez, David De Roure |