Joshua Ellul
Joshua Ellul
University of Malta and Malta Digital Innovation Authority
E-mail confirmado em um.edu.mt - Página inicial
Título
Citado por
Citado por
Ano
Runtime verification of ethereum smart contracts
J Ellul, GJ Pace
2018 14th European Dependable Computing Conference (EDCC), 158-163, 2018
252018
AlkylVM: A Virtual Machine for Smart Contract Blockchain Connected Internet of Things
J Ellul, GJ Pace
1st International Workshop on Blockchains and Smart Contracts (BSC), 2018
242018
Run-time compilation of bytecode in sensor networks
J Ellul, K Martinez
2010 Fourth International Conference on Sensor Technologies and Applications …, 2010
222010
The BSNOS platform: a body sensor networks targeted operating system and toolset
J Ellul, B Lo, GZ Yang
The fifth international conference on sensor technologies and applications …, 2011
172011
Monitoring smart contracts: Contractlarva and open challenges beyond
S Azzopardi, J Ellul, GJ Pace
International Conference on Runtime Verification, 113-137, 2018
152018
The blockchain of things, beyond bitcoin: a systematic review
FA Abadi, J Ellul, G Azzopardi
2018 IEEE International Conference on Internet of Things (iThings) and IEEE …, 2018
132018
Gumsense-a high power low power sensor node
K Martinez, P Basford, J Ellul, R Spanton
132009
Contracts over smart contracts: Recovering from violations dynamically
C Colombo, J Ellul, GJ Pace
International Symposium on Leveraging Applications of Formal Methods, 300-315, 2018
112018
Field deployment of low power high performance nodes
K Martinez, P Basford, J Ellul, R Clarke
2010 IEEE 30th International Conference on Distributed Computing Systems …, 2010
92010
Verification of smart contract business logic
W Ahrendt, R Bubel, J Ellul, GJ Pace, R Pardo, V Rebiscoul, G Schneider
International Conference on Fundamentals of Software Engineering, 228-243, 2019
82019
Run-time compilation techniques for wireless sensor networks
J Ellul
University of Southampton, 2012
82012
D'artagnan: An embedded dsl framework for distributed embedded systems
A Mizzi, J Ellul, G Pace
Proceedings of the Real World Domain Specific Languages Workshop 2018, 1-9, 2018
42018
A Few Bytes are Worth a Thousand Words: Run-Time Compilation of High Level Scripts in Sensor Networks
J Ellul, K Martinez
2010 IEEE 30th International Conference on Distributed Computing Systems …, 2010
4*2010
Run-time compilation of bytecode in wireless sensor networks
J Ellul, K Martinez
Proceedings of the 9th ACM/IEEE International Conference on Information …, 2010
4*2010
AndroNeo: Hardening Android Malware Sandboxes by Predicting Evasion Heuristics
Y Leguesse, MJ Vella, J Ellul
1th WISTP International Conference on Information Security Theory and …, 2017
32017
Poster: Towards WebAssembly for Wireless Sensor Networks.
J Ellul
EWSN, 208-209, 2017
32017
A dynamic size distributed program image cache for wireless sensor networks
J Ellul, K Martinez, D De Roure
2009 International Conference on Advanced Information Networking and …, 2009
32009
Detection of illicit accounts over the Ethereum blockchain
S Farrugia, J Ellul, G Azzopardi
Expert Systems with Applications 150, 113318, 2020
22020
Macroprogramming the blockchain of things
A Mizzi, J Ellul, GJ Pace
2018 IEEE International Conference on Internet of Things (iThings) and IEEE …, 2018
22018
Making sensor node virtual machines work for real-world applications
N Reijers, J Ellul, CS Shih
IEEE Embedded Systems Letters 11 (1), 13-16, 2018
22018
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20