Joshua Ellul

Orcid: 0000-0002-4796-5665

According to our database1, Joshua Ellul authored at least 43 papers between 2009 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Systematisation of Knowledge: Connecting European Digital Identities with Web3.
Proceedings of the IEEE International Conference on Blockchain, 2024

2023
Active External Calls for Blockchain and Distributed Ledger Technologies: Debunking cited inability of Blockchain and DLT to make external calls.
CoRR, 2023

The MEV Saga: Can Regulation Illuminate the Dark Forest?
Proceedings of the Advanced Information Systems Engineering Workshops, 2023

Volumetric and Edible NFTs: Explorations of the Limits of Aesthetic Assetization and Tokenization.
Proceedings of the 11th International Conference on Digital and Interactive Arts, 2023

2022
TinkercadNetConnector: Connecting emulated IoT devices to the outside world.
SoftwareX, December, 2022

Should we regulate Artificial Intelligence or some uses of software?
Discov. Artif. Intell., 2022

AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification.
Proceedings of the Runtime Verification - 22nd International Conference, 2022

Tainting in Smart Contracts: Combining Static and Runtime Verification.
Proceedings of the Runtime Verification - 22nd International Conference, 2022

Verifiable External Blockchain Calls: Towards Removing Oracle Input Intermediaries.
Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2022

2021
Application of Gradient Boosting Algorithms for Anti-money Laundering in Cryptocurrencies.
SN Comput. Sci., 2021

Towards External Calls for Blockchain and Distributed Ledger Technology.
CoRR, 2021

A Pragmatic Approach to Regulating Artificial Intelligence: A Technology Regulator's Perspective.
CoRR, 2021

EtherClue: Digital investigation of attacks on Ethereum smart contracts.
CoRR, 2021

Optional monitoring for long-lived transactions.
Proceedings of the VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, 2021

Regulating artificial intelligence: a technology regulator's perspective.
Proceedings of the ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, São Paulo Brazil, June 21, 2021

Runtime Monitoring Processes Across Blockchains.
Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

2020
Elderly Fall Detection Systems: A Literature Survey.
Frontiers Robotics AI, 2020

Detection of illicit accounts over the Ethereum blockchain.
Expert Syst. Appl., 2020

Towards Configurable and Efficient Runtime Verification of Blockchain Based Smart Contracts at the Virtual Machine Level.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Monitoring Indoor Living Spaces using Depth Information.
Proceedings of the 10th IEEE International Conference on Consumer Electronics, 2020

A framework for creating deployable smart contracts for non-fungible tokens on the Ethereum blockchain.
Proceedings of the 2nd IEEE International Conference on Decentralized Applications and Infrastructures, 2020

2019
Guest Editorial: Special Issue on Pervasive Sensing and Machine Learning for Mental Health.
IEEE J. Biomed. Health Informatics, 2019

Making Sensor Node Virtual Machines Work for Real-World Applications.
IEEE Embed. Syst. Lett., 2019

Blockchain and the Common Good Reimagined.
CoRR, 2019

Towards A Unified Programming Model for Blockchain Smart Contract dApp Systems.
Proceedings of the 38th International Symposium on Reliable Distributed Systems Workshops, 2019

Porthos: Macroprogramming Blockchain Systems.
Proceedings of the 10th IFIP International Conference on New Technologies, 2019

An RGB-D based Framework for Ambient Assistive Living Applications.
Proceedings of the 5th IEEE International Symposium on Measurements & Networking, 2019

Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier.
Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

2018
Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond.
Proceedings of the Runtime Verification - 18th International Conference, 2018

AlkylVM: A Virtual Machine for Smart Contract Blockchain Connected Internet of Things.
Proceedings of the 9th IFIP International Conference on New Technologies, 2018

Macroprogramming the Blockchain of Things.
Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

The Blockchain of Things, Beyond Bitcoin: A Systematic Review.
Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

Contracts over Smart Contracts: Recovering from Violations Dynamically.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Runtime Verification of Ethereum Smart Contracts.
Proceedings of the 14th European Dependable Computing Conference, 2018

D'Artagnan: An Embedded DSL Framework for Distributed Embedded Systems.
Proceedings of the Real World Domain Specific Languages Workshop, 2018

2017
AndroNeo: Hardening Android Malware Sandboxes by Predicting Evasion Heuristics.
Proceedings of the Information Security Theory and Practice, 2017

Poster: Towards WebAssembly for Wireless Sensor Networks.
Proceedings of the 2017 International Conference on Embedded Wireless Systems and Networks, 2017

An Embedded DSL Framework for Distributed Embedded Systems: Doctoral Symposium.
Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems, 2017

2012
Run-time compilation techniques for wireless sensor networks.
PhD thesis, 2012

2010
Run-time compilation of bytecode in wireless sensor networks.
Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

Field Deployment of Low Power High Performance Nodes.
Proceedings of the 30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 2010

A Few Bytes are Worth a Thousand Words: Run-Time Compilation of High Level Scripts in Sensor Networks.
Proceedings of the 30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 2010

2009
A Dynamic Size Distributed Program Image Cache for Wireless Sensor Networks.
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009


  Loading...