Ellis Solaiman
Ellis Solaiman
School of Computer Science, Newcastle University
Verified email at ncl.ac.uk - Homepage
Cited by
Cited by
Contract representation for run-time monitoring and enforcement
C Molina-Jimenez, S Shrivastava, E Solaiman, J Warne
EEE International Conference on E-Commerce, 2003. CEC 2003., 103-110, 2003
Run-time monitoring and enforcement of electronic contracts
C Molina-Jimenez, S Shrivastava, E Solaiman, J Warne
Electronic Commerce Research and Applications 3 (2), 108-125, 2004
Model checking correctness properties of electronic contracts
E Solaiman, C Molina-Jimenez, S Shrivastav
International Conference on Service-Oriented Computing, 303-318, 2003
Implementation of smart contracts using hybrid architectures with on and off–blockchain components
C Molina-Jimenez, I Sfyrakis, E Solaiman, I Ng, MW Wong, A Chun, ...
2018 IEEE 8th International Symposium on Cloud and Service Computing (SC2†…, 2018
On and Off-Blockchain Enforcement of Smart Contracts
C Molina-Jimenez, E Solaiman, I Sfyrakis, I Ng, J Crowcroft
Euro-Par 2018: European Conference on Parallel Processing, 342-354 11339, 2018
Orchestrating bigdata analysis workflows
R Ranjan, S Garg, AR Khoskbar, E Solaiman, P James, ...
IEEE Cloud Computing 4 (3), 20-28, 2017
A Tool for the Automatic Verification of BPMN Choreographies
E Solaiman, W Sun, C Molina-Jimenez
12th IEEE International Conference on Services Computing (SCC), 2015
Monitoring internet of things application ecosystems for failure
E Solaiman, R Ranjan, PP Jayaraman, K Mitra
IT Professional 18 (5), 8-11, 2016
A multi-layered performance analysis for cloud-based topic detection and tracking in Big Data applications
M Wang, PP Jayaraman, E Solaiman, LY Chen, Z Li, S Jun, ...
Future Generation Computer Systems, 2018
Performance benchmarking of smart contracts to assess miner incentives in Ethereum
A Aldweesh, M Alharby, E Solaiman, A van Moorsel
2018 14th European Dependable Computing Conference (EDCC), 144-149, 2018
End-to-end service level agreement specification for iot applications
A Alqahtani, Y Li, P Patel, E Solaiman, R Ranjan
2018 International Conference on High Performance Computing & Simulation†…, 2018
A state aware model and architecture for the monitoring and enforcement of electronic contracts
E Solaiman, I Sfyrakis, C Molina-Jimenez
2016 IEEE 18th Conference on Business Informatics (CBI) 1, 55-63, 2016
IoT-CANE: A unified knowledge management system for data-centric Internet of Things application systems
Y Li, A Alqahtani, E Solaiman, C Perera, PP Jayaraman, R Buyya, ...
Journal of Parallel and Distributed Computing 131, 161-172, 2019
High Level Model Checker Based Testing of Electronic Contracts
E Solaiman, I Sfyrakis, C Molina-Jimenez
Cloud Computing and Services Science, 193-215, 2016
Dynamic Testing and Deployment of a Contract Monitoring Service
E Solaiman, I Sfyrakis, C Molina-Jimenez
5th International Conference on Cloud Computing and Services Science (CLOSER†…, 2015
Meeting graduate employability needs through open-source collaboration with industry
M Forshaw, E Solaiman, O McGee, H Firth, P Robinson, R Emerson
Proceedings of the 47th ACM Technical Symposium on Computing Science†…, 2016
Implementation and evaluation of smart contracts using a hybrid on‐and off‐blockchain architecture
E Solaiman, T Wike, I Sfyrakis
Concurrency and Computation: Practice and Experience, e5811, 2020
Cyber-physical application monitoring across multiple clouds
A Noor, K Mitra, E Solaiman, A Souza, D Jha, U Demirbaga, P Jayaraman, ...
Computers and Electrical Engineering 77, 314-324, 2019
Blockchain-based SLA Management in the Context of IoT
A Alzubaidi, E Solaiman, P Patel, K Mitra
IT Professional 21 (4), 33-40, 2019
Demonstration Abstract: A Toolkit for Specifying Service Level Agreements for IoT applications
A Alqahtani, P Patel, E Solaiman, R Ranjan
arXiv preprint arXiv:1810.02749, 2018
The system can't perform the operation now. Try again later.
Articles 1–20