Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Nigel Thomas.

Newcastle AuthorsTitleYearFull text
Dr Paul Omoregbee
Dr Matthew Forshaw
Dr Nigel Thomas
A State-Size Inclusive Approach to Optimizing Stream Processing Applications2023
Dr Saad Alateef
Dr Nigel Thomas
Energy Consumption Estimation for Electric Vehicles Using Routing API Data2023
Choman Abdullah
Dr Nigel Thomas
Modelling Performance and Fairness of Frame Bursting in IEEE 802.11n Using PEPA2023
Dr Hassan Jari
Dr Nigel Thomas
Performance Evaluation of Global Trust Management in MANETs Routing Protocols2023
Ohud Almutairi
Dr Nigel Thomas
Performance Modelling of Attack Graphs2023
Dr Hassan Jari
Dr Ali Alzahrani
Dr Nigel Thomas
A Novel Indirect Trust Mechanism for Addressing Black hole Attacks in MANET2021
Dr Saad Alateef
Dr Nigel Thomas
Energy consumption estimation for electric vehicles using routing API data2021
Ali Alssaiari
Dr Nigel Thomas
Energy Consumption of TAGS in a Heterogeneous Environment under Unknown Service Demand2021
Ohud Almutairi
Dr Nigel Thomas
Modelling a Fair-Exchange Protocol in the Presence of Misbehaviour Using PEPA2021
Said Kamil
Dr Nigel Thomas
Performance Evaluation of ZooKeeper Atomic Broadcast Protocol2021
Albatool Alhawas
Dr Nigel Thomas
Abandonment Attack on the LEACH Protocol2020
Ali Alssaiari
Dr Nigel Thomas
Energy Consumption by Servers under Unknown Service Demand2020
Majed Alrowaithy
Dr Nigel Thomas
Investigating the performance of lightweight cryptographic primitives in constrained devices2020
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 system2020
Dr Saad Alateef
Dr Nigel Thomas
Trip driving cycle development and energy consumption estimation based on route API information for battery powered vehicles2020
Osama Alrajeh
Dr Matthew Forshaw
Dr Nigel Thomas
Virtual Machine Live Migration in Trace-driven Energy-Aware Simulation of High-Throughput Computing Systems2020
Dr Nigel Thomas
A Hybrid Task Scheduling Scheme for Heterogeneous Vehicular Edge Systems2019
Dr Saad Alateef
Dr Nigel Thomas
Battery Models Investigation and Evaluation Using a Power Demand Generated from Driving Cycles2019
Majed Alrowaithy
Dr Nigel Thomas
Investigating the Performance of C and C++ Cryptographic Libraries2019
Ohud Almutairi
Dr Nigel Thomas
Performance Modelling of an Anonymous and Failure Resilient Fair-Exchange E-Commerce Protocol2019
Osama Alrajeh
Dr Matthew Forshaw
Dr Stephen McGough
Dr Nigel Thomas
Simulation of Virtual Machine Live Migration in High Throughput Computing Environments2019
Said Kamil
Dr Nigel Thomas
Investigating the Cost of Transfer Delay on the Performance of Security in Cloud Computing2018
Mohammed Alotaibi
Dr Nigel Thomas
Performance Impact of Misbehaving Voters2018
Dr Nigel Thomas
Dr Matthew Forshaw
Analytical and Stochastic Modelling Techniques and Applications2017
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 Environment2017
Osama Alrajeh
Dr Matthew Forshaw
Dr Nigel Thomas
Machine Learning Models for Predicting Timely Virtual Machine Live Migration2017
Osama Alrajeh
Dr Matthew Forshaw
Dr Nigel Thomas
Machine learning models for predicting timely virtual machine live migration2017
Said Kamil
Dr Nigel Thomas
Modelling and analysis of commit protocols with PEPA2017
Ali Alssaiari
Dr Nigel Thomas
Modelling Energy Efficient Server Management Policies in PEPA2017
Saleh Mohamed
Dr Matthew Forshaw
Dr Nigel Thomas
Performance and dependability evaluation of distributed event-based systems: a dynamic code-injection approach2017
Dr Nigel Thomas
Performance modelling of patient flow scheduling through a formal method2017
James Allen
Dr Matthew Forshaw
Dr Nigel Thomas
Towards an accurate and scalable energy harvesting wireless sensor network simulator model framework2017
Mohammed Alotaibi
Dr Nigel Thomas
A Case Study in Formal Performance Evaluation of an E-Voting System Using PEPA2016
Choman Abdullah
Dr Nigel Thomas
A PEPA Model of IEEE 802.11b/g with Hidden Nodes2016
Dr Matthew Forshaw
Dr Stephen McGough
Dr Nigel Thomas
HTC-Sim: a trace-driven simulation framework for energy consumption in high-throughput computing systems2016
Choman Abdullah
Dr Nigel Thomas
Modelling Unfairness in IEEE 802.11 g Networks with Variable Frame Length2016
Dr Nigel Thomas
Patient Flow Scheduling and Capacity Planning in a Smart Hospital Environment2016
Ali Alssaiari
Dr Nigel Thomas
Performance Modelling of Dynamic Server Allocation for Energy Efficiency using PEPA2016
Choman Abdullah
Dr Nigel Thomas
Performance Modelling of IEEE 802.11 g Wireless LAN2016
Yishi Zhao
Dr Nigel Thomas
Performance Modelling of Optimistic Fair Exchange2016
Yishi Zhao
Dr Nigel Thomas
Performance Modelling of Optimistic Fair Exchange2016
Osama Alrajeh
Dr Matthew Forshaw
Dr Nigel Thomas
Performance of Virtual Machine Live Migration with Various Workloads2016
Dr Nigel Thomas
Preface: The 8th International Workshop on Practical Application of Stochastic Modeling2016
Faris Llwaah
Dr Jacek Cala
Dr Nigel Thomas
Simulation of Runtime Performance of Big Data Workflows on the Cloud2016
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 MANETs2016
Said Kamil
Dr Nigel Thomas
A case study in inspecting the cost of security in cloud computing2015
Said Kamil
Dr Nigel Thomas
A performance model of the Trusted Cloud Computing Platform VM Launch Protocol2015
Said Kamil
Dr Nigel Thomas
An Empirical Study Comparing the PEPA Eclipse Plug-in and GPA Tools2015
Osama Alrajeh
Dr Nigel Thomas
Energy Consumption of Scheduling Policies for HTC jobs in the Cloud2015
Dr Matthew Forshaw
Dr Stephen McGough
Dr Nigel Thomas
Energy-efficient Checkpointing in High-throughput Cycle-stealing Distributed Systems2015
Choman Abdullah
Dr Nigel Thomas
Formal Performance Modelling and Analysis of IEEE 802.11 Wireless LAN Protocols2015
Faris Llwaah
Dr Nigel Thomas
Dr Jacek Cala
Improving MCT scheduling algorithm to reduce the makespan and cost of workflow execution in the cloud2015
Dr Matthew Forshaw
Dr Nigel Thomas
Operating policies for energy efficient dynamic server allocation2015
Said Kamil
Dr Nigel Thomas
Performance analysis of the Trusted Cloud Computing Platform2015
Abdullah Sheikh
Dr Nigel Thomas
Resource Allocation in Cloud Computing Environments2015
Dr Matthew Forshaw
Dr Nigel Thomas
Time-inhomogeneous Population Models of a Cycle-Stealing Distributed System2015
Dr Matthew Forshaw
Dr Nigel Thomas
Dr Stephen McGough
Trace-driven simulation for energy consumption in High Throughput Computing systems2015
Dr Matthew Forshaw
Dr Stephen McGough
Dr Nigel Thomas
Energy-efficient checkpointing in high-throughput cycle-stealing distributed systems2014
Dr Matthew Forshaw
Dr Stephen McGough
Dr Nigel Thomas
On Energy-efficient Checkpointing in High-throughput Cycle-stealing Distributed Systems2014
Dr Matthew Forshaw
Dr Stephen McGough
Dr Nigel Thomas
On energy-efficient checkpointing in high-throughput cycle-stealing distributed systems2014
Dr Matthew Forshaw
Dr Nigel Thomas
Operating policies for energy efficient dynamic server allocation2014
Dr Matthew Forshaw
Dr Nigel Thomas
Dr Stephen McGough
Trace-Driven Simulation for Energy Consumption in High Throughput Computing Systems2014
Dr Nigel Thomas
A product-form solution for on-off components in PEPA2013
Osama Younes
Dr Nigel Thomas
Modelling and performance analysis of multi-hop ad hoc networks2013
Dr Nigel Thomas
Yishi Zhao
Performance modelling of security protocols2013
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 Rates2013
Dr Matthew Forshaw
Dr Nigel Thomas
A Novel Approach to Energy Efficient Content Distribution with BitTorrent2012
Osama Younes
Dr Nigel Thomas
A Path Connection Availability Model for MANETs with Random Waypoint Mobility2012
Katja Gilly
Dr Nigel Thomas
Adaptive admission control algorithm in a QoS-aware web system2012
Dr Nigel Thomas
Professor Michael Harrison
Yishi Zhao
Xiao Chen
From Protocols to People: Large Scale Analysis in Markovian Process Algebra2012
Dr Nigel Thomas
Invited Response to Computer Journal Lecture by Prof. Jane Hillston2012
Osama Younes
Dr Nigel Thomas
SRN Models for Analysis of Multihop Wireless Ad Hoc Networks2012
Dr Nigel Thomas
A fitting method with generalized Erlang distributions2011
Yishi Zhao
Dr Nigel Thomas
A Simplified Solution of a PEPA Model of Kerberos Protocol2011
Osama Younes
Dr Nigel Thomas
An SRN Model of the IEEE 802.11 DCF MAC Protocol in Multi-Hop Ad Hoc Networks with Hidden Nodes2011
Dr Nigel Thomas
Analysis of Non-product Form Parallel Queues Using Markovian Process Algebra2011
Osama Younes
Dr Nigel Thomas
Analysis of the Expected Number of Hops in Mobile Ad Hoc Networks with Random Waypoint Mobility2011
Dr Nigel Thomas
Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings2011
Dr Nigel Thomas
Fifth International Workshop on the Practical Application of Stochastic Modelling2011
Dr Nigel Thomas
Yishi Zhao
Mean value analysis for a class of PEPA models2011
Dr Nigel Thomas
Professor Michael Harrison
Performance Evaluation of Scheduling Policies in a Smart Hospital Environment2011
Dr Nigel Thomas
Product-Form Solution in PEPA via the Reversed Process2011
Yishi Zhao
Dr Nigel Thomas
Efficient solutions of a PEPA model of a key distribution centre2010
Dr Nigel Thomas
Performance Evaluation of Scheduling in a Smart Environment2010
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 rates2010
Osama Younes
Dr Nigel Thomas
SRN model for IEEE 802.11 DCF MAC Protocol in Multi-hop Ad Hoc Networks with Hidden Nodes2010
Dr Nigel Thomas
State dependent rates and semi-product form via the reversed process2010
Yishi Zhao
Dr Nigel Thomas
Comparing Methods for the Efficient Analysis of PEPA Models of Non-repudiation Protocols2009
Yishi Zhao
Dr Nigel Thomas
Efficient Analysis of PEPA model of Non-repudiation Protocols2009
Joris Slegers
Emeritus Professor Isi Mitrani
Dr Nigel Thomas
Evaluating the optimal server allocation policy for clusters with on/off sources2009
Yishi Zhao
Dr Nigel Thomas
Experience of using the PEPA performance Modelling Tool for a Non-repudiation Protocol2009
Dr Nigel Thomas
Yishi Zhao
Mean value analysis for a class of PEPA models2009
Xiao Chen
Dr Nigel Thomas
Performance of Novel Scheduling Strategies2009
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 WAN2009
Yishi Zhao
Dr Nigel Thomas
A Cost Model Analysis of a Secure Key Distribution Centre2008
Dr Nigel Thomas
Approximate solution of a PEPA model of a key distribution centre2008
Dr Nigel Thomas
Comparing job allocation schemes where service demand is unknown2008
Dr Nigel Thomas
Computer Performance Engineering: 5th European Performance Engineering Workshop (EPEW). 24-25 Spetember 2008. Palma de Mallorca, Spain2008
Dr Joris Slegers
Dr Nigel Thomas
Emeritus Professor Isi Mitrani
Dynamic Server Allocation for Power and Performance2008
Yishi Zhao
Dr Nigel Thomas
Efficient solutions of a PEPA model of key distribution centre with a cost function2008
Dr Nigel Thomas
Yishi Zhao
Fluid flow analysis of a model of a secure key distribution centre2008
Dr Nigel Thomas
Mean value analysis for a class of PEPA models2008
Dr Nigel Thomas
Preface2008
Dr Nigel Thomas
Scalable QoS content-aware load balancing algorithm for a Web Switch based on classical policies2008
Dr Joris Slegers
Emeritus Professor Isi Mitrani
Dr Nigel Thomas
Static and dynamic server allocation in systems with on/off sources2008
Dr Nigel Thomas
Using ODEs from PEPA models to derive asymptotic solutions for a class of closed queueing networks2008
Yishi Zhao
Dr Nigel Thomas
Modelling secure secret key exchange using stochastic process algebra2007
Yishi Zhao
Dr Nigel Thomas
Modelling secure secret key exchange using stochastic process algebra2007
Dr Joris Slegers
Emeritus Professor Isi Mitrani
Dr Nigel Thomas
Optimal Dynamic Server Allocation in Systems with On/Off Sources2007
Dr Nigel Thomas
Approximation in non-product form finite capacity queue systems2006
Christiaan Lamprecht
Professor Aad van Moorsel
Dr Nigel Thomas
Investigating the efficiency of cryptographic algorithms in online transactions2006
Arash Shahriari Rad
Dr Nigel Thomas
Message from the PEN-PCGCS workshop co-chairs2006
Dr Nigel Thomas
Modelling job allocation where service duration is unknown2006
Dr Nigel Thomas
Performance Analysis of PGP2006
Dr Nigel Thomas
Performance analysis of Stochastic Process Algebra models using Stochastic Simulation2006
Dr Nigel Thomas
Preface2006
Dr Joris Slegers
Emeritus Professor Isi Mitrani
Dr Nigel Thomas
Server Allocation in Grid Systems with On/Off Sources2006
Dr Joris Slegers
Emeritus Professor Isi Mitrani
Dr Nigel Thomas
Server allocation in Grid systems with on/off sources2006
Dr Nigel Thomas
21st UK Performance Engineering Workshop2005
Dr Nigel Thomas
Editorial: Grid performability2005
Dr Nigel Thomas
Performability of a secure electronic voting algorithm2005
Dr Nigel Thomas
Challenges and Opportunities in Grid Performability2004
Dr Nigel Thomas
How synchronisation strategy approximation in PEPA implementations affects passage time performance results2004
Dr Nigel Thomas
Professor Aad van Moorsel
Open issues in grid performability2004
Dr Nigel Thomas
Semi-blind scheduling in a finite capacity system2004
Dr Nigel Thomas
Stochastic analysis of scheduling strategies in a Grid-based resource model2004
Dr Nigel Thomas
An approximate solution of PEPA models using substitution2003
Dr Nigel Thomas
Behavioural independence and control in PEPA2002
Dr Nigel Thomas
Visualisation for Informed Decision Making: From Code to Components2002
Dr Panos Periorellis
Dr Nigel Thomas
Mutuality and the CLARiFi Component Broker2000
Dr Nigel Thomas
Experiences with the PEPA Performance Modelling Tools1999
Dr Nigel Thomas
Product Form Solution for a class of PEPA Models1999
Dr Nigel Thomas
Emeritus Professor Isi Mitrani
Approximate Solution of a Pipeline with Server Vacations1998
Dr Nigel Thomas
[PhD Thesis] Performance and Reliability in Distributed Systems1997
Dr Nigel Thomas
Emeritus Professor Isi Mitrani
Routing Among Different Nodes Where Servers Break Down Without Losing Jobs1995
Dr Nigel Thomas
Emeritus Professor Isi Mitrani
Routing Among Servers with Breakdowns and Retained Queues1995