Model Checking Correctness Properties of Electronic Contracts. - Ellis Solaiman; Carlos Molina-Jiménez; Santosh K. Shrivastava (ICSOC, 2003)

Contract Representation for Run-time Monitoring and Enforcement. - Carlos Molina-Jiménez; Santosh K. Shrivastava; Ellis Solaiman; John P. Warne (CEC, 2003)

Run-time monitoring and enforcement of electronic contracts. - Carlos Molina-Jiménez; Santosh K. Shrivastava; Ellis Solaiman; John P. Warne (Electron. Commer. Res. Appl., 2004)

Contract representation for validation and run time monitoring. - Ellis Solaiman (2004)

A Tool for the Automatic Verification of BPMN Choreographies. - Ellis Solaiman; Wenzhong Sun; Carlos Molina-Jiménez (SCC, 2015)

Dynamic Testing and Deployment of a Contract Monitoring Service. - Ellis Solaiman; Ioannis Sfyrakis; Carlos Molina-Jiménez (CLOSER, 2015)

High Level Model Checker Based Testing of Electronic Contracts. - Ellis Solaiman; Ioannis Sfyrakis; Carlos Molina-Jiménez (CLOSER (Selected Papers), 2015)

Meeting Graduate Employability Needs through Open-source Collaboration with Industry. - Matthew Forshaw; Ellis Solaiman; Oonagh McGee; Hugo Firth; Paul Robinson; Ryan Emerson (SIGCSE, 2016)

A State Aware Model and Architecture for the Monitoring and Enforcement of Electronic Contracts. - Ellis Solaiman; Ioannis Sfyrakis; Carlos Molina-Jiménez (CBI (1), 2016)

Monitoring Internet of Things Application Ecosystems for Failure. - Ellis Solaiman; Rajiv Ranjan 001; Prem Prakash Jayaraman; Karan Mitra (IT Prof., 2016)

Building a Formative Assessment System That is Easy to Adopt Yet Supports Long-term Improvement: A Review of the Literature and Design Recommendations. - Ellis Solaiman; Joshua Barney; Martin Smith (CSEDU (1), 2017)

Orchestrating BigData Analysis Workflows. - Rajiv Ranjan 001; Saurabh Kumar Garg 001; Ali Reza Khoskbar; Ellis Solaiman; Philip James 002; Dimitrios Georgakopoulos 001 (IEEE Cloud Comput., 2017)

Performance Benchmarking of Smart Contracts to Assess Miner Incentives in Ethereum. - Amjad Aldweesh; Maher Alharby; Ellis Solaiman; Aad van Moorsel (EDCC, 2018)

On and Off-Blockchain Enforcement of Smart Contracts. - Carlos Molina-Jiménez; Ellis Solaiman; Ioannis Sfyrakis; Irene C. L. Ng; Jon Crowcroft (Euro-Par Workshops, 2018)

End-to-End Service Level Agreement Specification for IoT Applications. - Awatif Alqahtani; Yinhao Li; Pankesh Patel; Ellis Solaiman; Rajiv Ranjan 001 (HPCS, 2018)

Implementation of Smart Contracts Using Hybrid Architectures with On and Off-Blockchain Components. - Carlos Molina-Jiménez; Ioannis Sfyrakis; Ellis Solaiman; Irene C. L. Ng; Meng Weng Wong; Alexis Chun; Jon Crowcroft (SC², 2018)

Demonstration Abstract: A Toolkit for Specifying Service Level Agreements for IoT applications. - Awatif Alqahtani; Pankesh Patel; Ellis Solaiman; Rajiv Ranjan 001 (CoRR, 2018)

A multi-layered performance analysis for cloud-based topic detection and tracking in Big Data applications. - Meisong Wang; Prem Prakash Jayaraman; Ellis Solaiman; Lydia Y. Chen; Zheng Li 001; Jun Song 003; Dimitrios Georgakopoulos 001; Rajiv Ranjan 001 (Future Gener. Comput. Syst., 2018)

How Entrepreneurs Begin and Manage Home-based Businesses. - Aisha Ahmed AlArfaj; Ellis Solaiman (C&T, 2019)

"Why Would You Buy from a Stranger?" Understanding Saudi Citizens' Motivations and Challenges in Social Commerce. - Aisha Ahmed AlArfaj; Ellis Solaiman; Lindsay F. Marshall (INTERACT (2), 2019)

SLA-aware Approach for IoT Workflow Activities Placement based on Collaboration between Cloud and Edge. - Awatif Alqahtani; Devki Nandan Jha; Pankesh Patel; Ellis Solaiman; Rajiv Ranjan 001 (CPSS@IOT, 2019)

Cyber-physical application monitoring across multiple clouds. - Ayman Noor; Karan Mitra; Ellis Solaiman; Arthur Souza 001; Devki Nandan Jha; Umit Demirbaga; Prem Prakash Jayaraman; Nélio Cacho; Rajiv Ranjan 001 (Comput. Electr. Eng., 2019)

Blockchain-Based SLA Management in the Context of IoT. - Ali Alzubaidi; Ellis Solaiman; Pankesh Patel; Karan Mitra (IT Prof., 2019)

IoT-CANE: A unified knowledge management system for data-centric Internet of Things application systems. - Yinhao Li; Awatif Alqahtani; Ellis Solaiman; Charith Perera; Prem Prakash Jayaraman; Rajkumar Buyya; Graham Morgan; Rajiv Ranjan 001 (J. Parallel Distributed Comput., 2019)

A note on tools and techniques for end-to-end QoS monitoring in Internet of Things. - Rajiv Ranjan 001; Ellis Solaiman; Massimo Villari; Paul Watson 001 (J. Parallel Distributed Comput., 2019)

Service level agreement specification for end-to-end IoT application ecosystems. - Awatif Alqahtani; Ellis Solaiman; Pankesh Patel; Schahram Dustdar; Rajiv Ranjan 001 (Softw. Pract. Exp., 2019)

Designing a Portfolio-Oriented Curriculum using Problem Based Learning. - Jordan Barnes; John Colquhoun; Marie Devlin; Laura Heels; Phillip Lord; Lindsay F. Marshall; Chris Napier; Ellis Solaiman; Neil Speirs; Louise Talbot; Gary Ushaw; Charlie Witty (CEP, 2020)

Blockchain-Based Applications in Higher Education: A Systematic Mapping Study. - Bakri Awaji; Ellis Solaiman; Adel Albshri (ICIEI, 2020)

Blockchain-Based Trusted Achievement Record System Design. - Bakri Awaji; Ellis Solaiman; Lindsay F. Marshall (ICIEI, 2020)

Investigating the Requirements for Building a Blockchain-Based Achievement Record System. - Bakri Awaji; Ellis Solaiman; Lindsay F. Marshall (ICIEI, 2020)

A Blockchain-based Approach for Assessing Compliance with SLA-guaranteed IoT Services. - Ali Alzubaidi; Karan Mitra; Pankesh Patel; Ellis Solaiman (SmartIoT, 2020)

Consumer Needs and Design Practices for Trusted Social Commerce Platforms. - Aisha Ahmed AlArfaj; Ellis Solaiman (INTERACT (3), 2021)

Smart Contract Design Considerations for SLA Compliance Assessment in the Context of IoT. - Ali Alzubaidi; Karan Mitra; Ellis Solaiman (SmartIoT, 2021)

Implementation and evaluation of smart contracts using a hybrid on- and off-blockchain architecture. - Ellis Solaiman; Todd Wike; Ioannis Sfyrakis (Concurr. Comput. Pract. Exp., 2021)

IoTSim-Osmosis: A framework for modeling and simulating IoT applications over an edge-cloud continuum. - Khaled Alwasel; Devki Nandan Jha; Fawzy Habeeb; Umit Demirbaga; Omer F. Rana; Thar Baker; Scharam Dustdar; Massimo Villari; Philip James 002; Ellis Solaiman; Rajiv Ranjan 001 (J. Syst. Archit., 2021)

Blockchain Simulators: A Systematic Mapping Study. - Adel Albshri; Ali Alzubaidi; Bakri Awaji; Ellis Solaiman (SCC, 2022)

Design, Implementation, and Evaluation of Blockchain-based Trusted Achievement Record System for Students in Higher Education. - Bakri Awaji; Ellis Solaiman (CSEDU (2), 2022)

Comparing different qualitative methods to understand user experience in Saudi Arabia. - Aisha Ahmed AlArfaj; Ellis Solaiman (ECSCW, 2022)

Investigating the Requirement of Building Blockchain Simulator for IoT Applications. - Adel Albshri; Bakri Awaji; Ellis Solaiman (SmartIoT, 2022)

Investigating the Requirements for Building a Blockchain Simulator for IoT Applications. - Adel Albshri; Bakri Awaji; Ellis Solaiman (CoRR, 2022)

Tracking Material Reuse across Construction Supply Chains. - Stanly Wilson; Kwabena Adu-Duodu; Yinhao Li; Ringo W. H. Sham; Yingli Wang; Ellis Solaiman; Charith Perera; Rajiv Ranjan 001; Omer F. Rana (e-Science, 2023)

A Model-Based Machine Learning Approach for Assessing the Performance of Blockchain Applications. - Adel Albshri; Ali Alzubaidi; Ellis Solaiman (SmartIoT, 2023)

Developing a Compiler for EROP - A Language for the Specification of Smart Contracts, An Experience Report. - Adrian Delchev; Ioannis Sfyrakis; Ellis Solaiman (CoRR, 2023)

A conceptual architecture for simulating blockchain-based IoT ecosystems. - Adel Albshri; Ali Alzubaidi; Maher Alharby; Bakri Awaji; Karan Mitra; Ellis Solaiman (J. Cloud Comput., 2023)

A blockchain-based SLA monitoring and compliance assessment for IoT ecosystems. - Ali Alzubaidi; Karan Mitra; Ellis Solaiman (J. Cloud Comput., 2023)

Verifiable Querying Framework for Multi-Blockchain Applications. - Stanly Wilson; Kwabena Adu-Duodu; Yinhao Li; Ringo W. H. Sham; Ellis Solaiman; Omer F. Rana; Rajiv Ranjan 001 (ICBC, 2024)

SecureFed: Blockchain-Based Defence for Data Poisoning Attack in Federated Learning. - Ahmad Alsharidah; Devki Nandan Jha; Bo Wei; Ellis Solaiman; Rajiv Ranjan 001 (UCC, 2024)

SLA Conceptual Model for IoT Applications. - Awatif Alqahtani; Ellis Solaiman; Rajiv Ranjan 001 (CoRR, 2024)

IoT Monitoring with Blockchain: Generating Smart Contracts from Service Level Agreements. - Adam Booth; Awatif Alqahtani; Ellis Solaiman (CoRR, 2024)

The Internet of Value: Integrating Blockchain and Lightning Network Micropayments for Knowledge Markets. - Ellis Solaiman; Jorge Robins (CoRR, 2024)

Data Management Challenges in Blockchain-Based Applications. - Stanly Wilson; Kwabena Adu-Duodu; Yinhao Li; Ellis Solaiman; Omer Farooq Rana; Schahram Dustdar; Rajiv Ranjan 001 (IEEE Internet Comput., 2024)

Trust and Dependability in Blockch-AI-n-Based Medical Internet of Things Applications: Research Challenges and Future Directions. - Ellis Solaiman; Christa Awad (IT Prof., 2024)

Blockchain-Enabled Provenance Tracking for Sustainable Material Reuse in Construction Supply Chains. - Stanly Wilson; Kwabena Adu-Duodu; Yinhao Li; Ringo W. H. Sham; Mohammed Almubarak; Yingli Wang; Ellis Solaiman; Charith Perera; Rajiv Ranjan 001; Omer F. Rana (Future Internet, 2024)

A Circular Construction Product Ontology for End-of-Life Decision-Making. - Kwabena Adu-Duodu; Stanly Wilson; Yinhao Li; Aanuoluwapo Oladimeji; Talea Huraysi; Masoud Barati; Charith Perera; Ellis Solaiman; Omer F. Rana; Rajiv Ranjan 001; Tejal Shah (SAC, 2025)

Trust and Dependability in Blockchain & AI Based MedIoT Applications: Research Challenges and Future Directions. - Ellis Solaiman; Christa Awad (CoRR, 2025)