Nigel Thomas

Proceedings of the Performance Engineering and Stochastic Modeling, 2021

2019

A Hybrid Task Scheduling Scheme for Heterogeneous Vehicular Edge Systems.

[BibT_eX]

[DOI]

IEEE Access, 2019

Performance Modelling of an Anonymous and Failure Resilient Fair-Exchange E-Commerce Protocol.

[BibT_eX]

[DOI]

Ohud Almutairi

Proceedings of the 2019 ACM/SPEC International Conference on Performance Engineering, 2019

Investigating the Performance of C and C++ Cryptographic Libraries.

[BibT_eX]

[DOI]

Majed Alrowaithy

Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools, 2019

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

[BibT_eX]

[DOI]

Saad Alateef

Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools, 2019

Preface.

[BibT_eX]

[DOI]

Marco Gribaudo

Proceedings of the Tenth International Workshop on the Practical Application of Stochastic Modelling, 2019

Energy Consumption by Servers under Unknown Service Demand.

[BibT_eX]

[DOI]

Ali Alssaiari

Proceedings of the Tenth International Workshop on the Practical Application of Stochastic Modelling, 2019

Performance Modelling of the Impact of Cyber Attacks on a Web-based Sales System.

[BibT_eX]

[DOI]

Ohud Almutairi

Proceedings of the Tenth International Workshop on the Practical Application of Stochastic Modelling, 2019

Abandonment Attack on the LEACH Protocol.

[BibT_eX]

[DOI]

Albatool Alhawas

Proceedings of the Computer Performance Engineering - 16th European Workshop, 2019

2018

Performance Impact of Misbehaving Voters.

[BibT_eX]

[DOI]

Mohammed Alotaibi

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

Simulation of Virtual Machine Live Migration in High Throughput Computing Environments.

[BibT_eX]

[DOI]

Andrew Stephen McGough

Proceedings of the 22nd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2018

2017

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

[BibT_eX]

[DOI]

Proceedings of the Ninth International Workshop on the Practical Application of Stochastic Modelling, 2017

Preface.

[BibT_eX]

[DOI]

Katinka Wolter

Proceedings of the Ninth International Workshop on the Practical Application of Stochastic Modelling, 2017

Preface.

[BibT_eX]

[DOI]

Proceedings of the thirty third Annual UK Performance Engineering Workshops, 2017

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

[BibT_eX]

[DOI]

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

Modelling Energy Efficient Server Management Policies in PEPA.

[BibT_eX]

[DOI]

Ali Alssaiari

Ray Adderley Jm Gining

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.

[BibT_eX]

[DOI]

James Allen

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.

[BibT_eX]

[DOI]

Faris Llwaah

Jacek Cala

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.

[BibT_eX]

[DOI]

Mohammed Alotaibi

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

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

[BibT_eX]

[DOI]

Saleh Mohamed

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

Modelling and Analysis of Commit Protocols with PEPA.

[BibT_eX]

[DOI]

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

Machine Learning Models for Predicting Timely Virtual Machine Live Migration.

[BibT_eX]

[DOI]

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

2016

Preface.

[BibT_eX]

[DOI]

Boudewijn R. Haverkort

Anne Remke

Proceedings of the 8th International Workshop on Practical Application of Stochastic Modeling, 2016

Performance Modelling of IEEE 802.11g Wireless LAN.

[BibT_eX]

[DOI]

Choman Othman Abdullah

EAI Endorsed Trans. Wirel. Spectr., 2016

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

[BibT_eX]

[DOI]

EAI Endorsed Trans. Cloud Syst., 2016

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

[BibT_eX]

[DOI]

A. Stephen McGough

Concurr. Comput. Pract. Exp., 2016

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

[BibT_eX]

[DOI]

IEEE Access, 2016

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

[BibT_eX]

[DOI]

Faris Llwaah

Jacek Cala

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

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

[BibT_eX]

[DOI]

Choman Othman Abdullah

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

Performance Modelling of Optimistic Fair Exchange.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Choman Othman Abdullah

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

2015

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

[BibT_eX]

[DOI]

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

2014

Operating Policies for Energy Efficient Dynamic Server Allocation.

[BibT_eX]

[DOI]

Thai Ha Nguyen

Proceedings of the Twenty-ninth and thirtieth Annual UK Performance Engineering Workshops, 2014

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

[BibT_eX]

[DOI]

Proceedings of the Twenty-ninth and thirtieth Annual UK Performance Engineering Workshops, 2014

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

[BibT_eX]

[DOI]

Andrew Stephen McGough

Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014

Preface.

[BibT_eX]

[DOI]

Peter Bull

Lin Guan

Proceedings of the Twenty-ninth and thirtieth Annual UK Performance Engineering Workshops, 2014

Preface.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014

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

[BibT_eX]

[DOI]

Proceedings of the Twenty-ninth and thirtieth Annual UK Performance Engineering Workshops, 2014

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

[BibT_eX]

[DOI]

A. Stephen McGough

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.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2013

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

[BibT_eX]

[DOI]

Peter G. Harrison

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

2012

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

[BibT_eX]

[DOI]

Inf. Sci., 2012

Preface.

[BibT_eX]

[DOI]

Keijo Heljanko

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

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

[BibT_eX]

[DOI]

Comput. J., 2012

SRN Models for Analysis of Multihop Wireless Ad Hoc Networks.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Formal Performance Modelling: From Protocols to People.

[BibT_eX]

[DOI]

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

A Novel Approach to Energy Efficient Content Distribution with BitTorrent.

[BibT_eX]

[DOI]

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

Scalable Stochastic Modelling for Resilience.

[BibT_eX]

[DOI]

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

2011

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

[BibT_eX]

[DOI]

Proceedings of the Network Performance Engineering, 2011

Product-Form Solution in PEPA via the Reversed Process.

[BibT_eX]

[DOI]

Peter G. Harrison

Proceedings of the Network Performance Engineering, 2011

A fitting method with generalized Erlang distributions.

[BibT_eX]

[DOI]

Kyungsup Kim

Simul. Model. Pract. Theory, 2011

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

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on the Practical Application of Stochastic Modelling, 2011

Preface.

[BibT_eX]

[DOI]

Samuel Kounev

Nikolaus Huber

Fabian Brosig

Proceedings of the Fifth International Workshop on the Practical Application of Stochastic Modelling, 2011

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

[BibT_eX]

[DOI]

Comput. J., 2011

Mean value analysis for a class of PEPA models.

[BibT_eX]

[DOI]

Comput. J., 2011

A Simplified Solution of a PEPA Model of Kerberos Protocol.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Xiao Chen

Michael D. Harrison

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.

[BibT_eX]

[DOI]

Perform. Evaluation, 2010

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

[BibT_eX]

[DOI]

Peter G. Harrison

Proceedings of the Computer Performance Engineering, 2010

2009

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

[BibT_eX]

[DOI]

Perform. Evaluation, 2009

Preface.

[BibT_eX]

[DOI]

Nicholas J. Dingle

Uli Harder

Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling, 2009

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

[BibT_eX]

[DOI]

Ann. Oper. Res., 2009

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

[BibT_eX]

[DOI]

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

2008

Comparing job allocation schemes where service demand is unknown.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2008

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

[BibT_eX]

[DOI]

Proceedings of the Performance Evaluation: Metrics, 2008

Dynamic Server Allocation for Power and Performance.

[BibT_eX]

[DOI]

Proceedings of the Performance Evaluation: Metrics, 2008

A Cost Model Analysis of a Secure Key Distribution Centre.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2007

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

[BibT_eX]

[DOI]

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

2006

Approximation in non-product form finite capacity queue systems.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2006

Server Allocation in Grid Systems with On/Off Sources.

[BibT_eX]

[DOI]

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

Modelling job allocation where service duration is unknown.

[BibT_eX]

[DOI]

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

Performance analysis of stochastic process algebra models using stochastic simulation.

[BibT_eX]

[DOI]

Stephen T. Gilmore

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

2005

Preface.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on the Practical Application of Stochastic Modeling, 2005

Editorial: Grid Performability

[BibT_eX]

[DOI]

Comput. J., 2005

2004

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

[BibT_eX]

[DOI]

IEE Proc. Softw., 2004

Performability of a Secure Electronic Voting Algorithm.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling, 2004

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

[BibT_eX]

[DOI]

Stephen T. Gilmore

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

2003

The end of the line for Software Visualisation?

[BibT_eX]

Stuart M. Charters

Malcolm Munro

Proceedings of the 2nd International Workshop on Visualizing Software for Understanding and Analysis, 2003

Approximation in Non-Product Form Multiple Queue Systems.

[BibT_eX]

[DOI]

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

2002

Visualisation for informed decision making; from code to components.

[BibT_eX]

[DOI]

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

2000

Visual representation of stochastic process algebra models.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Software and Performance, 2000

Approximating Variance in Non-product Form Decomposed Models.

[BibT_eX]

Proceedings of the ICALP Workshops 2000, 2000

1999

Product Form Solution for a Class of PEPA Models.

[BibT_eX]

[DOI]

Jane Hillston

Perform. Evaluation, 1999

Experiences with the PEPA performance modelling.

[BibT_eX]

[DOI]

IEE Proc. Softw., 1999

1998

Approximate Solution of a Pipeline with Server Vacations.

[BibT_eX]