Dr Nigel Thomas
| Comparing the use of Simu5G and 5G-Sim-V2I/N modules when analysing the edgecomputing resource management efficiency | 2025 |
|
Hassan Laghbi
Dr Nigel Thomas
| Including Follower Dynamics in Beaconing for Platooning Safety | 2025 |
|
Hassan Laghbi
Dr Nigel Thomas
| Performance Evaluation of Beaconing Schemes for Vehicular Platooning | 2025 |
|
Maher Alharby
Ali Alssaiari
Dr Saad Alateef
Dr Nigel Thomas
Professor Aad van Moorsel
et al. | A PEPA model of PoW-based blockchains | 2024 |
|
Dr Saad Alateef
Dr Nigel Thomas
| A Quantitative Analysis of the Security of PoW-based Blockchains | 2024 |
|
Ahmad Moqri
Dr Nigel Thomas
| Analysing and Comparing the Performance of the MANET Routing Protocols: AODV, DSDV and ZRP | 2024 |
|
Dr Ali Alzahrani
Dr Nigel Thomas
| Analysing the Performance of a Trust-Based AODV in the Presence of a Flooding Attack | 2024 |
|
Hassan Laghbi
Dr Nigel Thomas
Dr Matthew Forshaw
| Slotted and Token-based Overlays for Vehicular Platooning | 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 |
|
Hassan Laghbi
Saad Alateef
Dr Nigel Thomas
| The Impact of Resource DoS and Propagation Loss on VANET Routing | 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 |
|
