Nigel Thomas

A. Stephen McGough, Nigel Thomas, Matthew Forshaw, 2018, 2018 IEEE/ACM 22nd International Symposium on Distributed Simulation and Real Time Applications (DS-RT).

MULTI SENSOR, MULTIVARIATE, AND MULTI-CLASS INCIDENT DETECTION SYSTEM FOR ARTERIAL STREETS

Nigel Thomas, 1996 .

Scalable Stochastic Modelling for Resilience

Philipp Reinecke, Katinka Wolter, Lucia Cloth, 2012, Resilience Assessment and Evaluation of Computing Systems.

Battery Models Investigation and Evaluation Using a Power Demand Generated from Driving Cycles

Nigel Thomas, Saad Alateef, 2019, VALUETOOLS.

SRN Models for Analysis of Multihop Wireless Ad Hoc Networks

Nigel Thomas, Osama Younes, N. Thomas, 2012, EPEW/UKPEW.

Time-inhomogeneous Population Models of a Cycle-Stealing Distributed System

Jeremy T. Bradley, Nigel Thomas, Anton Stefanek, 2015, Electron. Notes Theor. Comput. Sci..

Comparing Methods for the Efficient Analysis of PEPA Models of Non-repudiation Protocols

Nigel Thomas, Yishi Zhao, 2009, 2009 15th International Conference on Parallel and Distributed Systems.

Routing Among Servers with Breakdowns and Retained Queues

Nigel Thomas, Isi Mitrani, 1995 .

Dynamic Server Allocation for Power and Performance

Joris Slegers, Nigel Thomas, Isi Mitrani, 2008, SIPEW.

Performance and reliability in distributed systems

Nigel Thomas, N. Thomas, 1997 .

Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering

Carlos Juiz, Nigel Thomas, 2008 .

Modelling Energy Efficient Server Management Policies in PEPA

Nigel Thomas, Ali Alssaiari, Ray Adderley Jm Gining, 2017, ICPE Companion.

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 (PD

Jeremy T. Bradley, William J. Knottenbelt, Nigel Thomas, 2013 .

Modelling job allocation where service duration is unknown

Nigel Thomas, 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

Approximate Solution of a Pipeline with Server Vacations

Nigel Thomas, Isi Mitrani, I. Mitrani, 1998, ESM.

Approximating Variance in Non-product Form Decomposed Models

Jeremy T. Bradley, Nigel Thomas, 2000, ICALP Satellite Workshops.

Stochastic analysis of scheduling strategies in a Grid-based resource model

Jeremy T. Bradley, William J. Knottenbelt, Nigel Thomas, 2004, IEE Proc. Softw..

A Path Connection Availability Model for MANETs with Random Waypoint Mobility

Nigel Thomas, Osama Younes, N. Thomas, 2012, EPEW/UKPEW.

A Cost Model Analysis of a Secure Key Distribution Centre

Nigel Thomas, Yishi Zhao, 2008, 2008 The 9th International Conference for Young Computer Scientists.

How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results

Stephen Gilmore, Jeremy T. Bradley, Nigel Thomas, 2004, FORTE Workshops.

Computer Performance Engineering, 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings

Carlos Juiz, Nigel Thomas, 2008, EPEW.

The case for energy-aware simulation and modelling of internet of things (IoT)

A. Stephen McGough, Nigel Thomas, Matthew Forshaw, 2016 .

A performance model of the Trusted Cloud Computing Platform VM Launch Protocol

Nigel Thomas, Said Kamil, 2016, EAI Endorsed Trans. Cloud Syst..

Approximation in non-product form multiple queue systems

Nigel Thomas, 2003, Proceedings International Parallel and Distributed Processing Symposium.

Editorial: Grid Performability

Nigel Thomas, 2005, Comput. J..

Patient Flow Scheduling and Capacity Planning in a Smart Hospital Environment

Jie Ding, Xiao Chen, Liangmin Wang, 2016, IEEE Access.

On Energy-efficient Checkpointing in High-throughput Cycle-stealing Distributed Systems

A. Stephen McGough, Nigel Thomas, Matthew Forshaw, 2014, SMARTGREENS.

Towards an Extensible and Scalable Energy Harvesting Wireless Sensor Network Simulation Framework

James Allen, Nigel Thomas, Matthew Forshaw, 2017, ICPE Companion.

Proceedings of the Sixth International Workshop on Process Algebra for Performance Modelling

Stephen Gilmore, Nigel Thomas, S. Gilmore, 1998 .

Performance Modelling of Optimistic Fair Exchange

Nigel Thomas, Yishi Zhao, 2016, ASMTA.

Invited Response to Computer Journal Lecture by Prof. Jane Hillston

Jeremy T. Bradley, Nigel Thomas, Anton Stefanek, 2012, Comput. J..

Performance Modelling of Dynamic Server Allocation for Energy Efficiency using PEPA

Nigel Thomas, Ali Alssaiari, 2016 .

Formal Performance Modelling and Analysis of IEEE 802.11 Wireless LAN Protocols

Nigel Thomas, Choman Othman Abdullah, 2015 .

Scalable QoS Content-Aware Load Balancing Algorithm for a Web Switch Based on Classical Policies

Carlos Juiz, Ramón Puigjaner, Katja Gilly, 2008, 22nd International Conference on Advanced Information Networking and Applications (aina 2008).

Modelling and Analysis of Commit Protocols with PEPA

Nigel Thomas, Said Kamil, Said Naser, 2017, EPEW.

Performance of Virtual Machine Live Migration with Various Workloads

Nigel Thomas, Matthew Forshaw, Osama Nasser Alrajeh, 2016 .

Adaptive admission control algorithm in a QoS-aware Web system

Carlos Juiz, Ramón Puigjaner, Katja Gilly, 2012, Inf. Sci..

Performance Analysis of PGP

Nigel Thomas, S Dick, 2006 .

A Case Study in Inspecting the Cost of Security in Cloud Computing

Nigel Thomas, Said Kamil, Said Naser, 2015, UKPEW.

Server Allocation in Grid Systems with On/Off Sources

Joris Slegers, Nigel Thomas, Isi Mitrani, 2006, ISPA Workshops.

Visualisation for informed decision making; from code to components

Stuart M. Charters, Malcolm Munro, Nigel Thomas, 2002, SEKE '02.

Using Markovian Process Algebra to Specify Interactions in Queueing Systems

Nigel Thomas, 1997 .

Trace-Driven Simulation for Energy Consumption in High Throughput Computing Systems

A. Stephen McGough, Nigel Thomas, Matthew Forshaw, 2014, 2014 IEEE/ACM 18th International Symposium on Distributed Simulation and Real Time Applications.

Automatic Generation of Distributed Run-Time Infrastructure for Internet of Things

Nigel Thomas, Matthew Forshaw, Saleh Mohamed, 2017, 2017 IEEE International Conference on Software Architecture Workshops (ICSAW).

Formal Performance Modelling: From Protocols to People

Xiao Chen, Nigel Thomas, Yishi Zhao, 2012, EPEW/UKPEW.

State-Dependent Rates and Semi-Product-Form via the Reversed Process

Peter G. Harrison, Nigel Thomas, P. Harrison, 2010, EPEW.

Modelling and performance analysis of multi-hop ad hoc networks

Nigel Thomas, Osama Younes, N. Thomas, 2013, Simul. Model. Pract. Theory.

Performance Impact of Misbehaving Voters

Nigel Thomas, Mohammed Alotaibi, 2018, EPEW.

Product Form Solution for a Class of PEPA Models

Jane Hillston, Nigel Thomas, 1999, Perform. Evaluation.

SRN Model for Performance Evaluation of TCP Sessions Sharing Bottleneck Links in WAN

Nigel Thomas, Osama Younes, W Elkilani, 2009 .

Performance Evaluation of Scheduling Policies in a Smart Hospital Environment

Xiao Chen, Nigel Thomas, Michael D. Harrison, 2011, 2011 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery.

Product-Form Solution in PEPA via the Reversed Process

Peter G. Harrison, Nigel Thomas, P. Harrison, 2011, Network Performance Engineering.

An SRN Model of the IEEE 802.11 DCF MAC Protocol in Multi-Hop Ad Hoc Networks with Hidden Nodes

Nigel Thomas, Osama Younes, 2011, Comput. J..

Performance and Dependability Evaluation of Distributed Event-based Systems: A Dynamic Code-injection Approach

Andrew Dinn, Nigel Thomas, Matthew Forshaw, 2017, ICPE.

Preface: Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling (PASM 2008)

Jeremy T. Bradley, William J. Knottenbelt, Nigel Thomas, 2009 .

Modelling Unfairness in IEEE 802.11g Networks with Variable Frame Length

Nigel Thomas, Choman Othman Abdullah, 2016, ASMTA.

Preface: The 8th International Workshop on Practical Application of Stochastic Modeling

Boudewijn R. Haverkort, Anne Remke, William J. Knottenbelt, 2016 .

Energy-efficient Checkpointing in High-throughput Cycle-stealing Distributed Systems

A. Stephen McGough, Nigel Thomas, Matthew Forshaw, 2015, Electron. Notes Theor. Comput. Sci..

Performance Evaluation of a Secure and Scalable E-Voting Scheme Using PEPA

Nigel Thomas, Mohammed Alotaibi, 2017, InfQ@VALUETOOLS.

Proceedings of the 8th European conference on Computer Performance Engineering

Nigel Thomas, 2011 .

Performability of a Secure Electronic Voting Algorithm

Nigel Thomas, 2005, Electron. Notes Theor. Comput. Sci..

Investigating the Cost of Transfer Delay on the Performance of Security in Cloud Computing

Nigel Thomas, Said Kamil, N. Thomas, 2018, PASM.

Performance modelling of patient flow scheduling through a formal method

Xiao Chen, Jie Ding, Nigel Thomas, 2017 .

Mean value analysis for a class of PEPA models

Nigel Thomas, Yishi Zhao, 2011, Comput. J..

A Simplified Solution of a PEPA Model of Kerberos Protocol

Nigel Thomas, Yishi Zhao, 2011, 2011 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery.

Investigating the Performance of C and C++ Cryptographic Libraries

Nigel Thomas, Majed Alrowaithy, 2019, VALUETOOLS.

Modelling secure secret key exchange using stochastic process algebra

Nigel Thomas, Y Zhao, 2007 .

Performance analysis of stochastic process algebra models using stochastic simulation

Stephen Gilmore, Jeremy T. Bradley, Nigel Thomas, 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

Mean Value Analysis for a Class of PEPA Models

Nigel Thomas, Yishi Zhao, 2009, EPEW.

An Empirical Study Comparing the PEPA Eclipse Plug-in and GPA Tools

Nigel Thomas, Said Kamil, N. Thomas, 2015 .

INVESTIGATING THE EFFICIENCY OF CRYPTOGRAPHIC ALGORITHMS IN ONLINE TRANSACTIONS

Nigel Thomas, P. Tomlinson, A. van Moorsel, 2005 .

Analysis of Non-product Form Parallel Queues Using Markovian Process Algebra

Jeremy T. Bradley, Nigel Thomas, 2011, Network Performance Engineering.

A fitting method with generalized Erlang distributions

Nigel Thomas, Kyungsup Kim, N. Thomas, 2011, Simul. Model. Pract. Theory.

Simulation of Runtime Performance of Big Data Workflows on the Cloud

Jacek Cala, Nigel Thomas, Faris Llwaah, 2016, EPEW.

Experiences with the PEPA performance modelling

Stephen Gilmore, Jane Hillston, Graham Clark, 1999, IEE Proc. Softw..

Semi-blind scheduling in a finite capacity system

Jeremy T. Bradley, William J. Knottenbelt, Nigel Thomas, 2004 .

Approximate Solution of a PEPA Model of a Key Distribution Centre

Nigel Thomas, Yishi Zhao, 2008, SIPEW.

Analytical and Stochastic Modelling Techniques and Applications: 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings

Nigel Thomas, Matthew Forshaw, M. Forshaw, 2017, Lecture Notes in Computer Science.

A Novel Indirect Trust Mechanism for Addressing Black hole Attacks in MANET

Nigel Thomas, Hassan Jari, Ali Alzahrani, 2021, DIVANet.

Performance Evaluation of ZooKeeper Atomic Broadcast Protocol

Nigel Thomas, Said Naser Said Kamil, Ibrahim Elsanosi, 2021, VALUETOOLS.

Energy consumption of TAGS in a heterogeneous environment under unknown service demand

Nigel Thomas, Ali Alssaiari, N. Thomas, 2021, Sustain. Comput. Informatics Syst..

EXPERIENCES OF USING THE PEPA PERFORMANCE MODELLING TOOLS WITH A NON-REPUDIATION PROTOCOL

Nigel Thomas, Yishi Zhao, 2009 .

Performance of Novel Scheduling Strategies

Nigel Thomas, Xiao Chen, N. Thomas, 2009 .

Extending Quasi-separability

Nigel Thomas, 1999 .

Approximate solution of PEPA models using component substitution

Jeremy T. Bradley, Nigel Thomas, D. Thornley, 2003 .

Efficient solutions of a PEPA model of key distribution centre with a cost function

Nigel Thomas, Yishi Zhao, 2008 .

Towards Reliable Modelling with Stochastic Process Algebras

Stephen Gilmore, Rob Pooley, Jeremy T. Bradley, 2009 .

Efficient Analysis of PEPA model of Non-repudiation Protocols

Nigel Thomas, Yishi Zhao, 2009 .