Joshua Ellul
Orcid: 0000-0002-4796-5665
According to our database1,
Joshua Ellul
authored at least 43 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
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
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
SoftwareX, December, 2022
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
Proceedings of the Runtime Verification - 22nd International Conference, 2022
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
A Pragmatic Approach to Regulating Artificial Intelligence: A Technology Regulator's Perspective.
CoRR, 2021
Proceedings of the VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, 2021
Proceedings of the ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, São Paulo Brazil, June 21, 2021
Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021
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
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
IEEE Embed. Syst. Lett., 2019
Proceedings of the 38th International Symposium on Reliable Distributed Systems Workshops, 2019
Proceedings of the 10th IFIP International Conference on New Technologies, 2019
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
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
Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018
Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018
Proceedings of the 14th European Dependable Computing Conference, 2018
Proceedings of the Real World Domain Specific Languages Workshop, 2018
2017
Proceedings of the Information Security Theory and Practice, 2017
Proceedings of the 2017 International Conference on Embedded Wireless Systems and Networks, 2017
Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems, 2017
2012
2010
Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010
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
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009