Nigel Thomas

118 papers A 3B 5C 3Journal 24Unranked 64
YearRankTypeTitle / Venue / Authors
2025 J jnl
Including Follower Dynamics in Beaconing for Platooning Safety.
CoRR
Hassan Laghbi, Nigel Thomas
2024 J jnl
A quantitative analysis of the security of PoW-based blockchains.
Clust. Comput.
Maher Alharby, Ali Alssaiari, Saad Alateef, Nigel Thomas, Aad van Moorsel
2024 — conf
Performance Evaluation of Beaconing Schemes for Vehicular Platooning.
EPEW
Hassan Laghbi, Nigel Thomas
2023 — conf
A State-Size Inclusive Approach to Optimizing Stream Processing Applications.
EPEW
Paul Omoregbee, Matthew Forshaw, Nigel Thomas
2023 — ed.
Computer Performance Engineering - 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedings
EPEW
Katja Gilly, Nigel Thomas
2023 — conf
Performance Evaluation of Global Trust Management in MANETs Routing Protocols.
EPEW
Hassan Jari, Nigel Thomas
2023 — ed.
Practical Applications of Stochastic Modelling - 11th International Workshop, PASM 2022, Alicante, Spain, September 23, 2022, Revised Selected Papers
PASM
Matthew Forshaw, Katja Gilly, William J. Knottenbelt, Nigel Thomas
2022 — conf
Energy Consumption Estimation for Electric Vehicles Using Routing API Data.
EPEW
Saad Alateef, Nigel Thomas
2022 — conf
Modelling Performance and Fairness of Frame Bursting in IEEE 802.11n Using PEPA.
PASM
Choman Othman Abdullah, Nigel Thomas
2022 — conf
Performance Modelling of Attack Graphs.
PASM
Ohud Almutairi, Nigel Thomas
2021 — conf
A Novel Indirect Trust Mechanism for Addressing Black hole Attacks in MANET.
DIVANet
Hassan Jari, Ali Alzahrani, Nigel Thomas
2021 J jnl
Energy consumption of TAGS in a heterogeneous environment under unknown service demand.
Sustain. Comput. Informatics Syst.
Ali Alssaiari, Nigel Thomas
2021 — conf
Modelling a Fair-Exchange Protocol in the Presence of Misbehaviour Using PEPA.
EPEW
Ohud Almutairi, Nigel Thomas
2021 — conf
Performance Evaluation of ZooKeeper Atomic Broadcast Protocol.
VALUETOOLS
Said Naser Said Kamil, Nigel Thomas, Ibrahim Elsanosi
2021 J jnl
Using Virtual Machine live migration in trace-driven energy-aware simulation of high-throughput computing systems.
Sustain. Comput. Informatics Syst.
Osama Nasser Alrajeh, Matthew Forshaw, Nigel Thomas
2020 — ed.
Tenth International Workshop on the Practical Application of Stochastic Modelling, PASM 2019, Milan, Italy, November 2019
PASM
Matthew Forshaw, Marco Gribaudo, William J. Knottenbelt, Nigel Thomas
2019 J jnl
A Hybrid Task Scheduling Scheme for Heterogeneous Vehicular Edge Systems.
IEEE Access
Xiao Chen, Nigel Thomas, Tianming Zhan, Jie Ding
2019 — conf
Abandonment Attack on the LEACH Protocol.
EPEW
Albatool Alhawas, Nigel Thomas
2019 — conf
Battery Models Investigation and Evaluation Using a Power Demand Generated from Driving Cycles.
VALUETOOLS
Saad Alateef, Nigel Thomas
2019 — conf
Energy Consumption by Servers under Unknown Service Demand.
PASM
Ali Alssaiari, Nigel Thomas
2019 — conf
Investigating the Performance of C and C++ Cryptographic Libraries.
VALUETOOLS
Majed Alrowaithy, Nigel Thomas
2019 B conf
Performance Modelling of an Anonymous and Failure Resilient Fair-Exchange E-Commerce Protocol.
ICPE
Ohud Almutairi, Nigel Thomas
2019 — conf
Performance Modelling of the Impact of Cyber Attacks on a Web-based Sales System.
PASM
Ohud Almutairi, Nigel Thomas
2019 — conf
Preface.
PASM
Matthew Forshaw, Marco Gribaudo, William J. Knottenbelt, Nigel Thomas
2018 — conf
Performance Impact of Misbehaving Voters.
EPEW
Mohammed Alotaibi, Nigel Thomas
2018 — ed.
Proceedings of the Ninth International Workshop on the Practical Application of Stochastic Modelling, PASM 2017, Berlin, Germany, September 9, 2017
PASM
Matthew Forshaw, William J. Knottenbelt, Nigel Thomas, Katinka Wolter
2018 — ed.
Proceedings of the thirty third Annual UK Performance Engineering Workshops, UKPEW 2017, Newcastle upon Tyne, UK, December 2017
UKPEW
Osama Nasser Alrajeh, Nigel Thomas
2018 C conf
Simulation of Virtual Machine Live Migration in High Throughput Computing Environments.
DS-RT
Osama Nasser Alrajeh, Matthew Forshaw, Andrew Stephen McGough, Nigel Thomas
2017 — ed.
Analytical and Stochastic Modelling Techniques and Applications - 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings
ASMTA
Nigel Thomas, Matthew Forshaw
2017 — conf
Automatic Generation of Distributed Run-Time Infrastructure for Internet of Things.
ICSA Workshops
Saleh Mohamed, Matthew Forshaw, Nigel Thomas
2017 — conf
Investigating the Cost of Transfer Delay on the Performance of Security in Cloud Computing.
PASM
Said Naser Said Kamil, Nigel Thomas
2017 — conf
Machine Learning Models for Predicting Timely Virtual Machine Live Migration.
EPEW
Osama Nasser Alrajeh, Matthew Forshaw, Nigel Thomas
2017 — conf
Modelling Energy Efficient Server Management Policies in PEPA.
ICPE Companion
Ali Alssaiari, Ray Adderley Jm Gining, Nigel Thomas
2017 — conf
Modelling and Analysis of Commit Protocols with PEPA.
EPEW
Said Naser Said Kamil, Nigel Thomas
2017 — conf
Performance Evaluation of a Secure and Scalable E-Voting Scheme Using PEPA.
InfQ@VALUETOOLS
Mohammed Alotaibi, Nigel Thomas
2017 B conf
Performance and Dependability Evaluation of Distributed Event-based Systems: A Dynamic Code-injection Approach.
ICPE
Saleh Mohamed, Matthew Forshaw, Nigel Thomas, Andrew E. Dinn
2017 — conf
Preface.
UKPEW
Osama Nasser Alrajeh, Nigel Thomas
2017 — conf
Preface.
PASM
Matthew Forshaw, William J. Knottenbelt, Nigel Thomas, Katinka Wolter
2017 — conf
Runtime Performance Prediction of Big Data Workflows with I/O-aware Simulation.
VALUETOOLS
Faris Llwaah, Jacek Cala, Nigel Thomas
2017 — conf
Towards an Extensible and Scalable Energy Harvesting Wireless Sensor Network Simulation Framework.
ICPE Companion
James Allen, Matthew Forshaw, Nigel Thomas
2016 — ed.
8th International Workshop on Practical Application of Stochastic Modeling, PASM 2016, Münster, Germany, April 2016
PASM
Boudewijn R. Haverkort, William J. Knottenbelt, Anne Remke, Nigel Thomas
2016 — conf
A PEPA Model of IEEE 802.11b/g with Hidden Nodes.
EPEW
Choman Othman Abdullah, Nigel Thomas
2016 J jnl
A performance model of the Trusted Cloud Computing Platform VM Launch Protocol.
EAI Endorsed Trans. Cloud Syst.
Said Naser Said Kamil, Nigel Thomas
2016 J jnl
HTC-Sim: a trace-driven simulation framework for energy consumption in high-throughput computing systems.
Concurr. Comput. Pract. Exp.
Matthew Forshaw, A. Stephen McGough, Nigel Thomas
2016 — conf
Modelling Unfairness in IEEE 802.11g Networks with Variable Frame Length.
ASMTA
Choman Othman Abdullah, Nigel Thomas
2016 J jnl
Patient Flow Scheduling and Capacity Planning in a Smart Hospital Environment.
IEEE Access
Xiao Chen, Liangmin Wang, Jie Ding, Nigel Thomas
2016 J jnl
Performance Modelling of IEEE 802.11g Wireless LAN.
EAI Endorsed Trans. Wirel. Spectr.
Choman Othman Abdullah, Nigel Thomas
2016 — conf
Performance Modelling of Optimistic Fair Exchange.
ASMTA
Yishi Zhao, Nigel Thomas
2016 — conf
Preface.
PASM
Boudewijn R. Haverkort, William J. Knottenbelt, Anne Remke, Nigel Thomas
2016 — conf
Simulation of Runtime Performance of Big Data Workflows on the Cloud.
EPEW
Faris Llwaah, Jacek Cala, Nigel Thomas
2015 — conf
Energy consumption of scheduling policies for HTC jobs in the cloud.
SimuTools
Osama Nasser Alrajeh, Nigel Thomas
2015 — ed.
Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, PASM 2014, Newcastle-upon-Tyne, UK, May 2014
PASM
Jeremy T. Bradley, William J. Knottenbelt, Nigel Thomas
2015 — ed.
Twenty-ninth and thirtieth Annual UK Performance Engineering Workshops, UKPEW 2013, Loughborogh, UK, July 2013 & UKPEW 2014, Newcastle-upon-Tyne, UK, September 2014
UKPEW
Peter Bull, Lin Guan, Nigel Thomas
2014 — conf
A Case Study in Inspecting the Cost of Security in Cloud Computing.
UKPEW
Said Naser Said Kamil, Nigel Thomas
2014 — conf
Energy-efficient Checkpointing in High-throughput Cycle-stealing Distributed Systems.
PASM
Matthew Forshaw, Andrew Stephen McGough, Nigel Thomas
2014 — conf
On Energy-efficient Checkpointing in High-throughput Cycle-stealing Distributed Systems.
SMARTGREENS
Matthew Forshaw, Andrew Stephen McGough, Nigel Thomas
2014 — conf
Operating Policies for Energy Efficient Dynamic Server Allocation.
UKPEW
Thai Ha Nguyen, Matthew Forshaw, Nigel Thomas
2014 — conf
Preface.
PASM
Jeremy T. Bradley, William J. Knottenbelt, Nigel Thomas
2014 — conf
Preface.
UKPEW
Peter Bull, Lin Guan, Nigel Thomas
2014 — conf
Time-inhomogeneous Population Models of a Cycle-Stealing Distributed System.
UKPEW
Jeremy T. Bradley, Matthew Forshaw, Anton Stefanek, Nigel Thomas
2014 C conf
Trace-Driven Simulation for Energy Consumption in High Throughput Computing Systems.
DS-RT
Matthew Forshaw, Nigel Thomas, A. Stephen McGough
2013 J jnl
Modelling and performance analysis of multi-hop ad hoc networks.
Simul. Model. Pract. Theory
Osama Younes, Nigel Thomas
2013 — ed.
Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, PASM 2012, and the Eleventh International Workshop on Parallel and Distributed Methods in Verification, PDMC 2012, London, UK, September 2012
PASM/PDMC
Jeremy T. Bradley, Keijo Heljanko, William J. Knottenbelt, Nigel Thomas
2013 — conf
Semi-Product-Form Solution for PEPA Models with Functional Rates.
ASMTA
Nigel Thomas, Peter G. Harrison
2012 — conf
A Novel Approach to Energy Efficient Content Distribution with BitTorrent.
EPEW/UKPEW
Matthew Forshaw, Nigel Thomas
2012 — conf
A Path Connection Availability Model for MANETs with Random Waypoint Mobility.
EPEW/UKPEW
Osama Younes, Nigel Thomas
2012 J jnl
Adaptive admission control algorithm in a QoS-aware Web system.
Inf. Sci.
Katja Gilly, Carlos Juiz, Nigel Thomas, Ramón Puigjaner
2012 — conf
Formal Performance Modelling: From Protocols to People.
EPEW/UKPEW
Nigel Thomas, Michael D. Harrison, Yishi Zhao, Xiao Chen
2012 J jnl
Invited Response to Computer Journal Lecture by Prof. Jane Hillston.
Comput. J.
Jeremy T. Bradley, Nigel Thomas, Richard A. Hayden, Anton Stefanek
2012 — conf
Preface.
PASM/PDMC
Jeremy T. Bradley, Keijo Heljanko, William J. Knottenbelt, Nigel Thomas
2012 — conf
SRN Models for Analysis of Multihop Wireless Ad Hoc Networks.
EPEW/UKPEW
Osama Younes, Nigel Thomas
2012 — ch.
Scalable Stochastic Modelling for Resilience.
Resilience Assessment and Evaluation of Computing Systems
Jeremy T. Bradley, Lucia Cloth, Richard A. Hayden, Leïla Kloul, Philipp Reinecke, Markus Siegle, Nigel Thomas, Katinka Wolter
2011 — conf
A Simplified Solution of a PEPA Model of Kerberos Protocol.
CyberC
Yishi Zhao, Nigel Thomas
2011 J jnl
A fitting method with generalized Erlang distributions.
Simul. Model. Pract. Theory
Kyungsup Kim, Nigel Thomas
2011 J jnl
An SRN Model of the IEEE 802.11 DCF MAC Protocol in Multi-Hop Ad Hoc Networks with Hidden Nodes.
Comput. J.
Osama Younes, Nigel Thomas
2011 — ch.
Analysis of Non-product Form Parallel Queues Using Markovian Process Algebra.
Network Performance Engineering
Nigel Thomas, Jeremy T. Bradley
2011 — conf
Analysis of the Expected Number of Hops in Mobile Ad Hoc Networks with Random Waypoint Mobility.
PASM@ICPE
Osama Younes, Nigel Thomas
2011 — ed.
Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings
EPEW
Nigel Thomas
2011 — ed.
Fifth International Workshop on the Practical Application of Stochastic Modelling, PASM@ICPE 2011, Karlsruhe, Germany, March 2011
PASM@ICPE
Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Samuel Kounev, Nikolaus Huber, Fabian Brosig
2011 J jnl
Mean value analysis for a class of PEPA models.
Comput. J.
Nigel Thomas, Yishi Zhao
2011 — conf
Performance Evaluation of Scheduling Policies in a Smart Hospital Environment.
CyberC
Xiao Chen, Nigel Thomas, Michael D. Harrison
2011 — conf
Preface.
PASM@ICPE
Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Samuel Kounev, Nikolaus Huber, Fabian Brosig
2011 — ch.
Product-Form Solution in PEPA via the Reversed Process.
Network Performance Engineering
Peter G. Harrison, Nigel Thomas
2010 J jnl
Efficient solutions of a PEPA model of a key distribution centre.
Perform. Evaluation
Yishi Zhao, Nigel Thomas
2010 — ed.
Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling, PASM@MASCOTS 2009, London, UK, September 2009
PASM@MASCOTS
Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Nicholas J. Dingle, Uli Harder
2010 — conf
State-Dependent Rates and Semi-Product-Form via the Reversed Process.
EPEW
Nigel Thomas, Peter G. Harrison
2009 B conf
Comparing Methods for the Efficient Analysis of PEPA Models of Non-repudiation Protocols.
ICPADS
Yishi Zhao, Nigel Thomas
2009 J jnl
Evaluating the optimal server allocation policy for clusters with on/off sources.
Perform. Evaluation
Joris Slegers, Isi Mitrani, Nigel Thomas
2009 — conf
Mean Value Analysis for a Class of PEPA Models.
EPEW
Nigel Thomas, Yishi Zhao
2009 — conf
Preface.
PASM@MASCOTS
Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Nicholas J. Dingle, Uli Harder
2009 — ed.
Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling, PASM@EPEW 2008, Palma de Mallorca, Spain, September 2008
PASM@EPEW
Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt
2009 J jnl
Static and dynamic server allocation in systems with on/off sources.
Ann. Oper. Res.
Joris Slegers, Isi Mitrani, Nigel Thomas
2008 — conf
A Cost Model Analysis of a Secure Key Distribution Centre.
ICYCS
Yishi Zhao, Nigel Thomas
2008 — conf
Approximate Solution of a PEPA Model of a Key Distribution Centre.
SIPEW
Yishi Zhao, Nigel Thomas
2008 J jnl
Comparing job allocation schemes where service demand is unknown.
J. Comput. Syst. Sci.
Nigel Thomas
2008 — ed.
Computer Performance Engineering, 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings
EPEW
Nigel Thomas, Carlos Juiz
2008 — conf
Dynamic Server Allocation for Power and Performance.
SIPEW
Joris Slegers, Nigel Thomas, Isi Mitrani
2008 — conf
Preface.
PASM@EPEW
Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt
2008 B conf
Scalable QoS Content-Aware Load Balancing Algorithm for a Web Switch Based on Classical Policies.
AINA
Katja Gilly, Nigel Thomas, Carlos Juiz, Ramón Puigjaner
2007 — conf
Optimal Dynamic Server Allocation in Systems with On/Off Sources.
EPEW
Joris Slegers, Isi Mitrani, Nigel Thomas
2006 J jnl
Approximation in non-product form finite capacity queue systems.
Future Gener. Comput. Syst.
Nigel Thomas
2006 A conf
Modelling job allocation where service duration is unknown.
IPDPS
Nigel Thomas
2006 A conf
Performance analysis of stochastic process algebra models using stochastic simulation.
IPDPS
Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas
2006 — ed.
Proceedings of the Second International Workshop on the Practical Application of Stochastic Modeling, PASM@FM 2005, Newcastle-upon-Tyne, UK, July 18, 2005
PASM@FM
Nigel Thomas
2006 — conf
Server Allocation in Grid Systems with On/Off Sources.
ISPA Workshops
Joris Slegers, Isi Mitrani, Nigel Thomas
2005 J jnl
Editorial: Grid Performability
Comput. J.
Nigel Thomas
2005 — conf
Preface.
PASM@FM
Nigel Thomas
2004 — conf
How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results.
FORTE Workshops
Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas
2004 — conf
Performability of a Secure Electronic Voting Algorithm.
PASM
Nigel Thomas
2004 J jnl
Stochastic analysis of scheduling strategies in a Grid-based resource model.
IEE Proc. Softw.
Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt
2003 A conf
Approximation in Non-Product Form Multiple Queue Systems.
IPDPS
Nigel Thomas
2003 B conf
The end of the line for Software Visualisation?
VISSOFT
Stuart M. Charters, Nigel Thomas, Malcolm Munro
2002 C conf
Visualisation for informed decision making; from code to components.
SEKE
Stuart M. Charters, Claire Knight, Nigel Thomas, Malcolm Munro
2000 — conf
Approximating Variance in Non-product Form Decomposed Models.
ICALP Satellite Workshops
Nigel Thomas, Jeremy T. Bradley
2000 — conf
Visual representation of stochastic process algebra models.
Workshop on Software and Performance
Nigel Thomas, Malcolm Munro, Peter J. B. King, Rob Pooley
1999 J jnl
Experiences with the PEPA performance modelling.
IEE Proc. Softw.
Graham Clark, Stephen Gilmore, Jane Hillston, Nigel Thomas
1999 J jnl
Product Form Solution for a Class of PEPA Models.
Perform. Evaluation
Jane Hillston, Nigel Thomas
1998 — conf
Approximate Solution of a Pipeline with Server Vacations.
ESM
Nigel Thomas, Isi Mitrani