Publications by Dr Nigel Thomas - ePrints

Browsing publications by Dr Nigel Thomas.

Newcastle Authors	Title	Year
Dr Saad Alateef Dr Nigel Thomas	A Quantitative Analysis of the Security of PoW-based Blockchains	2024
Dr Paul Omoregbee Dr Matthew Forshaw Dr Nigel Thomas	A State-Size Inclusive Approach to Optimizing Stream Processing Applications	2023
Dr Saad Alateef Dr Nigel Thomas	Energy Consumption Estimation for Electric Vehicles Using Routing API Data	2023
Choman Abdullah Dr Nigel Thomas	Modelling Performance and Fairness of Frame Bursting in IEEE 802.11n Using PEPA	2023
Dr Hassan Jari Dr Nigel Thomas	Performance Evaluation of Global Trust Management in MANETs Routing Protocols	2023
Ohud Almutairi Dr Nigel Thomas	Performance Modelling of Attack Graphs	2023
Dr Hassan Jari Dr Ali Alzahrani Dr Nigel Thomas	A Novel Indirect Trust Mechanism for Addressing Black hole Attacks in MANET	2021
Dr Saad Alateef Dr Nigel Thomas	Energy consumption estimation for electric vehicles using routing API data	2021
Ali Alssaiari Dr Nigel Thomas	Energy Consumption of TAGS in a Heterogeneous Environment under Unknown Service Demand	2021
Ohud Almutairi Dr Nigel Thomas	Modelling a Fair-Exchange Protocol in the Presence of Misbehaviour Using PEPA	2021
Said Kamil Dr Nigel Thomas	Performance Evaluation of ZooKeeper Atomic Broadcast Protocol	2021
Albatool Alhawas Dr Nigel Thomas	Abandonment Attack on the LEACH Protocol	2020
Ali Alssaiari Dr Nigel Thomas	Energy Consumption by Servers under Unknown Service Demand	2020
Majed Alrowaithy Dr Nigel Thomas	Investigating the performance of lightweight cryptographic primitives in constrained devices	2020
Dr Ali Alzahrani Dr Hassan Jari Dr Nigel Thomas	Performance Evaluation of MANET Trust-based AODV Protocol in the Presence of Blackhole Attacks.	2020
Ohud Almutairi Dr Nigel Thomas	Performance modelling of the impact of cyber attacks on a web-based sales system	2020
Dr Saad Alateef Dr Nigel Thomas	Trip driving cycle development and energy consumption estimation based on route API information for battery powered vehicles	2020
Osama Alrajeh Dr Matthew Forshaw Dr Nigel Thomas	Virtual Machine Live Migration in Trace-driven Energy-Aware Simulation of High-Throughput Computing Systems	2020
Dr Nigel Thomas	A Hybrid Task Scheduling Scheme for Heterogeneous Vehicular Edge Systems	2019
Dr Saad Alateef Dr Nigel Thomas	Battery Models Investigation and Evaluation Using a Power Demand Generated from Driving Cycles	2019
Majed Alrowaithy Dr Nigel Thomas	Investigating the Performance of C and C++ Cryptographic Libraries	2019
Ohud Almutairi Dr Nigel Thomas	Performance Modelling of an Anonymous and Failure Resilient Fair-Exchange E-Commerce Protocol	2019
Osama Alrajeh Dr Matthew Forshaw Dr Stephen McGough Dr Nigel Thomas	Simulation of Virtual Machine Live Migration in High Throughput Computing Environments	2019
Said Kamil Dr Nigel Thomas	Investigating the Cost of Transfer Delay on the Performance of Security in Cloud Computing	2018
Mohammed Alotaibi Dr Nigel Thomas	Performance Impact of Misbehaving Voters	2018
Dr Nigel Thomas Dr Matthew Forshaw	Analytical and Stochastic Modelling Techniques and Applications	2017
Saleh Mohamed Dr Matthew Forshaw Dr Nigel Thomas	Automatic Generation of Distributed Run-time Infrastructure for Internet of Things (IoT)	2017
Dr Nigel Thomas	Dynamic Scheduling Policy for Patient Flow in a Smart Environment	2017
Osama Alrajeh Dr Matthew Forshaw Dr Nigel Thomas	Machine Learning Models for Predicting Timely Virtual Machine Live Migration	2017
Osama Alrajeh Dr Matthew Forshaw Dr Nigel Thomas	Machine learning models for predicting timely virtual machine live migration	2017
Said Kamil Dr Nigel Thomas	Modelling and analysis of commit protocols with PEPA	2017
Ali Alssaiari Dr Nigel Thomas	Modelling Energy Efficient Server Management Policies in PEPA	2017
Saleh Mohamed Dr Matthew Forshaw Dr Nigel Thomas	Performance and dependability evaluation of distributed event-based systems: a dynamic code-injection approach	2017
Dr Nigel Thomas	Performance modelling of patient flow scheduling through a formal method	2017
James Allen Dr Matthew Forshaw Dr Nigel Thomas	Towards an accurate and scalable energy harvesting wireless sensor network simulator model framework	2017
Mohammed Alotaibi Dr Nigel Thomas	A Case Study in Formal Performance Evaluation of an E-Voting System Using PEPA	2016
Choman Abdullah Dr Nigel Thomas	A PEPA Model of IEEE 802.11b/g with Hidden Nodes	2016
Dr Matthew Forshaw Dr Stephen McGough Dr Nigel Thomas	HTC-Sim: a trace-driven simulation framework for energy consumption in high-throughput computing systems	2016
Choman Abdullah Dr Nigel Thomas	Modelling Unfairness in IEEE 802.11 g Networks with Variable Frame Length	2016
Dr Nigel Thomas	Patient Flow Scheduling and Capacity Planning in a Smart Hospital Environment	2016
Ali Alssaiari Dr Nigel Thomas	Performance Modelling of Dynamic Server Allocation for Energy Efficiency using PEPA	2016
Choman Abdullah Dr Nigel Thomas	Performance Modelling of IEEE 802.11 g Wireless LAN	2016
Yishi Zhao Dr Nigel Thomas	Performance Modelling of Optimistic Fair Exchange	2016
Yishi Zhao Dr Nigel Thomas	Performance Modelling of Optimistic Fair Exchange	2016
Osama Alrajeh Dr Matthew Forshaw Dr Nigel Thomas	Performance of Virtual Machine Live Migration with Various Workloads	2016
Dr Nigel Thomas	Preface: The 8th International Workshop on Practical Application of Stochastic Modeling	2016
Faris Llwaah Dr Jacek Cala Dr Nigel Thomas	Simulation of Runtime Performance of Big Data Workflows on the Cloud	2016
Dr Matthew Forshaw Dr Stephen McGough Dr Nigel Thomas	The case for energy-aware simulation and modelling of internet of things (IoT)	2016
Dr Nigel Thomas	The effect of mobility on connectivity in MANETs	2016
Said Kamil Dr Nigel Thomas	A case study in inspecting the cost of security in cloud computing	2015
Said Kamil Dr Nigel Thomas	A performance model of the Trusted Cloud Computing Platform VM Launch Protocol	2015
Said Kamil Dr Nigel Thomas	An Empirical Study Comparing the PEPA Eclipse Plug-in and GPA Tools	2015
Osama Alrajeh Dr Nigel Thomas	Energy Consumption of Scheduling Policies for HTC jobs in the Cloud	2015
Dr Matthew Forshaw Dr Stephen McGough Dr Nigel Thomas	Energy-efficient Checkpointing in High-throughput Cycle-stealing Distributed Systems	2015
Choman Abdullah Dr Nigel Thomas	Formal Performance Modelling and Analysis of IEEE 802.11 Wireless LAN Protocols	2015
Faris Llwaah Dr Nigel Thomas Dr Jacek Cala	Improving MCT scheduling algorithm to reduce the makespan and cost of workflow execution in the cloud	2015
Dr Matthew Forshaw Dr Nigel Thomas	Operating policies for energy efficient dynamic server allocation	2015
Said Kamil Dr Nigel Thomas	Performance analysis of the Trusted Cloud Computing Platform	2015
Abdullah Sheikh Dr Nigel Thomas	Resource Allocation in Cloud Computing Environments	2015
Dr Matthew Forshaw Dr Nigel Thomas	Time-inhomogeneous Population Models of a Cycle-Stealing Distributed System	2015
Dr Matthew Forshaw Dr Nigel Thomas Dr Stephen McGough	Trace-driven simulation for energy consumption in High Throughput Computing systems	2015
Dr Matthew Forshaw Dr Stephen McGough Dr Nigel Thomas	Energy-efficient checkpointing in high-throughput cycle-stealing distributed systems	2014
Dr Matthew Forshaw Dr Stephen McGough Dr Nigel Thomas	On Energy-efficient Checkpointing in High-throughput Cycle-stealing Distributed Systems	2014
Dr Matthew Forshaw Dr Stephen McGough Dr Nigel Thomas	On energy-efficient checkpointing in high-throughput cycle-stealing distributed systems	2014
Dr Matthew Forshaw Dr Nigel Thomas	Operating policies for energy efficient dynamic server allocation	2014
Dr Matthew Forshaw Dr Nigel Thomas Dr Stephen McGough	Trace-Driven Simulation for Energy Consumption in High Throughput Computing Systems	2014
Dr Nigel Thomas	A product-form solution for on-off components in PEPA	2013
Osama Younes Dr Nigel Thomas	Modelling and performance analysis of multi-hop ad hoc networks	2013
Dr Nigel Thomas Yishi Zhao	Performance modelling of security protocols	2013
Dr Nigel Thomas	Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling (PASM) and the Eleventh International Workshop on Parallel and Distributed Methods in Verification (PDMC)	2013
Dr Nigel Thomas	Semi-Product-Form Solution for PEPA Models with Functional Rates	2013
Dr Matthew Forshaw Dr Nigel Thomas	A Novel Approach to Energy Efficient Content Distribution with BitTorrent	2012
Osama Younes Dr Nigel Thomas	A Path Connection Availability Model for MANETs with Random Waypoint Mobility	2012
Katja Gilly Dr Nigel Thomas	Adaptive admission control algorithm in a QoS-aware web system	2012
Dr Nigel Thomas Professor Michael Harrison Yishi Zhao Xiao Chen	From Protocols to People: Large Scale Analysis in Markovian Process Algebra	2012
Dr Nigel Thomas	Invited Response to Computer Journal Lecture by Prof. Jane Hillston	2012
Osama Younes Dr Nigel Thomas	SRN Models for Analysis of Multihop Wireless Ad Hoc Networks	2012
Dr Nigel Thomas	A fitting method with generalized Erlang distributions	2011
Yishi Zhao Dr Nigel Thomas	A Simplified Solution of a PEPA Model of Kerberos Protocol	2011
Osama Younes Dr Nigel Thomas	An SRN Model of the IEEE 802.11 DCF MAC Protocol in Multi-Hop Ad Hoc Networks with Hidden Nodes	2011
Dr Nigel Thomas	Analysis of Non-product Form Parallel Queues Using Markovian Process Algebra	2011
Osama Younes Dr Nigel Thomas	Analysis of the Expected Number of Hops in Mobile Ad Hoc Networks with Random Waypoint Mobility	2011
Dr Nigel Thomas	Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings	2011
Dr Nigel Thomas	Fifth International Workshop on the Practical Application of Stochastic Modelling	2011
Dr Nigel Thomas Yishi Zhao	Mean value analysis for a class of PEPA models	2011
Dr Nigel Thomas Professor Michael Harrison	Performance Evaluation of Scheduling Policies in a Smart Hospital Environment	2011
Dr Nigel Thomas	Product-Form Solution in PEPA via the Reversed Process	2011
Yishi Zhao Dr Nigel Thomas	Efficient solutions of a PEPA model of a key distribution centre	2010
Dr Nigel Thomas	Performance Evaluation of Scheduling in a Smart Environment	2010
Dr Nigel Thomas	Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling (PASM 2009)	2010
Dr Nigel Thomas	Semi-product-form solution for models with state dependent rates	2010
Osama Younes Dr Nigel Thomas	SRN model for IEEE 802.11 DCF MAC Protocol in Multi-hop Ad Hoc Networks with Hidden Nodes	2010
Dr Nigel Thomas	State dependent rates and semi-product form via the reversed process	2010
Yishi Zhao Dr Nigel Thomas	Comparing Methods for the Efficient Analysis of PEPA Models of Non-repudiation Protocols	2009
Yishi Zhao Dr Nigel Thomas	Efficient Analysis of PEPA model of Non-repudiation Protocols	2009
Joris Slegers Emeritus Professor Isi Mitrani Dr Nigel Thomas	Evaluating the optimal server allocation policy for clusters with on/off sources	2009
Yishi Zhao Dr Nigel Thomas	Experience of using the PEPA performance Modelling Tool for a Non-repudiation Protocol	2009
Dr Nigel Thomas Yishi Zhao	Mean value analysis for a class of PEPA models	2009
Xiao Chen Dr Nigel Thomas	Performance of Novel Scheduling Strategies	2009
Dr Nigel Thomas	Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling (PASM 2008)	2009
Osama Younes Dr Nigel Thomas	SRN Model for Performance Evaluation of TCP Sessions Sharing Bottleneck Links in WAN	2009
Yishi Zhao Dr Nigel Thomas	A Cost Model Analysis of a Secure Key Distribution Centre	2008
Dr Nigel Thomas	Approximate solution of a PEPA model of a key distribution centre	2008
Dr Nigel Thomas	Comparing job allocation schemes where service demand is unknown	2008
Dr Nigel Thomas	Computer Performance Engineering: 5th European Performance Engineering Workshop (EPEW). 24-25 Spetember 2008. Palma de Mallorca, Spain	2008
Dr Joris Slegers Dr Nigel Thomas Emeritus Professor Isi Mitrani	Dynamic Server Allocation for Power and Performance	2008
Yishi Zhao Dr Nigel Thomas	Efficient solutions of a PEPA model of key distribution centre with a cost function	2008
Dr Nigel Thomas Yishi Zhao	Fluid flow analysis of a model of a secure key distribution centre	2008
Dr Nigel Thomas	Mean value analysis for a class of PEPA models	2008
Dr Nigel Thomas	Preface	2008
Dr Nigel Thomas	Scalable QoS content-aware load balancing algorithm for a Web Switch based on classical policies	2008
Dr Joris Slegers Emeritus Professor Isi Mitrani Dr Nigel Thomas	Static and dynamic server allocation in systems with on/off sources	2008
Dr Nigel Thomas	Using ODEs from PEPA models to derive asymptotic solutions for a class of closed queueing networks	2008
Yishi Zhao Dr Nigel Thomas	Modelling secure secret key exchange using stochastic process algebra	2007
Yishi Zhao Dr Nigel Thomas	Modelling secure secret key exchange using stochastic process algebra	2007
Dr Joris Slegers Emeritus Professor Isi Mitrani Dr Nigel Thomas	Optimal Dynamic Server Allocation in Systems with On/Off Sources	2007
Dr Nigel Thomas	Approximation in non-product form finite capacity queue systems	2006
Christiaan Lamprecht Professor Aad van Moorsel Dr Nigel Thomas	Investigating the efficiency of cryptographic algorithms in online transactions	2006
Arash Shahriari Rad Dr Nigel Thomas	Message from the PEN-PCGCS workshop co-chairs	2006
Dr Nigel Thomas	Modelling job allocation where service duration is unknown	2006
Dr Nigel Thomas	Performance Analysis of PGP	2006
Dr Nigel Thomas	Performance analysis of Stochastic Process Algebra models using Stochastic Simulation	2006
Dr Nigel Thomas	Preface	2006
Dr Joris Slegers Emeritus Professor Isi Mitrani Dr Nigel Thomas	Server Allocation in Grid Systems with On/Off Sources	2006
Dr Joris Slegers Emeritus Professor Isi Mitrani Dr Nigel Thomas	Server allocation in Grid systems with on/off sources	2006
Dr Nigel Thomas	21st UK Performance Engineering Workshop	2005
Dr Nigel Thomas	Editorial: Grid performability	2005
Dr Nigel Thomas	Performability of a secure electronic voting algorithm	2005
Dr Nigel Thomas	Challenges and Opportunities in Grid Performability	2004
Dr Nigel Thomas	How synchronisation strategy approximation in PEPA implementations affects passage time performance results	2004
Dr Nigel Thomas Professor Aad van Moorsel	Open issues in grid performability	2004
Dr Nigel Thomas	Semi-blind scheduling in a finite capacity system	2004
Dr Nigel Thomas	Stochastic analysis of scheduling strategies in a Grid-based resource model	2004
Dr Nigel Thomas	An approximate solution of PEPA models using substitution	2003
Dr Nigel Thomas	Behavioural independence and control in PEPA	2002
Dr Nigel Thomas	Visualisation for Informed Decision Making: From Code to Components	2002
Dr Panos Periorellis Dr Nigel Thomas	Mutuality and the CLARiFi Component Broker	2000
Dr Nigel Thomas	Experiences with the PEPA Performance Modelling Tools	1999
Dr Nigel Thomas	Product Form Solution for a class of PEPA Models	1999
Dr Nigel Thomas Emeritus Professor Isi Mitrani	Approximate Solution of a Pipeline with Server Vacations	1998
Dr Nigel Thomas	[PhD Thesis] Performance and Reliability in Distributed Systems	1997
Dr Nigel Thomas Emeritus Professor Isi Mitrani	Routing Among Different Nodes Where Servers Break Down Without Losing Jobs	1995
Dr Nigel Thomas Emeritus Professor Isi Mitrani	Routing Among Servers with Breakdowns and Retained Queues	1995