# Nigel Thomas

According to our database

Collaborative distances:

^{1}, Nigel Thomas authored at least 77 papers between 1998 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Preface.

Electr. Notes Theor. Comput. Sci., 2018

Preface.

Electr. Notes Theor. Comput. Sci., 2018

Performance Impact of Misbehaving Voters.

Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

2017

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

Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

Modelling Energy Efficient Server Management Policies in PEPA.

Proceedings of the Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

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

Proceedings of the Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

Runtime Performance Prediction of Big Data Workflows with I/O-aware Simulation.

Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

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

Proceedings of the New Frontiers in Quantitative Methods in Informatics, 2017

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

Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017

Modelling and Analysis of Commit Protocols with PEPA.

Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017

Machine Learning Models for Predicting Timely Virtual Machine Live Migration.

Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017

2016

Preface.

Electr. Notes Theor. Comput. Sci., 2016

Performance Modelling of IEEE 802.11g Wireless LAN.

EAI Endorsed Trans. Wireless Spectrum, 2016

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

EAI Endorsed Trans. Cloud Systems, 2016

HTC-Sim: a trace-driven simulation framework for energy consumption in high-throughput computing systems.

Concurrency and Computation: Practice and Experience, 2016

Patient Flow Scheduling and Capacity Planning in a Smart Hospital Environment.

IEEE Access, 2016

Simulation of Runtime Performance of Big Data Workflows on the Cloud.

Proceedings of the Computer Performance Engineering - 13th European Workshop, 2016

A PEPA Model of IEEE 802.11b/g with Hidden Nodes.

Proceedings of the Computer Performance Engineering - 13th European Workshop, 2016

Performance Modelling of Optimistic Fair Exchange.

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2016

Modelling Unfairness in IEEE 802.11g Networks with Variable Frame Length.

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2016

2015

Operating Policies for Energy Efficient Dynamic Server Allocation.

Electr. Notes Theor. Comput. Sci., 2015

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

Electr. Notes Theor. Comput. Sci., 2015

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

Electr. Notes Theor. Comput. Sci., 2015

Preface.

Electr. Notes Theor. Comput. Sci., 2015

Preface.

Electr. Notes Theor. Comput. Sci., 2015

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

Electr. Notes Theor. Comput. Sci., 2015

Energy consumption of scheduling policies for HTC jobs in the cloud.

Proceedings of the 8th International Conference on Simulation Tools and Techniques, 2015

2014

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

Proceedings of the SMARTGREENS 2014, 2014

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

Proceedings of the 18th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2014

2013

Modelling and performance analysis of multi-hop ad hoc networks.

Simulation Modelling Practice and Theory, 2013

Preface.

Electr. Notes Theor. Comput. Sci., 2013

Semi-Product-Form Solution for PEPA Models with Functional Rates.

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013

2012

Adaptive admission control algorithm in a QoS-aware Web system.

Inf. Sci., 2012

Invited Response to Computer Journal Lecture by Prof. Jane Hillston.

Comput. J., 2012

SRN Models for Analysis of Multihop Wireless Ad Hoc Networks.

Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

A Path Connection Availability Model for MANETs with Random Waypoint Mobility.

Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

Formal Performance Modelling: From Protocols to People.

Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

A Novel Approach to Energy Efficient Content Distribution with BitTorrent.

Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

Scalable Stochastic Modelling for Resilience.

Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

2011

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

Proceedings of the Network Performance Engineering, 2011

Product-Form Solution in PEPA via the Reversed Process.

Proceedings of the Network Performance Engineering, 2011

A fitting method with generalized Erlang distributions.

Simulation Modelling Practice and Theory, 2011

Analysis of the Expected Number of Hops in Mobile Ad Hoc Networks with Random Waypoint Mobility.

Electr. Notes Theor. Comput. Sci., 2011

Preface.

Electr. Notes Theor. Comput. Sci., 2011

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

Comput. J., 2011

A Simplified Solution of a PEPA Model of Kerberos Protocol.

Proceedings of the 2011 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2011

Performance Evaluation of Scheduling Policies in a Smart Hospital Environment.

Proceedings of the 2011 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2011

2010

Efficient solutions of a PEPA model of a key distribution centre.

Perform. Eval., 2010

Preface.

Electr. Notes Theor. Comput. Sci., 2010

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

Proceedings of the Computer Performance Engineering, 2010

2009

Evaluating the optimal server allocation policy for clusters with on/off sources.

Perform. Eval., 2009

Preface.

Electr. Notes Theor. Comput. Sci., 2009

Static and dynamic server allocation in systems with on/off sources.

Annals OR, 2009

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

Proceedings of the 15th IEEE International Conference on Parallel and Distributed Systems, 2009

Mean Value Analysis for a Class of PEPA Models.

Proceedings of the Computer Performance Engineering, 2009

2008

Comparing job allocation schemes where service demand is unknown.

J. Comput. Syst. Sci., 2008

Approximate Solution of a PEPA Model of a Key Distribution Centre.

Proceedings of the Performance Evaluation: Metrics, 2008

Dynamic Server Allocation for Power and Performance.

Proceedings of the Performance Evaluation: Metrics, 2008

A Cost Model Analysis of a Secure Key Distribution Centre.

Proceedings of the 9th International Conference for Young Computer Scientists, 2008

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

Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

2007

Optimal Dynamic Server Allocation in Systems with On/Off Sources.

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

2006

Approximation in non-product form finite capacity queue systems.

Future Generation Comp. Syst., 2006

Preface.

Electr. Notes Theor. Comput. Sci., 2006

Server Allocation in Grid Systems with On/Off Sources.

Proceedings of the Frontiers of High Performance Computing and Networking, 2006

Modelling job allocation where service duration is unknown.

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Performance analysis of stochastic process algebra models using stochastic simulation.

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005

Performability of a Secure Electronic Voting Algorithm.

Electr. Notes Theor. Comput. Sci., 2005

Editorial: Grid Performability

Comput. J., 2005

2004

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

IEE Proceedings - Software, 2004

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

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

2003

Approximation in Non-Product Form Multiple Queue Systems.

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002

Visualisation for informed decision making; from code to components.

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

2000

Visual representation of stochastic process algebra models.

Workshop on Software and Performance, 2000

Approximating Variance in Non-product Form Decomposed Models.

ICALP Satellite Workshops, 2000

1999

Product Form Solution for a Class of PEPA Models.

Perform. Eval., 1999

Experiences with the PEPA performance modelling.

IEE Proceedings - Software, 1999

1998

Approximate Solution of a Pipeline with Server Vacations.

Proceedings of the 12<sup>th</sup> European Simulation Multiconference - Simulation, 1998