Our publications

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