BibTeX records: Nigel Thomas

download as .bib file

@inproceedings{DBLP:conf/epew/OmoregbeeFT23,
  author       = {Paul Omoregbee and
                  Matthew Forshaw and
                  Nigel Thomas},
  editor       = {Mauro Iacono and
                  Marco Scarpa and
                  Enrico Barbierato and
                  Salvatore Serrano and
                  Davide Cerotti and
                  Francesco Longo},
  title        = {A State-Size Inclusive Approach to Optimizing Stream Processing Applications},
  booktitle    = {Computer Performance Engineering and Stochastic Modelling - 19th European
                  Workshop, {EPEW} 2023, and 27th International Conference, {ASMTA}
                  2023, Florence, Italy, June 20-23, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14231},
  pages        = {325--339},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43185-2\_22},
  doi          = {10.1007/978-3-031-43185-2\_22},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/OmoregbeeFT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/JariT23,
  author       = {Hassan Jari and
                  Nigel Thomas},
  editor       = {Mauro Iacono and
                  Marco Scarpa and
                  Enrico Barbierato and
                  Salvatore Serrano and
                  Davide Cerotti and
                  Francesco Longo},
  title        = {Performance Evaluation of Global Trust Management in MANETs Routing
                  Protocols},
  booktitle    = {Computer Performance Engineering and Stochastic Modelling - 19th European
                  Workshop, {EPEW} 2023, and 27th International Conference, {ASMTA}
                  2023, Florence, Italy, June 20-23, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14231},
  pages        = {383--397},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43185-2\_26},
  doi          = {10.1007/978-3-031-43185-2\_26},
  timestamp    = {Tue, 10 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/JariT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/epew/2022,
  editor       = {Katja Gilly and
                  Nigel Thomas},
  title        = {Computer Performance Engineering - 18th European Workshop, {EPEW}
                  2022, Santa Pola, Spain, September 21-23, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13659},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-25049-1},
  doi          = {10.1007/978-3-031-25049-1},
  isbn         = {978-3-031-25048-4},
  timestamp    = {Fri, 03 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/epew/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/AlateefT22,
  author       = {Saad Alateef and
                  Nigel Thomas},
  editor       = {Katja Gilly and
                  Nigel Thomas},
  title        = {Energy Consumption Estimation for Electric Vehicles Using Routing
                  {API} Data},
  booktitle    = {Computer Performance Engineering - 18th European Workshop, {EPEW}
                  2022, Santa Pola, Spain, September 21-23, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13659},
  pages        = {37--53},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-25049-1\_3},
  doi          = {10.1007/978-3-031-25049-1\_3},
  timestamp    = {Fri, 03 Feb 2023 17:54:56 +0100},
  biburl       = {https://dblp.org/rec/conf/epew/AlateefT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/suscom/AlrajehFT21,
  author       = {Osama Nasser Alrajeh and
                  Matthew Forshaw and
                  Nigel Thomas},
  title        = {Using Virtual Machine live migration in trace-driven energy-aware
                  simulation of high-throughput computing systems},
  journal      = {Sustain. Comput. Informatics Syst.},
  volume       = {29},
  number       = {Part},
  pages        = {100468},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.suscom.2020.100468},
  doi          = {10.1016/J.SUSCOM.2020.100468},
  timestamp    = {Tue, 13 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/suscom/AlrajehFT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/suscom/AlssaiariT21,
  author       = {Ali Alssaiari and
                  Nigel Thomas},
  title        = {Energy consumption of {TAGS} in a heterogeneous environment under
                  unknown service demand},
  journal      = {Sustain. Comput. Informatics Syst.},
  volume       = {30},
  pages        = {100557},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.suscom.2021.100557},
  doi          = {10.1016/J.SUSCOM.2021.100557},
  timestamp    = {Tue, 13 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/suscom/AlssaiariT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/AlmutairiT21,
  author       = {Ohud Almutairi and
                  Nigel Thomas},
  editor       = {Paolo Ballarini and
                  Hind Castel and
                  Ioannis Dimitriou and
                  Mauro Iacono and
                  Tuan Phung{-}Duc and
                  Joris Walraevens},
  title        = {Modelling a Fair-Exchange Protocol in the Presence of Misbehaviour
                  Using {PEPA}},
  booktitle    = {Performance Engineering and Stochastic Modeling - 17th European Workshop,
                  {EPEW} 2021, and 26th International Conference, {ASMTA} 2021, Virtual
                  Event, December 9-10 and December 13-14, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13104},
  pages        = {96--114},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-91825-5\_6},
  doi          = {10.1007/978-3-030-91825-5\_6},
  timestamp    = {Fri, 03 Dec 2021 17:36:12 +0100},
  biburl       = {https://dblp.org/rec/conf/epew/AlmutairiT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/JariAT21,
  author       = {Hassan Jari and
                  Ali Alzahrani and
                  Nigel Thomas},
  editor       = {Mirela Notare and
                  Peng Sun},
  title        = {A Novel Indirect Trust Mechanism for Addressing Black hole Attacks
                  in {MANET}},
  booktitle    = {DIVANet '21: Proceedings of the 11th {ACM} Symposium on Design and
                  Analysis of Intelligent Vehicular Networks and Applications, Alicante,
                  Spain, November 22 - 26, 2021},
  pages        = {27--34},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3479243.3487296},
  doi          = {10.1145/3479243.3487296},
  timestamp    = {Fri, 19 Nov 2021 14:27:52 +0100},
  biburl       = {https://dblp.org/rec/conf/mswim/JariAT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/NaserKTE21,
  author       = {Said Naser Said Kamil and
                  Nigel Thomas and
                  Ibrahim Elsanosi},
  editor       = {Qianchuan Zhao and
                  Li Xia},
  title        = {Performance Evaluation of ZooKeeper Atomic Broadcast Protocol},
  booktitle    = {Performance Evaluation Methodologies and Tools - 14th {EAI} International
                  Conference, {VALUETOOLS} 2021, Virtual Event, October 30-31, 2021,
                  Proceedings},
  series       = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
                  and Telecommunications Engineering},
  volume       = {404},
  pages        = {56--71},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-92511-6\_4},
  doi          = {10.1007/978-3-030-92511-6\_4},
  timestamp    = {Wed, 22 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/valuetools/NaserKTE21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pasm/2019,
  editor       = {Matthew Forshaw and
                  Marco Gribaudo and
                  William J. Knottenbelt and
                  Nigel Thomas},
  title        = {Tenth International Workshop on the Practical Application of Stochastic
                  Modelling, {PASM} 2019, Milan, Italy, November 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {353},
  publisher    = {Elsevier},
  year         = {2020},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/353/suppl/C},
  timestamp    = {Fri, 11 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pasm/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ChenTZD19,
  author       = {Xiao Chen and
                  Nigel Thomas and
                  Tianming Zhan and
                  Jie Ding},
  title        = {A Hybrid Task Scheduling Scheme for Heterogeneous Vehicular Edge Systems},
  journal      = {{IEEE} Access},
  volume       = {7},
  pages        = {117088--117099},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACCESS.2019.2934890},
  doi          = {10.1109/ACCESS.2019.2934890},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/ChenTZD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/AlhawasT19,
  author       = {Albatool Alhawas and
                  Nigel Thomas},
  editor       = {Marco Gribaudo and
                  Mauro Iacono and
                  Tuan Phung{-}Duc and
                  Rostislav Razumchik},
  title        = {Abandonment Attack on the {LEACH} Protocol},
  booktitle    = {Computer Performance Engineering - 16th European Workshop, {EPEW}
                  2019, Milan, Italy, November 28-29, 2019, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12039},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-44411-2\_1},
  doi          = {10.1007/978-3-030-44411-2\_1},
  timestamp    = {Fri, 03 Apr 2020 14:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/AlhawasT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pasm/ForshawGKT19,
  author       = {Matthew Forshaw and
                  Marco Gribaudo and
                  William J. Knottenbelt and
                  Nigel Thomas},
  editor       = {Matthew Forshaw and
                  Marco Gribaudo and
                  William J. Knottenbelt and
                  Nigel Thomas},
  title        = {Preface},
  booktitle    = {Tenth International Workshop on the Practical Application of Stochastic
                  Modelling, {PASM} 2019, Milan, Italy, November 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {353},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.entcs.2020.09.015},
  doi          = {10.1016/J.ENTCS.2020.09.015},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pasm/ForshawGKT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pasm/AlmutairiT19,
  author       = {Ohud Almutairi and
                  Nigel Thomas},
  editor       = {Matthew Forshaw and
                  Marco Gribaudo and
                  William J. Knottenbelt and
                  Nigel Thomas},
  title        = {Performance Modelling of the Impact of Cyber Attacks on a Web-based
                  Sales System},
  booktitle    = {Tenth International Workshop on the Practical Application of Stochastic
                  Modelling, {PASM} 2019, Milan, Italy, November 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {353},
  pages        = {5--20},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.entcs.2020.09.016},
  doi          = {10.1016/J.ENTCS.2020.09.016},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pasm/AlmutairiT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pasm/AlssaiariT19,
  author       = {Ali Alssaiari and
                  Nigel Thomas},
  editor       = {Matthew Forshaw and
                  Marco Gribaudo and
                  William J. Knottenbelt and
                  Nigel Thomas},
  title        = {Energy Consumption by Servers under Unknown Service Demand},
  booktitle    = {Tenth International Workshop on the Practical Application of Stochastic
                  Modelling, {PASM} 2019, Milan, Italy, November 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {353},
  pages        = {21--38},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.entcs.2020.09.017},
  doi          = {10.1016/J.ENTCS.2020.09.017},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pasm/AlssaiariT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/AlrowaithyT19,
  author       = {Majed Alrowaithy and
                  Nigel Thomas},
  title        = {Investigating the Performance of {C} and {C++} Cryptographic Libraries},
  booktitle    = {Proceedings of the 12th {EAI} International Conference on Performance
                  Evaluation Methodologies and Tools, {VALUETOOLS} 2019, Universitat
                  de les Illes Balears, Palma de Mallorca, Spain, March 12-15, 2019},
  pages        = {167--170},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3306309.3306335},
  doi          = {10.1145/3306309.3306335},
  timestamp    = {Tue, 05 Mar 2019 07:39:30 +0100},
  biburl       = {https://dblp.org/rec/conf/valuetools/AlrowaithyT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/AlateefT19,
  author       = {Saad Alateef and
                  Nigel Thomas},
  title        = {Battery Models Investigation and Evaluation Using a Power Demand Generated
                  from Driving Cycles},
  booktitle    = {Proceedings of the 12th {EAI} International Conference on Performance
                  Evaluation Methodologies and Tools, {VALUETOOLS} 2019, Universitat
                  de les Illes Balears, Palma de Mallorca, Spain, March 12-15, 2019},
  pages        = {189--190},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3306309.3306341},
  doi          = {10.1145/3306309.3306341},
  timestamp    = {Tue, 05 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/valuetools/AlateefT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/AlmutairiT19,
  author       = {Ohud Almutairi and
                  Nigel Thomas},
  editor       = {Varsha Apte and
                  Antinisca Di Marco and
                  Marin Litoiu and
                  Jos{\'{e}} Merseguer},
  title        = {Performance Modelling of an Anonymous and Failure Resilient Fair-Exchange
                  E-Commerce Protocol},
  booktitle    = {Proceedings of the 2019 {ACM/SPEC} International Conference on Performance
                  Engineering, {ICPE} 2019, Mumbai, India, April 7-11, 2019},
  pages        = {5--12},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3297663.3310310},
  doi          = {10.1145/3297663.3310310},
  timestamp    = {Sun, 07 Apr 2019 18:06:15 +0200},
  biburl       = {https://dblp.org/rec/conf/wosp/AlmutairiT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/AlrajehFMT18,
  author       = {Osama Nasser Alrajeh and
                  Matthew Forshaw and
                  Andrew Stephen McGough and
                  Nigel Thomas},
  editor       = {Eva Besada{-}Portas and
                  Oscar Rodr{\'{\i}}guez Polo and
                  Robson E. De Grande and
                  Jos{\'{e}} Luis Risco{-}Mart{\'{\i}}n},
  title        = {Simulation of Virtual Machine Live Migration in High Throughput Computing
                  Environments},
  booktitle    = {22nd {IEEE/ACM} International Symposium on Distributed Simulation
                  and Real Time Applications, {DS-RT} 2018, Madrid, Spain, October 15-17,
                  2018},
  pages        = {47--54},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/DISTRA.2018.8601013},
  doi          = {10.1109/DISTRA.2018.8601013},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsrt/AlrajehFMT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/AlotaibiT18,
  author       = {Mohammed Alotaibi and
                  Nigel Thomas},
  editor       = {Rena Bakhshi and
                  Paolo Ballarini and
                  Beno{\^{\i}}t Barbot and
                  Hind Castel{-}Taleb and
                  Anne Remke},
  title        = {Performance Impact of Misbehaving Voters},
  booktitle    = {Computer Performance Engineering - 15th European Workshop, {EPEW}
                  2018, Paris, France, October 29-30, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11178},
  pages        = {126--141},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-02227-3\_9},
  doi          = {10.1007/978-3-030-02227-3\_9},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/AlotaibiT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pasm/2017,
  editor       = {Matthew Forshaw and
                  William J. Knottenbelt and
                  Nigel Thomas and
                  Katinka Wolter},
  title        = {Proceedings of the Ninth International Workshop on the Practical Application
                  of Stochastic Modelling, {PASM} 2017, Berlin, Germany, September 9,
                  2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {337},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/337/suppl/C},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pasm/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ukpew/2017,
  editor       = {Osama Nasser Alrajeh and
                  Nigel Thomas},
  title        = {Proceedings of the thirty third Annual {UK} Performance Engineering
                  Workshops, {UKPEW} 2017, Newcastle upon Tyne, UK, December 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {340},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/340/suppl/C},
  timestamp    = {Sat, 12 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukpew/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/AlrajehFT17,
  author       = {Osama Nasser Alrajeh and
                  Matthew Forshaw and
                  Nigel Thomas},
  editor       = {Philipp Reinecke and
                  Antinisca Di Marco},
  title        = {Machine Learning Models for Predicting Timely Virtual Machine Live
                  Migration},
  booktitle    = {Computer Performance Engineering - 14th European Workshop, {EPEW}
                  2017, Berlin, Germany, September 7-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10497},
  pages        = {169--183},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66583-2\_11},
  doi          = {10.1007/978-3-319-66583-2\_11},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/AlrajehFT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/NaserKT17,
  author       = {Said Naser Said Kamil and
                  Nigel Thomas},
  editor       = {Philipp Reinecke and
                  Antinisca Di Marco},
  title        = {Modelling and Analysis of Commit Protocols with {PEPA}},
  booktitle    = {Computer Performance Engineering - 14th European Workshop, {EPEW}
                  2017, Berlin, Germany, September 7-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10497},
  pages        = {266--281},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66583-2\_17},
  doi          = {10.1007/978-3-319-66583-2\_17},
  timestamp    = {Wed, 22 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/epew/NaserKT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/MohamedFT17,
  author       = {Saleh Mohamed and
                  Matthew Forshaw and
                  Nigel Thomas},
  title        = {Automatic Generation of Distributed Run-Time Infrastructure for Internet
                  of Things},
  booktitle    = {2017 {IEEE} International Conference on Software Architecture Workshops,
                  {ICSA} Workshops 2017, Gothenburg, Sweden, April 5-7, 2017},
  pages        = {100--107},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICSAW.2017.51},
  doi          = {10.1109/ICSAW.2017.51},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsa/MohamedFT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/AlotaibiT17,
  author       = {Mohammed Alotaibi and
                  Nigel Thomas},
  editor       = {Simonetta Balsamo and
                  Andrea Marin and
                  Enrico Vicario},
  title        = {Performance Evaluation of a Secure and Scalable E-Voting Scheme Using
                  {PEPA}},
  booktitle    = {New Frontiers in Quantitative Methods in Informatics - 7th Workshop,
                  InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {825},
  pages        = {35--48},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-91632-3\_3},
  doi          = {10.1007/978-3-319-91632-3\_3},
  timestamp    = {Wed, 23 May 2018 12:27:16 +0200},
  biburl       = {https://dblp.org/rec/conf/valuetools/AlotaibiT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/LlwaahCT17,
  author       = {Faris Llwaah and
                  Jacek Cala and
                  Nigel Thomas},
  editor       = {Andrea Marin and
                  Benny Van Houdt and
                  Giuliano Casale and
                  Dorina C. Petriu and
                  Sabina Rossi},
  title        = {Runtime Performance Prediction of Big Data Workflows with I/O-aware
                  Simulation},
  booktitle    = {Proceedings of the 11th {EAI} International Conference on Performance
                  Evaluation Methodologies and Tools, {VALUETOOLS} 2017, Venice, Italy,
                  December 05-07, 2017},
  pages        = {74--81},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3150928.3150943},
  doi          = {10.1145/3150928.3150943},
  timestamp    = {Wed, 23 Jan 2019 13:28:37 +0100},
  biburl       = {https://dblp.org/rec/conf/valuetools/LlwaahCT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/AllenFT17,
  author       = {James Allen and
                  Matthew Forshaw and
                  Nigel Thomas},
  editor       = {Walter Binder and
                  Vittorio Cortellessa and
                  Anne Koziolek and
                  Evgenia Smirni and
                  Meikel Poess},
  title        = {Towards an Extensible and Scalable Energy Harvesting Wireless Sensor
                  Network Simulation Framework},
  booktitle    = {Companion Proceedings of the 8th {ACM/SPEC} on International Conference
                  on Performance Engineering, {ICPE} 2017, L'Aquila, Italy, April 22-26,
                  2017},
  pages        = {39--42},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3053600.3053610},
  doi          = {10.1145/3053600.3053610},
  timestamp    = {Tue, 21 Mar 2023 20:58:10 +0100},
  biburl       = {https://dblp.org/rec/conf/wosp/AllenFT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/AlssaiariGT17,
  author       = {Ali Alssaiari and
                  Ray Adderley Jm Gining and
                  Nigel Thomas},
  editor       = {Walter Binder and
                  Vittorio Cortellessa and
                  Anne Koziolek and
                  Evgenia Smirni and
                  Meikel Poess},
  title        = {Modelling Energy Efficient Server Management Policies in {PEPA}},
  booktitle    = {Companion Proceedings of the 8th {ACM/SPEC} on International Conference
                  on Performance Engineering, {ICPE} 2017, L'Aquila, Italy, April 22-26,
                  2017},
  pages        = {43--48},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3053600.3053609},
  doi          = {10.1145/3053600.3053609},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wosp/AlssaiariGT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/MohamedFTD17,
  author       = {Saleh Mohamed and
                  Matthew Forshaw and
                  Nigel Thomas and
                  Andrew E. Dinn},
  editor       = {Walter Binder and
                  Vittorio Cortellessa and
                  Anne Koziolek and
                  Evgenia Smirni and
                  Meikel Poess},
  title        = {Performance and Dependability Evaluation of Distributed Event-based
                  Systems: {A} Dynamic Code-injection Approach},
  booktitle    = {Proceedings of the 8th {ACM/SPEC} on International Conference on Performance
                  Engineering, {ICPE} 2017, L'Aquila, Italy, April 22-26, 2017},
  pages        = {349--352},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3030207.3030245},
  doi          = {10.1145/3030207.3030245},
  timestamp    = {Tue, 21 Mar 2023 20:58:10 +0100},
  biburl       = {https://dblp.org/rec/conf/wosp/MohamedFTD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlrajehT18,
  author       = {Osama Nasser Alrajeh and
                  Nigel Thomas},
  editor       = {Osama Nasser Alrajeh and
                  Nigel Thomas},
  title        = {Preface},
  booktitle    = {Proceedings of the thirty third Annual {UK} Performance Engineering
                  Workshops, {UKPEW} 2017, Newcastle upon Tyne, UK, December 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {340},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2018.09.001},
  doi          = {10.1016/J.ENTCS.2018.09.001},
  timestamp    = {Sat, 12 Nov 2022 12:58:32 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AlrajehT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ForshawKTW18,
  author       = {Matthew Forshaw and
                  William J. Knottenbelt and
                  Nigel Thomas and
                  Katinka Wolter},
  editor       = {Matthew Forshaw and
                  William J. Knottenbelt and
                  Nigel Thomas and
                  Katinka Wolter},
  title        = {Preface},
  booktitle    = {Proceedings of the Ninth International Workshop on the Practical Application
                  of Stochastic Modelling, {PASM} 2017, Berlin, Germany, September 9,
                  2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {337},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2018.03.030},
  doi          = {10.1016/J.ENTCS.2018.03.030},
  timestamp    = {Thu, 10 Nov 2022 10:31:18 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ForshawKTW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KamilT18,
  author       = {Said Naser Said Kamil and
                  Nigel Thomas},
  editor       = {Matthew Forshaw and
                  William J. Knottenbelt and
                  Nigel Thomas and
                  Katinka Wolter},
  title        = {Investigating the Cost of Transfer Delay on the Performance of Security
                  in Cloud Computing},
  booktitle    = {Proceedings of the Ninth International Workshop on the Practical Application
                  of Stochastic Modelling, {PASM} 2017, Berlin, Germany, September 9,
                  2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {337},
  pages        = {105--117},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2018.03.036},
  doi          = {10.1016/J.ENTCS.2018.03.036},
  timestamp    = {Sat, 12 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KamilT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asmta/2017,
  editor       = {Nigel Thomas and
                  Matthew Forshaw},
  title        = {Analytical and Stochastic Modelling Techniques and Applications -
                  24th International Conference, {ASMTA} 2017, Newcastle-upon-Tyne,
                  UK, July 10-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10378},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61428-1},
  doi          = {10.1007/978-3-319-61428-1},
  isbn         = {978-3-319-61427-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/asmta/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ChenWDT16,
  author       = {Xiao Chen and
                  Liangmin Wang and
                  Jie Ding and
                  Nigel Thomas},
  title        = {Patient Flow Scheduling and Capacity Planning in a Smart Hospital
                  Environment},
  journal      = {{IEEE} Access},
  volume       = {4},
  pages        = {135--148},
  year         = {2016},
  url          = {https://doi.org/10.1109/ACCESS.2015.2509013},
  doi          = {10.1109/ACCESS.2015.2509013},
  timestamp    = {Wed, 25 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/access/ChenWDT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/ForshawMT16,
  author       = {Matthew Forshaw and
                  A. Stephen McGough and
                  Nigel Thomas},
  title        = {HTC-Sim: a trace-driven simulation framework for energy consumption
                  in high-throughput computing systems},
  journal      = {Concurr. Comput. Pract. Exp.},
  volume       = {28},
  number       = {12},
  pages        = {3260--3290},
  year         = {2016},
  url          = {https://doi.org/10.1002/cpe.3804},
  doi          = {10.1002/CPE.3804},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/concurrency/ForshawMT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eetcs/KamilT16,
  author       = {Said Naser Said Kamil and
                  Nigel Thomas},
  title        = {A performance model of the Trusted Cloud Computing Platform {VM} Launch
                  Protocol},
  journal      = {{EAI} Endorsed Trans. Cloud Syst.},
  volume       = {2},
  number       = {6},
  pages        = {e2},
  year         = {2016},
  url          = {https://doi.org/10.4108/eai.14-12-2015.2262693},
  doi          = {10.4108/EAI.14-12-2015.2262693},
  timestamp    = {Wed, 22 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eetcs/KamilT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eetws/AbdullahT16,
  author       = {Choman Othman Abdullah and
                  Nigel Thomas},
  title        = {Performance Modelling of {IEEE} 802.11g Wireless {LAN}},
  journal      = {{EAI} Endorsed Trans. Wirel. Spectr.},
  volume       = {2},
  number       = {10},
  pages        = {e2},
  year         = {2016},
  url          = {https://doi.org/10.4108/eai.4-1-2016.151089},
  doi          = {10.4108/EAI.4-1-2016.151089},
  timestamp    = {Thu, 16 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eetws/AbdullahT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asmta/AbdullahT16,
  author       = {Choman Othman Abdullah and
                  Nigel Thomas},
  editor       = {Sabine Wittevrongel and
                  Tuan Phung{-}Duc},
  title        = {Modelling Unfairness in {IEEE} 802.11g Networks with Variable Frame
                  Length},
  booktitle    = {Analytical and Stochastic Modelling Techniques and Applications -
                  23rd International Conference, {ASMTA} 2016, Cardiff, UK, August 24-26,
                  2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9845},
  pages        = {223--238},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-43904-4\_16},
  doi          = {10.1007/978-3-319-43904-4\_16},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/asmta/AbdullahT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asmta/ZhaoT16,
  author       = {Yishi Zhao and
                  Nigel Thomas},
  editor       = {Sabine Wittevrongel and
                  Tuan Phung{-}Duc},
  title        = {Performance Modelling of Optimistic Fair Exchange},
  booktitle    = {Analytical and Stochastic Modelling Techniques and Applications -
                  23rd International Conference, {ASMTA} 2016, Cardiff, UK, August 24-26,
                  2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9845},
  pages        = {298--313},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-43904-4\_21},
  doi          = {10.1007/978-3-319-43904-4\_21},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/asmta/ZhaoT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/AbdullahT16,
  author       = {Choman Othman Abdullah and
                  Nigel Thomas},
  editor       = {Dieter Fiems and
                  Marco Paolieri and
                  Agapios N. Platis},
  title        = {A {PEPA} Model of {IEEE} 802.11b/g with Hidden Nodes},
  booktitle    = {Computer Performance Engineering - 13th European Workshop, {EPEW}
                  2016, Chios, Greece, October 5-7, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9951},
  pages        = {126--140},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46433-6\_9},
  doi          = {10.1007/978-3-319-46433-6\_9},
  timestamp    = {Tue, 21 Mar 2023 20:53:12 +0100},
  biburl       = {https://dblp.org/rec/conf/epew/AbdullahT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/LlwaahCT16,
  author       = {Faris Llwaah and
                  Jacek Cala and
                  Nigel Thomas},
  editor       = {Dieter Fiems and
                  Marco Paolieri and
                  Agapios N. Platis},
  title        = {Simulation of Runtime Performance of Big Data Workflows on the Cloud},
  booktitle    = {Computer Performance Engineering - 13th European Workshop, {EPEW}
                  2016, Chios, Greece, October 5-7, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9951},
  pages        = {141--155},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46433-6\_10},
  doi          = {10.1007/978-3-319-46433-6\_10},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/LlwaahCT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HaverkortKRT16,
  author       = {Boudewijn R. Haverkort and
                  William J. Knottenbelt and
                  Anne Remke and
                  Nigel Thomas},
  editor       = {Boudewijn R. Haverkort and
                  William J. Knottenbelt and
                  Anne Remke and
                  Nigel Thomas},
  title        = {Preface},
  booktitle    = {8th International Workshop on Practical Application of Stochastic
                  Modeling, {PASM} 2016, M{\"{u}}nster, Germany, April 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {327},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.020},
  doi          = {10.1016/J.ENTCS.2016.09.020},
  timestamp    = {Thu, 10 Nov 2022 13:56:01 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HaverkortKRT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pasm/2016,
  editor       = {Boudewijn R. Haverkort and
                  William J. Knottenbelt and
                  Anne Remke and
                  Nigel Thomas},
  title        = {8th International Workshop on Practical Application of Stochastic
                  Modeling, {PASM} 2016, M{\"{u}}nster, Germany, April 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {327},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/327/suppl/C},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pasm/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/simutools/AlrajehT15,
  author       = {Osama Nasser Alrajeh and
                  Nigel Thomas},
  editor       = {Georgios Theodoropoulos},
  title        = {Energy consumption of scheduling policies for {HTC} jobs in the cloud},
  booktitle    = {Proceedings of the 8th International Conference on Simulation Tools
                  and Techniques, Athens, Greece, August 24-26, 2015},
  pages        = {343--348},
  publisher    = {{ICST/ACM}},
  year         = {2015},
  url          = {https://doi.org/10.4108/eai.24-8-2015.2261103},
  doi          = {10.4108/EAI.24-8-2015.2261103},
  timestamp    = {Tue, 01 Oct 2019 07:26:13 +0200},
  biburl       = {https://dblp.org/rec/conf/simutools/AlrajehT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pasm/2014,
  editor       = {Jeremy T. Bradley and
                  William J. Knottenbelt and
                  Nigel Thomas},
  title        = {Proceedings of the Seventh International Workshop on the Practical
                  Application of Stochastic Modelling, {PASM} 2014, Newcastle-upon-Tyne,
                  UK, May 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {310},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/310/suppl/C},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pasm/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ukpew/2014,
  editor       = {Peter Bull and
                  Lin Guan and
                  Nigel Thomas},
  title        = {Twenty-ninth and thirtieth Annual {UK} Performance Engineering Workshops,
                  {UKPEW} 2013, Loughborogh, UK, July 2013 {\&} {UKPEW} 2014, Newcastle-upon-Tyne,
                  UK, September 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {318},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/318/suppl/C},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ukpew/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsrt/ForshawTM14,
  author       = {Matthew Forshaw and
                  Nigel Thomas and
                  A. Stephen McGough},
  title        = {Trace-Driven Simulation for Energy Consumption in High Throughput
                  Computing Systems},
  booktitle    = {18th {IEEE/ACM} International Symposium on Distributed Simulation
                  and Real Time Applications, {DS-RT} 2014, Toulouse, France, October
                  1-3, 2014},
  pages        = {27--34},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/DS-RT.2014.12},
  doi          = {10.1109/DS-RT.2014.12},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsrt/ForshawTM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartgreens/ForshawMT14,
  author       = {Matthew Forshaw and
                  Andrew Stephen McGough and
                  Nigel Thomas},
  editor       = {Markus Helfert and
                  Karl{-}Heinz Krempels and
                  Brian Donnellan},
  title        = {On Energy-efficient Checkpointing in High-throughput Cycle-stealing
                  Distributed Systems},
  booktitle    = {{SMARTGREENS} 2014 - Proceedings of the 3rd International Conference
                  on Smart Grids and Green {IT} Systems, Barcelona, Spain, 3-4 April,
                  2014},
  pages        = {262--267},
  publisher    = {SciTePress},
  year         = {2014},
  url          = {https://doi.org/10.5220/0004958302620267},
  doi          = {10.5220/0004958302620267},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smartgreens/ForshawMT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BradleyKT15,
  author       = {Jeremy T. Bradley and
                  William J. Knottenbelt and
                  Nigel Thomas},
  editor       = {Jeremy T. Bradley and
                  William J. Knottenbelt and
                  Nigel Thomas},
  title        = {Preface},
  booktitle    = {Proceedings of the Seventh International Workshop on the Practical
                  Application of Stochastic Modelling, {PASM} 2014, Newcastle-upon-Tyne,
                  UK, May 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {310},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2014.12.009},
  doi          = {10.1016/J.ENTCS.2014.12.009},
  timestamp    = {Thu, 10 Nov 2022 14:15:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BradleyKT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BullGT15,
  author       = {Peter Bull and
                  Lin Guan and
                  Nigel Thomas},
  editor       = {Peter Bull and
                  Lin Guan and
                  Nigel Thomas},
  title        = {Preface},
  booktitle    = {Twenty-ninth and thirtieth Annual {UK} Performance Engineering Workshops,
                  {UKPEW} 2013, Loughborogh, UK, July 2013 {\&} {UKPEW} 2014, Newcastle-upon-Tyne,
                  UK, September 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {318},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2015.10.015},
  doi          = {10.1016/J.ENTCS.2015.10.015},
  timestamp    = {Thu, 10 Nov 2022 15:40:49 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BullGT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BradleyFST15,
  author       = {Jeremy T. Bradley and
                  Matthew Forshaw and
                  Anton Stefanek and
                  Nigel Thomas},
  editor       = {Peter Bull and
                  Lin Guan and
                  Nigel Thomas},
  title        = {Time-inhomogeneous Population Models of a Cycle-Stealing Distributed
                  System},
  booktitle    = {Twenty-ninth and thirtieth Annual {UK} Performance Engineering Workshops,
                  {UKPEW} 2013, Loughborogh, UK, July 2013 {\&} {UKPEW} 2014, Newcastle-upon-Tyne,
                  UK, September 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {318},
  pages        = {5--17},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2015.10.016},
  doi          = {10.1016/J.ENTCS.2015.10.016},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BradleyFST15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ForshawMT15,
  author       = {Matthew Forshaw and
                  Andrew Stephen McGough and
                  Nigel Thomas},
  editor       = {Jeremy T. Bradley and
                  William J. Knottenbelt and
                  Nigel Thomas},
  title        = {Energy-efficient Checkpointing in High-throughput Cycle-stealing Distributed
                  Systems},
  booktitle    = {Proceedings of the Seventh International Workshop on the Practical
                  Application of Stochastic Modelling, {PASM} 2014, Newcastle-upon-Tyne,
                  UK, May 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {310},
  pages        = {65--90},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2014.12.013},
  doi          = {10.1016/J.ENTCS.2014.12.013},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ForshawMT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NguyenFT15,
  author       = {Thai Ha Nguyen and
                  Matthew Forshaw and
                  Nigel Thomas},
  editor       = {Peter Bull and
                  Lin Guan and
                  Nigel Thomas},
  title        = {Operating Policies for Energy Efficient Dynamic Server Allocation},
  booktitle    = {Twenty-ninth and thirtieth Annual {UK} Performance Engineering Workshops,
                  {UKPEW} 2013, Loughborogh, UK, July 2013 {\&} {UKPEW} 2014, Newcastle-upon-Tyne,
                  UK, September 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {318},
  pages        = {159--177},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2015.10.025},
  doi          = {10.1016/J.ENTCS.2015.10.025},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NguyenFT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NaserKT15,
  author       = {Said Naser Said Kamil and
                  Nigel Thomas},
  editor       = {Peter Bull and
                  Lin Guan and
                  Nigel Thomas},
  title        = {A Case Study in Inspecting the Cost of Security in Cloud Computing},
  booktitle    = {Twenty-ninth and thirtieth Annual {UK} Performance Engineering Workshops,
                  {UKPEW} 2013, Loughborogh, UK, July 2013 {\&} {UKPEW} 2014, Newcastle-upon-Tyne,
                  UK, September 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {318},
  pages        = {179--196},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2015.10.026},
  doi          = {10.1016/J.ENTCS.2015.10.026},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NaserKT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpra/YounesT13,
  author       = {Osama Younes and
                  Nigel Thomas},
  title        = {Modelling and performance analysis of multi-hop ad hoc networks},
  journal      = {Simul. Model. Pract. Theory},
  volume       = {38},
  pages        = {69--97},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.simpat.2013.06.005},
  doi          = {10.1016/J.SIMPAT.2013.06.005},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/simpra/YounesT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asmta/ThomasH13,
  author       = {Nigel Thomas and
                  Peter G. Harrison},
  editor       = {Alexander N. Dudin and
                  Koen De Turck},
  title        = {Semi-Product-Form Solution for {PEPA} Models with Functional Rates},
  booktitle    = {Analytical and Stochastic Modelling Techniques and Applications -
                  20th International Conference, {ASMTA} 2013, Ghent, Belgium, July
                  8-10, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7984},
  pages        = {416--430},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39408-9\_29},
  doi          = {10.1007/978-3-642-39408-9\_29},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/asmta/ThomasH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pasm/2012,
  editor       = {Jeremy T. Bradley and
                  Keijo Heljanko and
                  William J. Knottenbelt and
                  Nigel Thomas},
  title        = {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},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {296},
  publisher    = {Elsevier},
  year         = {2013},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/296/suppl/C},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pasm/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BradleyTHS12,
  author       = {Jeremy T. Bradley and
                  Nigel Thomas and
                  Richard A. Hayden and
                  Anton Stefanek},
  title        = {Invited Response to Computer Journal Lecture by Prof. Jane Hillston},
  journal      = {Comput. J.},
  volume       = {55},
  number       = {7},
  pages        = {882--886},
  year         = {2012},
  url          = {https://doi.org/10.1093/comjnl/bxr117},
  doi          = {10.1093/COMJNL/BXR117},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/BradleyTHS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/GillyJTP12,
  author       = {Katja Gilly and
                  Carlos Juiz and
                  Nigel Thomas and
                  Ram{\'{o}}n Puigjaner},
  title        = {Adaptive admission control algorithm in a QoS-aware Web system},
  journal      = {Inf. Sci.},
  volume       = {199},
  pages        = {58--77},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.ins.2012.02.018},
  doi          = {10.1016/J.INS.2012.02.018},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isci/GillyJTP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/YounesT12,
  author       = {Osama Younes and
                  Nigel Thomas},
  editor       = {Mirco Tribastone and
                  Stephen Gilmore},
  title        = {A Path Connection Availability Model for MANETs with Random Waypoint
                  Mobility},
  booktitle    = {Computer Performance Engineering - 9th European Workshop, {EPEW} 2012,
                  Munich, Germany, July 30, 2012, and 28th {UK} Workshop, {UKPEW} 2012,
                  Edinburgh, UK, July 2, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7587},
  pages        = {111--126},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-36781-6\_8},
  doi          = {10.1007/978-3-642-36781-6\_8},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/YounesT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/ThomasHZC12,
  author       = {Nigel Thomas and
                  Michael D. Harrison and
                  Yishi Zhao and
                  Xiao Chen},
  editor       = {Mirco Tribastone and
                  Stephen Gilmore},
  title        = {Formal Performance Modelling: From Protocols to People},
  booktitle    = {Computer Performance Engineering - 9th European Workshop, {EPEW} 2012,
                  Munich, Germany, July 30, 2012, and 28th {UK} Workshop, {UKPEW} 2012,
                  Edinburgh, UK, July 2, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7587},
  pages        = {127--139},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-36781-6\_9},
  doi          = {10.1007/978-3-642-36781-6\_9},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/ThomasHZC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/YounesT12a,
  author       = {Osama Younes and
                  Nigel Thomas},
  editor       = {Mirco Tribastone and
                  Stephen Gilmore},
  title        = {{SRN} Models for Analysis of Multihop Wireless Ad Hoc Networks},
  booktitle    = {Computer Performance Engineering - 9th European Workshop, {EPEW} 2012,
                  Munich, Germany, July 30, 2012, and 28th {UK} Workshop, {UKPEW} 2012,
                  Edinburgh, UK, July 2, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7587},
  pages        = {140--155},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-36781-6\_10},
  doi          = {10.1007/978-3-642-36781-6\_10},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/YounesT12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/ForshawT12,
  author       = {Matthew Forshaw and
                  Nigel Thomas},
  editor       = {Mirco Tribastone and
                  Stephen Gilmore},
  title        = {A Novel Approach to Energy Efficient Content Distribution with BitTorrent},
  booktitle    = {Computer Performance Engineering - 9th European Workshop, {EPEW} 2012,
                  Munich, Germany, July 30, 2012, and 28th {UK} Workshop, {UKPEW} 2012,
                  Edinburgh, UK, July 2, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7587},
  pages        = {188--196},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-36781-6\_13},
  doi          = {10.1007/978-3-642-36781-6\_13},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/ForshawT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BradleyHKT13,
  author       = {Jeremy T. Bradley and
                  Keijo Heljanko and
                  William J. Knottenbelt and
                  Nigel Thomas},
  editor       = {Jeremy T. Bradley and
                  Keijo Heljanko and
                  William J. Knottenbelt and
                  Nigel Thomas},
  title        = {Preface},
  booktitle    = {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},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {296},
  pages        = {1--5},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.entcs.2013.07.001},
  doi          = {10.1016/J.ENTCS.2013.07.001},
  timestamp    = {Tue, 22 Nov 2022 14:07:01 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BradleyHKT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/wolter2012/BradleyCHKRSTW12,
  author       = {Jeremy T. Bradley and
                  Lucia Cloth and
                  Richard A. Hayden and
                  Le{\"{\i}}la Kloul and
                  Philipp Reinecke and
                  Markus Siegle and
                  Nigel Thomas and
                  Katinka Wolter},
  editor       = {Katinka Wolter and
                  Alberto Avritzer and
                  Marco Vieira and
                  Aad P. A. van Moorsel},
  title        = {Scalable Stochastic Modelling for Resilience},
  booktitle    = {Resilience Assessment and Evaluation of Computing Systems},
  pages        = {115--149},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-29032-9\_6},
  doi          = {10.1007/978-3-642-29032-9\_6},
  timestamp    = {Tue, 16 May 2017 14:01:42 +0200},
  biburl       = {https://dblp.org/rec/books/sp/wolter2012/BradleyCHKRSTW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ThomasZ11,
  author       = {Nigel Thomas and
                  Yishi Zhao},
  title        = {Mean value analysis for a class of {PEPA} models},
  journal      = {Comput. J.},
  volume       = {54},
  number       = {5},
  pages        = {643--652},
  year         = {2011},
  url          = {https://doi.org/10.1093/comjnl/bxq064},
  doi          = {10.1093/COMJNL/BXQ064},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cj/ThomasZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/YounesT11,
  author       = {Osama Younes and
                  Nigel Thomas},
  title        = {An {SRN} Model of the {IEEE} 802.11 {DCF} {MAC} Protocol in Multi-Hop
                  Ad Hoc Networks with Hidden Nodes},
  journal      = {Comput. J.},
  volume       = {54},
  number       = {6},
  pages        = {875--893},
  year         = {2011},
  url          = {https://doi.org/10.1093/comjnl/bxr009},
  doi          = {10.1093/COMJNL/BXR009},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/YounesT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpra/KimT11,
  author       = {Kyungsup Kim and
                  Nigel Thomas},
  title        = {A fitting method with generalized Erlang distributions},
  journal      = {Simul. Model. Pract. Theory},
  volume       = {19},
  number       = {7},
  pages        = {1507--1517},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.simpat.2011.03.003},
  doi          = {10.1016/J.SIMPAT.2011.03.003},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/simpra/KimT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyberc/ZhaoT11,
  author       = {Yishi Zhao and
                  Nigel Thomas},
  title        = {A Simplified Solution of a {PEPA} Model of Kerberos Protocol},
  booktitle    = {2011 International Conference on Cyber-Enabled Distributed Computing
                  and Knowledge Discovery, CyberC 2011, Beijing, China, October 10-12,
                  2011},
  pages        = {257--264},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/CyberC.2011.50},
  doi          = {10.1109/CYBERC.2011.50},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cyberc/ZhaoT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyberc/ChenTH11,
  author       = {Xiao Chen and
                  Nigel Thomas and
                  Michael D. Harrison},
  title        = {Performance Evaluation of Scheduling Policies in a Smart Hospital
                  Environment},
  booktitle    = {2011 International Conference on Cyber-Enabled Distributed Computing
                  and Knowledge Discovery, CyberC 2011, Beijing, China, October 10-12,
                  2011},
  pages        = {585--592},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/CyberC.2011.99},
  doi          = {10.1109/CYBERC.2011.99},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cyberc/ChenTH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ThomasBKKHB11,
  author       = {Nigel Thomas and
                  Jeremy T. Bradley and
                  William J. Knottenbelt and
                  Samuel Kounev and
                  Nikolaus Huber and
                  Fabian Brosig},
  editor       = {Nigel Thomas and
                  Jeremy T. Bradley and
                  William J. Knottenbelt and
                  Samuel Kounev and
                  Nikolaus Huber and
                  Fabian Brosig},
  title        = {Preface},
  booktitle    = {Fifth International Workshop on the Practical Application of Stochastic
                  Modelling, PASM@ICPE 2011, Karlsruhe, Germany, March 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {275},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2011.09.001},
  doi          = {10.1016/J.ENTCS.2011.09.001},
  timestamp    = {Fri, 10 Mar 2023 15:05:32 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ThomasBKKHB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/YounesT11,
  author       = {Osama Younes and
                  Nigel Thomas},
  editor       = {Nigel Thomas and
                  Jeremy T. Bradley and
                  William J. Knottenbelt and
                  Samuel Kounev and
                  Nikolaus Huber and
                  Fabian Brosig},
  title        = {Analysis of the Expected Number of Hops in Mobile Ad Hoc Networks
                  with Random Waypoint Mobility},
  booktitle    = {Fifth International Workshop on the Practical Application of Stochastic
                  Modelling, PASM@ICPE 2011, Karlsruhe, Germany, March 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {275},
  pages        = {143--158},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.entcs.2011.09.010},
  doi          = {10.1016/J.ENTCS.2011.09.010},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/YounesT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/npe/ThomasB11,
  author       = {Nigel Thomas and
                  Jeremy T. Bradley},
  editor       = {Demetres D. Kouvatsos},
  title        = {Analysis of Non-product Form Parallel Queues Using Markovian Process
                  Algebra},
  booktitle    = {Network Performance Engineering - {A} Handbook on Convergent Multi-Service
                  Networks and Next Generation Internet},
  series       = {Lecture Notes in Computer Science},
  volume       = {5233},
  pages        = {331--342},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-02742-0\_15},
  doi          = {10.1007/978-3-642-02742-0\_15},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/reference/npe/ThomasB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/npe/HarrisonT11,
  author       = {Peter G. Harrison and
                  Nigel Thomas},
  editor       = {Demetres D. Kouvatsos},
  title        = {Product-Form Solution in {PEPA} via the Reversed Process},
  booktitle    = {Network Performance Engineering - {A} Handbook on Convergent Multi-Service
                  Networks and Next Generation Internet},
  series       = {Lecture Notes in Computer Science},
  volume       = {5233},
  pages        = {343--356},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-02742-0\_16},
  doi          = {10.1007/978-3-642-02742-0\_16},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/npe/HarrisonT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/epew/2011,
  editor       = {Nigel Thomas},
  title        = {Computer Performance Engineering - 8th European Performance Engineering
                  Workshop, {EPEW} 2011, Borrowdale, UK, October 12-13, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6977},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24749-1},
  doi          = {10.1007/978-3-642-24749-1},
  isbn         = {978-3-642-24748-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pasm/2011,
  editor       = {Nigel Thomas and
                  Jeremy T. Bradley and
                  William J. Knottenbelt and
                  Samuel Kounev and
                  Nikolaus Huber and
                  Fabian Brosig},
  title        = {Fifth International Workshop on the Practical Application of Stochastic
                  Modelling, PASM@ICPE 2011, Karlsruhe, Germany, March 2011},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {275},
  publisher    = {Elsevier},
  year         = {2011},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/275/suppl/C},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pasm/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/ZhaoT10,
  author       = {Yishi Zhao and
                  Nigel Thomas},
  title        = {Efficient solutions of a {PEPA} model of a key distribution centre},
  journal      = {Perform. Evaluation},
  volume       = {67},
  number       = {8},
  pages        = {740--756},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.peva.2009.07.005},
  doi          = {10.1016/J.PEVA.2009.07.005},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pe/ZhaoT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/ThomasH10,
  author       = {Nigel Thomas and
                  Peter G. Harrison},
  editor       = {Alessandro Aldini and
                  Marco Bernardo and
                  Luciano Bononi and
                  Vittorio Cortellessa},
  title        = {State-Dependent Rates and Semi-Product-Form via the Reversed Process},
  booktitle    = {Computer Performance Engineering - 7th European Performance Engineering
                  Workshop, {EPEW} 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6342},
  pages        = {207--218},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15784-4\_14},
  doi          = {10.1007/978-3-642-15784-4\_14},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/ThomasH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pasm/2009,
  editor       = {Nigel Thomas and
                  Jeremy T. Bradley and
                  William J. Knottenbelt and
                  Nicholas J. Dingle and
                  Uli Harder},
  title        = {Proceedings of the Fourth International Workshop on the Practical
                  Application of Stochastic Modelling, PASM@MASCOTS 2009, London, UK,
                  September 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {261},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/261/suppl/C},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pasm/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/SlegersMT09,
  author       = {Joris Slegers and
                  Isi Mitrani and
                  Nigel Thomas},
  title        = {Static and dynamic server allocation in systems with on/off sources},
  journal      = {Ann. Oper. Res.},
  volume       = {170},
  number       = {1},
  pages        = {251--263},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10479-008-0440-0},
  doi          = {10.1007/S10479-008-0440-0},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/anor/SlegersMT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/SlegersMT09,
  author       = {Joris Slegers and
                  Isi Mitrani and
                  Nigel Thomas},
  title        = {Evaluating the optimal server allocation policy for clusters with
                  on/off sources},
  journal      = {Perform. Evaluation},
  volume       = {66},
  number       = {8},
  pages        = {453--467},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.peva.2009.01.004},
  doi          = {10.1016/J.PEVA.2009.01.004},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pe/SlegersMT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/ThomasZ09,
  author       = {Nigel Thomas and
                  Yishi Zhao},
  editor       = {Jeremy T. Bradley},
  title        = {Mean Value Analysis for a Class of {PEPA} Models},
  booktitle    = {Computer Performance Engineering, 6th European Performance Engineering
                  Workshop, {EPEW} 2009, London, UK, July 9-10, 2009, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5652},
  pages        = {59--72},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02924-0\_5},
  doi          = {10.1007/978-3-642-02924-0\_5},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/ThomasZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/ZhaoT09,
  author       = {Yishi Zhao and
                  Nigel Thomas},
  title        = {Comparing Methods for the Efficient Analysis of {PEPA} Models of Non-repudiation
                  Protocols},
  booktitle    = {15th {IEEE} International Conference on Parallel and Distributed Systems,
                  {ICPADS} 2009, Shenzhen, China, December 8-11, 2009},
  pages        = {821--827},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICPADS.2009.90},
  doi          = {10.1109/ICPADS.2009.90},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpads/ZhaoT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ThomasBKDH10,
  author       = {Nigel Thomas and
                  Jeremy T. Bradley and
                  William J. Knottenbelt and
                  Nicholas J. Dingle and
                  Uli Harder},
  editor       = {Nigel Thomas and
                  Jeremy T. Bradley and
                  William J. Knottenbelt and
                  Nicholas J. Dingle and
                  Uli Harder},
  title        = {Preface},
  booktitle    = {Proceedings of the Fourth International Workshop on the Practical
                  Application of Stochastic Modelling, PASM@MASCOTS 2009, London, UK,
                  September 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {261},
  pages        = {1--4},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2010.01.002},
  doi          = {10.1016/J.ENTCS.2010.01.002},
  timestamp    = {Thu, 09 Mar 2023 15:37:28 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ThomasBKDH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pasm/2008,
  editor       = {Nigel Thomas and
                  Jeremy T. Bradley and
                  William J. Knottenbelt},
  title        = {Proceedings of the Third International Workshop on the Practical Application
                  of Stochastic Modelling, PASM@EPEW 2008, Palma de Mallorca, Spain,
                  September 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {232},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/232/suppl/C},
  timestamp    = {Thu, 09 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pasm/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Thomas08,
  author       = {Nigel Thomas},
  title        = {Comparing job allocation schemes where service demand is unknown},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {74},
  number       = {6},
  pages        = {1067--1081},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.jcss.2007.07.009},
  doi          = {10.1016/J.JCSS.2007.07.009},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Thomas08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/GillyTJP08,
  author       = {Katja Gilly and
                  Nigel Thomas and
                  Carlos Juiz and
                  Ram{\'{o}}n Puigjaner},
  title        = {Scalable QoS Content-Aware Load Balancing Algorithm for a Web Switch
                  Based on Classical Policies},
  booktitle    = {22nd International Conference on Advanced Information Networking and
                  Applications, {AINA} 2008, GinoWan, Okinawa, Japan, March 25-28, 2008},
  pages        = {934--941},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/AINA.2008.75},
  doi          = {10.1109/AINA.2008.75},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/GillyTJP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icycs/ZhaoT08,
  author       = {Yishi Zhao and
                  Nigel Thomas},
  title        = {A Cost Model Analysis of a Secure Key Distribution Centre},
  booktitle    = {Proceedings of the 9th International Conference for Young Computer
                  Scientists, {ICYCS} 2008, Zhang Jia Jie, Hunan, China, November 18-21,
                  2008},
  pages        = {1969--1974},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICYCS.2008.236},
  doi          = {10.1109/ICYCS.2008.236},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icycs/ZhaoT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sipew/ZhaoT08,
  author       = {Yishi Zhao and
                  Nigel Thomas},
  editor       = {Samuel Kounev and
                  Ian Gorton and
                  Kai Sachs},
  title        = {Approximate Solution of a {PEPA} Model of a Key Distribution Centre},
  booktitle    = {Performance Evaluation: Metrics, Models and Benchmarks, {SPEC} International
                  Performance Evaluation Workshop, {SIPEW} 2008, Darmstadt, Germany,
                  June 27-28, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5119},
  pages        = {44--57},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69814-2\_5},
  doi          = {10.1007/978-3-540-69814-2\_5},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/sipew/ZhaoT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sipew/SlegersTM08,
  author       = {Joris Slegers and
                  Nigel Thomas and
                  Isi Mitrani},
  editor       = {Samuel Kounev and
                  Ian Gorton and
                  Kai Sachs},
  title        = {Dynamic Server Allocation for Power and Performance},
  booktitle    = {Performance Evaluation: Metrics, Models and Benchmarks, {SPEC} International
                  Performance Evaluation Workshop, {SIPEW} 2008, Darmstadt, Germany,
                  June 27-28, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5119},
  pages        = {247--261},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69814-2\_16},
  doi          = {10.1007/978-3-540-69814-2\_16},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sipew/SlegersTM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ThomasBK09,
  author       = {Nigel Thomas and
                  Jeremy T. Bradley and
                  William J. Knottenbelt},
  editor       = {Nigel Thomas and
                  Jeremy T. Bradley and
                  William J. Knottenbelt},
  title        = {Preface},
  booktitle    = {Proceedings of the Third International Workshop on the Practical Application
                  of Stochastic Modelling, PASM@EPEW 2008, Palma de Mallorca, Spain,
                  September 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {232},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.02.046},
  doi          = {10.1016/J.ENTCS.2009.02.046},
  timestamp    = {Thu, 09 Mar 2023 11:25:37 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ThomasBK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/epew/2008,
  editor       = {Nigel Thomas and
                  Carlos Juiz},
  title        = {Computer Performance Engineering, 5th European Performance Engineering
                  Workshop, {EPEW} 2008, Palma de Mallorca, Spain, September 24-25,
                  2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5261},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87412-6},
  doi          = {10.1007/978-3-540-87412-6},
  isbn         = {978-3-540-87411-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/SlegersMT07,
  author       = {Joris Slegers and
                  Isi Mitrani and
                  Nigel Thomas},
  editor       = {Katinka Wolter},
  title        = {Optimal Dynamic Server Allocation in Systems with On/Off Sources},
  booktitle    = {Formal Methods and Stochastic Models for Performance Evaluation, Fourth
                  European Performance Engineering Workshop, {EPEW} 2007, Berlin, Germany,
                  September 27-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4748},
  pages        = {186--199},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75211-0\_14},
  doi          = {10.1007/978-3-540-75211-0\_14},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/epew/SlegersMT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/Thomas06,
  author       = {Nigel Thomas},
  title        = {Approximation in non-product form finite capacity queue systems},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {22},
  number       = {7},
  pages        = {820--827},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.future.2006.02.005},
  doi          = {10.1016/J.FUTURE.2006.02.005},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fgcs/Thomas06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/BradleyGT06,
  author       = {Jeremy T. Bradley and
                  Stephen T. Gilmore and
                  Nigel Thomas},
  title        = {Performance analysis of stochastic process algebra models using stochastic
                  simulation},
  booktitle    = {20th International Parallel and Distributed Processing Symposium {(IPDPS}
                  2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/IPDPS.2006.1639627},
  doi          = {10.1109/IPDPS.2006.1639627},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/BradleyGT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/Thomas06,
  author       = {Nigel Thomas},
  title        = {Modelling job allocation where service duration is unknown},
  booktitle    = {20th International Parallel and Distributed Processing Symposium {(IPDPS}
                  2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/IPDPS.2006.1639629},
  doi          = {10.1109/IPDPS.2006.1639629},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/Thomas06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispa/SlegersMT06,
  author       = {Joris Slegers and
                  Isi Mitrani and
                  Nigel Thomas},
  editor       = {Geyong Min and
                  Beniamino Di Martino and
                  Laurence Tianruo Yang and
                  Minyi Guo and
                  Gudula R{\"{u}}nger},
  title        = {Server Allocation in Grid Systems with On/Off Sources},
  booktitle    = {Frontiers of High Performance Computing and Networking - {ISPA} 2006
                  Workshops, {ISPA} 2006 International Workshops, FHPCN, XHPC, S-GRACE,
                  GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento,
                  Italy, December 4-7, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4331},
  pages        = {897--906},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11942634\_91},
  doi          = {10.1007/11942634\_91},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ispa/SlegersMT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pasm/2005,
  editor       = {Nigel Thomas},
  title        = {Proceedings of the Second International Workshop on the Practical
                  Application of Stochastic Modeling, PASM@FM 2005, Newcastle-upon-Tyne,
                  UK, July 18, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {151},
  number       = {3},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/151/issue/3},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pasm/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Thomas05,
  author       = {Nigel Thomas},
  title        = {Editorial: Grid Performability},
  journal      = {Comput. J.},
  volume       = {48},
  number       = {3},
  pages        = {323--324},
  year         = {2005},
  url          = {https://doi.org/10.1093/comjnl/bxh087},
  doi          = {10.1093/COMJNL/BXH087},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Thomas05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Thomas06,
  author       = {Nigel Thomas},
  editor       = {Nigel Thomas},
  title        = {Preface},
  booktitle    = {Proceedings of the Second International Workshop on the Practical
                  Application of Stochastic Modeling, PASM@FM 2005, Newcastle-upon-Tyne,
                  UK, July 18, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {151},
  number       = {3},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2006.03.008},
  doi          = {10.1016/J.ENTCS.2006.03.008},
  timestamp    = {Fri, 20 Jan 2023 10:20:34 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Thomas06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ThomasBK04,
  author       = {Nigel Thomas and
                  Jeremy T. Bradley and
                  William J. Knottenbelt},
  title        = {Stochastic analysis of scheduling strategies in a Grid-based resource
                  model},
  journal      = {{IEE} Proc. Softw.},
  volume       = {151},
  number       = {5},
  pages        = {232--239},
  year         = {2004},
  url          = {https://doi.org/10.1049/ip-sen:20041091},
  doi          = {10.1049/IP-SEN:20041091},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/ThomasBK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BradleyGT04,
  author       = {Jeremy T. Bradley and
                  Stephen T. Gilmore and
                  Nigel Thomas},
  editor       = {Manuel N{\'{u}}{\~{n}}ez and
                  Zakaria Maamar and
                  Fernando L. Pelayo and
                  Key Pousttchi and
                  Fernando Rubio},
  title        = {How Synchronisation Strategy Approximation in {PEPA} Implementations
                  Affects Passage Time Performance Results},
  booktitle    = {Applying Formal Methods: Testing, Performance and M/ECommerce, {FORTE}
                  2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2,
                  2004},
  series       = {Lecture Notes in Computer Science},
  volume       = {3236},
  pages        = {128--142},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30233-9\_10},
  doi          = {10.1007/978-3-540-30233-9\_10},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/BradleyGT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Thomas05,
  author       = {Nigel Thomas},
  editor       = {Jeremy T. Bradley and
                  William J. Knottenbelt},
  title        = {Performability of a Secure Electronic Voting Algorithm},
  booktitle    = {Proceedings of the First International Workshop on Practical Applications
                  of Stochastic Modelling, {PASM} 2004, London, UK, September 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {128},
  number       = {4},
  pages        = {45--58},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.012},
  doi          = {10.1016/J.ENTCS.2005.01.012},
  timestamp    = {Mon, 12 Dec 2022 15:30:23 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Thomas05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/Thomas03,
  author       = {Nigel Thomas},
  title        = {Approximation in Non-Product Form Multiple Queue Systems},
  booktitle    = {17th International Parallel and Distributed Processing Symposium {(IPDPS}
                  2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings},
  pages        = {282},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/IPDPS.2003.1213507},
  doi          = {10.1109/IPDPS.2003.1213507},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/Thomas03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissoft/ChartersTM03,
  author       = {Stuart M. Charters and
                  Nigel Thomas and
                  Malcolm Munro},
  title        = {The end of the line for Software Visualisation?},
  booktitle    = {Proceedings of the 2nd International Workshop on Visualizing Software
                  for Understanding and Analysis, {VISSOFT} 2003, Amsterdam, The Netherlands,
                  September 22, 2003},
  pages        = {110--112},
  year         = {2003},
  timestamp    = {Thu, 28 Nov 2019 12:40:31 +0100},
  biburl       = {https://dblp.org/rec/conf/vissoft/ChartersTM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ChartersKTM02,
  author       = {Stuart M. Charters and
                  Claire Knight and
                  Nigel Thomas and
                  Malcolm Munro},
  title        = {Visualisation for informed decision making; from code to components},
  booktitle    = {Proceedings of the 14th international conference on Software engineering
                  and knowledge engineering, {SEKE} 2002, Ischia, Italy, July 15-19,
                  2002},
  pages        = {765--772},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/568760.568891},
  doi          = {10.1145/568760.568891},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/ChartersKTM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ThomasB00,
  author       = {Nigel Thomas and
                  Jeremy T. Bradley},
  editor       = {Jos{\'{e}} D. P. Rolim and
                  Andrei Z. Broder and
                  Andrea Corradini and
                  Roberto Gorrieri and
                  Reiko Heckel and
                  Juraj Hromkovic and
                  Ugo Vaccaro and
                  J. B. Wells},
  title        = {Approximating Variance in Non-product Form Decomposed Models},
  booktitle    = {{ICALP} Workshops 2000, Proceedings of the Satelite Workshops of the
                  27th International Colloquium on Automata, Languages and Programming,
                  Geneva, Switzerland, July 9-15, 2000},
  pages        = {607--619},
  publisher    = {Carleton Scientific, Waterloo, Ontario, Canada},
  year         = {2000},
  timestamp    = {Sat, 04 Apr 2020 17:15:23 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/ThomasB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/ThomasMKP00,
  author       = {Nigel Thomas and
                  Malcolm Munro and
                  Peter J. B. King and
                  Rob Pooley},
  title        = {Visual representation of stochastic process algebra models},
  booktitle    = {Second International Workshop on Software and Performance, {WOSP}
                  2000, Ottawa, Canada, September 17-20, 2000},
  pages        = {18--19},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/350391.350397},
  doi          = {10.1145/350391.350397},
  timestamp    = {Sat, 03 Aug 2019 21:51:56 +0200},
  biburl       = {https://dblp.org/rec/conf/wosp/ThomasMKP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ClarkGHT99,
  author       = {Graham Clark and
                  Stephen Gilmore and
                  Jane Hillston and
                  Nigel Thomas},
  title        = {Experiences with the {PEPA} performance modelling},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {1},
  pages        = {11--20},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990149},
  doi          = {10.1049/IP-SEN:19990149},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/ClarkGHT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/HillstonT99,
  author       = {Jane Hillston and
                  Nigel Thomas},
  title        = {Product Form Solution for a Class of {PEPA} Models},
  journal      = {Perform. Evaluation},
  volume       = {35},
  number       = {3-4},
  pages        = {171--192},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0166-5316(99)00005-X},
  doi          = {10.1016/S0166-5316(99)00005-X},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pe/HillstonT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esm/ThomasM98,
  author       = {Nigel Thomas and
                  Isi Mitrani},
  editor       = {Richard N. Zobel and
                  Dietmar P. F. M{\"{o}}ller},
  title        = {Approximate Solution of a Pipeline with Server Vacations},
  booktitle    = {12\({}^{\mbox{th}}\) European Simulation Multiconference - Simulation
                  - Past, Present and Future, June 16-19, 1998, Machester, United Kingdom},
  pages        = {756--760},
  publisher    = {{SCS} Europe},
  year         = {1998},
  timestamp    = {Tue, 14 Jan 2003 13:43:29 +0100},
  biburl       = {https://dblp.org/rec/conf/esm/ThomasM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics