Our publications

NFT - Legal Token Classification
Claudia Di Bernardino, Andres Chomczyk Penedo, Joshua Ellul, Agata Ferreira, Axel von Goldbeck, Robert Herian, Alireza Siadat and Nina-Luisa Siedler
Technical report by the European Blockchain Observatory and Forum. July 2021

Optional Monitoring for Long-Lived Transactions
Joshua Ellul and Gordon J. Pace
in VORTEX 2021: International Workshop on Verification and mOnitoring at Runtime EXecution, July 2021

Two Sides to Every Story. The Truth, Post-truth, and the Blockchain Truth
Joshua Ellul, Alex Grech, Gordon J. Pace
Book chapter in Media, Technology and Education in a Post-Truth Society

Central Bank Digital Currencies and a Euro for the Future
George Giaglis, Lambis Dionysopoulos, Marianna Charalambous, Nikolaos Kostopoulos, Ioannis Vlachos, Tonia Damvakeraki, Zalan Noszek, Andrii Sovershennyi, Kyrylo Chykhradze, Iordanis Papoutsoglou, Konstantinos Votis, Alexi Anania, Alessandro Bonetti, Arnaud Le Hors, Erick de Moura, Ezechiel Copic, Ivona Skultetyova, Jai Ramaswamy, Jean-Marc Seigneur, Joshua Ellul, Luca Fantacci, Marina Niforos, Matthew Hammond, Manuel Machado Ruiz, Paolo Dini, Scott Stornetta, Stefan Loesch, Suzana Maranhão Moreno, Tadej Slapnik
Technical report by the European Blockchain Observatory and Forum. June 2021

Towards External Calls for Blockchain and Distributed Ledger Technology
Joshua Ellul and Gordon J. Pace
Pre-print, May 2021

Application of Gradient Boosting Algorithms for Anti-money Laundering in Cryptocurrencies
Dylan Vassallo, Vincent Vella and Joshua Ellul
In Springer SN Computer Science, Volume 2, Issue 3, May 2021 

Runtime Monitoring Processes Across Blockchains
Shaun Azzopardi, Joshua Ellul and Gordon J. Pace
In the 9th IPM International Conference on Fundamentals of Software Engineering (FSEN 2021), May 2021

Blockchain is dead! Long live Blockchain!
Joshua Ellul
In The Journal of The British Blockchain Association, March 2021.

Blockchain, Decentralisation and the Public Interest: The need for a Decentralisation Conceptual Framework for dApps
Joshua Ellul
In Institute for the Public Services IPS Journal, Volume 1, Issue 1, February 2021.

Trusted Academic Transcripts on the Blockchain. A Systematic Literature Review
 Giulio Caldarelli and Joshua Ellul
In Applied Sciences Volume 11, Issue 4, February 2021.

A General Theory of Contract Conflicts with Environmental Constraints
Gordon J. Pace
In the Proceedings of the 33rd International Conference on Legal Knowledge and Information Systems (JURIX’20), December 2020

Themulus: A Timed Contract-calculus
Alberto Aranda Garcia, Maria-Emilia Cambronero, Christian Colombo, Luis Llana and Gordon J. Pace
In International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, December 2020

Mapping the Future of Legal Personality with New Technologies
Max Ganado, Joshua Ellul, Gordon Pace, Steve Tendon and Bryan Wilson
In MIT Computational Law Report, Volume 1 Issue 3, November 2020.

Invited Paper: Towards Configurable and Efficient Runtime Verification of Blockchain based Smart Contracts at the Virtual Machine Level
Joshua Ellul
In the Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions of the 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, October 2020

Runtime Verification of Contracts with Themulus
Alberto Aranda Garcia, Maria-Emilia Cambronero, Christian Colombo, Luis Llana and Gordon J. Pace
In 18th edition of the International Conference on Software Engineering and Formal Methods (SEFM 2020), September 2020 

Detection of illicit accounts over the Ethereum blockchain
Steven Farrugia, Joshua Ellul and George Azzopardi
In Elsevier Expert Systems with Applications, Volume 150, July 2020 

Invited Paper: Regulating Blockchain, DLT and Smart Contracts: A Technology Regulator's Perspective
Joshua Ellul, Max Ganado, Jonathan Galea, Stephen McCarthy and Gordon J. Pace
In ERA Forum, June 2020

A framework for creating deployable smart contracts for non-fungible tokens on the Ethereum blockchain
Dan Chirtoaca, Joshua Ellul and George Azzopardi
In 2nd IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS), April 2020

Towards A Unified Programming Model for Blockchain Smart Contract dApp Systems
Joshua Ellul and Gordon Pace
In 2nd International Workshop on Blockchain Dependability, October 2019

Invited Paper: Blockchain and the Common Good Reimagined
Joshua Ellul and Gordon Pace
The Common Good in the Digital Age, the Vatican City State, September 2019

Porthos: Macroprogramming Blockchain Systems
Adrian Mizzi, Joshua Ellul and Gordon Pace
In 2nd International Workshop on Blockchains and Smart Contracts (BSC), June 2019

The Truth in the Myth of the Lawyer-Programmer Chimera
Joshua Ellul, Ian Gauci and Gordon J. Pace
In DLT Malta: Thoughts from the Blockchain Island, ed. Patrick Young, ISBN 978-8362627028, May 2019

Verification of Smart Contract Business Logic: Exploiting a Java Source Code Verifier
Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raul Pardo, Vincent Rebiscoul and Gerardo Schneider
In the Proceedings of the 8th IPM International Conference on Fundamentals of Software Engineering, May 2019

On Observing Contracts: Deontic Contracts Meet Smart Contracts
Shaun Azzopardi, Gordon J. Pace and Fernando Schapachnik
In the Proceedings of JURIX’18, December 2018

Contracts over Smart Contracts: Recovering from Violations Dynamically
Christian Colombo, Joshua Ellul and Gordon J. Pace
In 8th International Symposium, ISoLA 2018, November 2018

Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond
Shaun Azzopardi, Joshua Ellul and Gordon J. Pace
In The 18th International Conference on Runtime Verification, November 2018

Smart Contracts - A Killer Application for Deductive Source Code Verification
Wolfgang Ahrendt, Gordon J. Pace and Gerardo Schneider
In Festschrift for Arnd Poetzsch-Heffter, LNCS, October 2018

Runtime Verification of Ethereum Smart Contracts
Joshua Ellul and Gordon J. Pace
In International Workshop on Blockchain Dependability, in conjunction with 14th European Dependable Computing Conference, September 2018

Entering the Age of the Blockchain of Things
Joshua Ellul and Gordon J. Pace
In THINK Magazine, Issue 24, June, 2018

Macroprogramming the Blockchain of Things
Adrian Mizzi, Joshua Ellul and Gordon J. Pace
In IEEE 1st International Workshop on Blockchain for the Internet of Things, August, 2018

The Blockchain of Things, Beyond Bitcoin: A Systematic Review
Fthi Abadi, Joshua Ellul and George Azzopardi
In IEEE 1st International Workshop on Blockchain for the Internet of Things, August, 2018

AlkylVM: A Virtual Machine for Smart Contract Blockchain Connected Internet of Things
Joshua Ellul and Gordon J. Pace
In 1st International Workshop on Blockchains and Smart Contracts (BSC) 2018

 


https://www.um.edu.mt/dlt/ourpublications