@inproceedings{CalinescuJR13,
  title = {Developing self-verifying service-based systems},
  author = {Radu Calinescu and Kenneth Johnson and Yasmin Rafiq},
  year = {2013},
  doi = {10.1109/ASE.2013.6693145},
  url = {http://dx.doi.org/10.1109/ASE.2013.6693145},
  researchr = {https://researchr.org/publication/CalinescuJR13},
  cites = {0},
  citedby = {0},
  pages = {734-737},
  booktitle = {ASE},
}

@inproceedings{JohnsonRC11,
  title = {Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns},
  author = {Kenneth Johnson and Simon Reed and Radu Calinescu},
  year = {2011},
  doi = {10.1007/978-3-642-34188-5_14},
  url = {http://dx.doi.org/10.1007/978-3-642-34188-5_14},
  researchr = {https://researchr.org/publication/JohnsonRC11},
  cites = {0},
  citedby = {0},
  pages = {145-159},
  booktitle = {hvc},
}

@inproceedings{JohnsonC14,
  title = {Efficient re-resolution of SMT specifications for evolving software architectures},
  author = {Kenneth Johnson and Radu Calinescu},
  year = {2014},
  doi = {10.1145/2602576.2602578},
  url = {http://doi.acm.org/10.1145/2602576.2602578},
  researchr = {https://researchr.org/publication/JohnsonC14},
  cites = {0},
  citedby = {0},
  pages = {93-102},
  booktitle = {qosa},
}

@inproceedings{NarayananRJ20,
  title = {Zero-error rule induction using a memetic algorithm},
  author = {Ajit Narayanan and Koz Ross and Kenneth Johnson},
  year = {2020},
  doi = {10.1109/SSCI47803.2020.9308529},
  url = {https://doi.org/10.1109/SSCI47803.2020.9308529},
  researchr = {https://researchr.org/publication/NarayananRJ20},
  cites = {0},
  citedby = {0},
  pages = {647-654},
  booktitle = {ssci},
}

@inproceedings{JohnsonMS20,
  title = {Graph-Theoretic Models of Resource Distribution for Cyber-Physical Systems of Disaster-Affected Regions},
  author = {Kenneth Johnson and Samaneh Madanian and Roopak Sinha},
  year = {2020},
  doi = {10.1109/SEAA51224.2020.00087},
  url = {https://doi.org/10.1109/SEAA51224.2020.00087},
  researchr = {https://researchr.org/publication/JohnsonMS20},
  cites = {0},
  citedby = {0},
  pages = {521-528},
  booktitle = {euromicro},
}

@article{SharmaSJ21-0,
  title = {Practical and comprehensive formalisms for modelling contemporary graph query languages},
  author = {Chandan Sharma and Roopak Sinha and Kenneth Johnson},
  year = {2021},
  doi = {10.1016/j.is.2021.101816},
  url = {https://doi.org/10.1016/j.is.2021.101816},
  researchr = {https://researchr.org/publication/SharmaSJ21-0},
  cites = {0},
  citedby = {0},
  journal = {is},
  volume = {102},
  pages = {101816},
}

@inproceedings{JohnsonCK13,
  title = {An incremental verification framework for component-based software systems},
  author = {Kenneth Johnson and Radu Calinescu and Shinji Kikuchi},
  year = {2013},
  doi = {10.1145/2465449.2465456},
  url = {http://doi.acm.org/10.1145/2465449.2465456},
  researchr = {https://researchr.org/publication/JohnsonCK13},
  cites = {0},
  citedby = {0},
  pages = {33-42},
  booktitle = {cbse},
}

@inproceedings{JohnsonT12,
  title = {Algebraic Specifications of Computing as a Service with Applications to Cost Analysis},
  author = {Kenneth Johnson and John V. Tucker},
  year = {2012},
  doi = {10.1109/UCC.2012.46},
  url = {http://doi.ieeecomputersociety.org/10.1109/UCC.2012.46},
  researchr = {https://researchr.org/publication/JohnsonT12},
  cites = {0},
  citedby = {0},
  pages = {143-150},
  booktitle = {ucc},
}

@phdthesis{ethos-14331,
  title = {The algebraic specification of spatial data types with applications to constructive volume geometry},
  author = {Kenneth Johnson},
  year = {2007},
  url = {https://cronfa.swan.ac.uk/Record/cronfa42232},
  note = {British Library, EThOS},
  researchr = {https://researchr.org/publication/ethos-14331},
  cites = {0},
  citedby = {0},
  school = {Swansea University, UK},
}

@article{CalinescuPJ21,
  title = {Efficient Parametric Model Checking Using Domain Knowledge},
  author = {Radu Calinescu and Colin Paterson and Kenneth Johnson},
  year = {2021},
  doi = {10.1109/TSE.2019.2912958},
  url = {https://doi.org/10.1109/TSE.2019.2912958},
  researchr = {https://researchr.org/publication/CalinescuPJ21},
  cites = {0},
  citedby = {0},
  journal = {TSE},
  volume = {47},
  number = {6},
  pages = {1114-1133},
}

@inproceedings{CalinescuGJP13,
  title = {Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software - Advances, Applications and Research Challenges},
  author = {Radu Calinescu and Simos Gerasimou and Kenneth Johnson and Colin Paterson},
  year = {2013},
  doi = {10.1007/978-3-319-74183-3_8},
  url = {https://doi.org/10.1007/978-3-319-74183-3_8},
  researchr = {https://researchr.org/publication/CalinescuGJP13},
  cites = {0},
  citedby = {0},
  pages = {223-248},
  booktitle = {Dagstuhl},
}

@article{BesnardGMTJM09,
  title = {Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form},
  author = {Loïc Besnard and Thierry Gautier and Matthieu Moy and Jean-Pierre Talpin and Kenneth Johnson and Florence Maraninchi},
  year = {2009},
  url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/312},
  tags = {translation, C++},
  researchr = {https://researchr.org/publication/BesnardGMTJM09},
  cites = {0},
  citedby = {0},
  journal = {eceasst},
  volume = {23},
}

@inproceedings{CalinescuRJB14,
  title = {Adaptive model learning for continual verification of non-functional properties},
  author = {Radu Calinescu and Yasmin Rafiq and Kenneth Johnson and Mehmet Emin Bakir},
  year = {2014},
  doi = {10.1145/2568088.2568094},
  url = {http://doi.acm.org/10.1145/2568088.2568094},
  researchr = {https://researchr.org/publication/CalinescuRJB14},
  cites = {0},
  citedby = {0},
  pages = {87-98},
  booktitle = {wosp},
}

@inproceedings{JohnsonTW16,
  title = {Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations},
  author = {Kenneth Johnson and John V. Tucker and Victoria Wang},
  year = {2016},
  doi = {10.1007/978-3-319-72044-9_3},
  url = {https://doi.org/10.1007/978-3-319-72044-9_3},
  researchr = {https://researchr.org/publication/JohnsonTW16},
  cites = {0},
  citedby = {0},
  pages = {13-35},
  booktitle = {WADT},
}

@inproceedings{JohnsonSCR15,
  title = {A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures},
  author = {Kenneth Johnson and Roopak Sinha and Radu Calinescu and Ji Ruan},
  year = {2015},
  doi = {10.1109/SEAA.2015.49},
  url = {http://dx.doi.org/10.1109/SEAA.2015.49},
  researchr = {https://researchr.org/publication/JohnsonSCR15},
  cites = {0},
  citedby = {0},
  pages = {159-166},
  booktitle = {euromicro},
}

@inproceedings{JohnsonR17-1,
  title = {Quantitative Verification of Social Media Networks: The Case Study of Twitter},
  author = {Kenneth Johnson and Shahper Richter},
  year = {2017},
  doi = {10.1145/3148055.3148063},
  url = {http://doi.acm.org/10.1145/3148055.3148063},
  researchr = {https://researchr.org/publication/JohnsonR17-1},
  cites = {0},
  citedby = {0},
  pages = {53-62},
  booktitle = {bdc},
}

@article{JohnsonT13,
  title = {The data type of spatial objects},
  author = {Kenneth Johnson and John V. Tucker},
  year = {2013},
  doi = {10.1007/s00165-011-0182-7},
  url = {http://dx.doi.org/10.1007/s00165-011-0182-7},
  researchr = {https://researchr.org/publication/JohnsonT13},
  cites = {0},
  citedby = {0},
  journal = {fac},
  volume = {25},
  number = {2},
  pages = {189-218},
}

@inproceedings{CalinescuJP18,
  title = {Efficient parametric model checking using domain-specific modelling patterns},
  author = {Radu Calinescu and Kenneth Johnson and Colin Paterson},
  year = {2018},
  doi = {10.1145/3183399.3183404},
  url = {http://doi.acm.org/10.1145/3183399.3183404},
  researchr = {https://researchr.org/publication/CalinescuJP18},
  cites = {0},
  citedby = {0},
  pages = {61-64},
  booktitle = {ICSE},
}

@inproceedings{CalinescuKJ12,
  title = {Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems},
  author = {Radu Calinescu and Shinji Kikuchi and Kenneth Johnson},
  year = {2012},
  doi = {10.1007/978-3-642-34059-8_16},
  url = {http://dx.doi.org/10.1007/978-3-642-34059-8_16},
  researchr = {https://researchr.org/publication/CalinescuKJ12},
  cites = {0},
  citedby = {0},
  pages = {303-329},
  booktitle = {monterey},
}

@inproceedings{CalinescuJRGSP13,
  title = {Continual Verification of Non-Functional Properties in Cloud-Based Systems},
  author = {Radu Calinescu and Kenneth Johnson and Yasmin Rafiq and Simos Gerasimou and Gabriel Costa Silva and Stanimir N. Pehlivanov},
  year = {2013},
  url = {http://ceur-ws.org/Vol-1074/paper1.pdf},
  researchr = {https://researchr.org/publication/CalinescuJRGSP13},
  cites = {0},
  citedby = {0},
  pages = {1-5},
  booktitle = {MoDELS},
}

@inproceedings{CalinescuJR11,
  title = {Using observation ageing to improve markovian model learning in QoS engineering},
  author = {Radu Calinescu and Kenneth Johnson and Yasmin Rafiq},
  year = {2011},
  doi = {10.1145/1958746.1958823},
  url = {http://doi.acm.org/10.1145/1958746.1958823},
  tags = {meta-model, model-driven engineering, Meta-Environment},
  researchr = {https://researchr.org/publication/CalinescuJR11},
  cites = {0},
  citedby = {0},
  pages = {505-510},
  booktitle = {wosp},
}

@inproceedings{JohnsonWCSBT13,
  title = {Services2Cloud: A Framework for Revenue Analysis of Software-as-a-Service Provisioning},
  author = {Kenneth Johnson and Yuanzhi Wang and Radu Calinescu and Ian Sommerville and Gordon D. Baxter and John V. Tucker},
  year = {2013},
  doi = {10.1109/CloudCom.2013.117},
  url = {http://dx.doi.org/10.1109/CloudCom.2013.117},
  researchr = {https://researchr.org/publication/JohnsonWCSBT13},
  cites = {0},
  citedby = {0},
  pages = {144-151},
  booktitle = {cloudcom},
}

@inproceedings{SinhaJC14,
  title = {A scalable approach for re-configuring evolving industrial control systems},
  author = {Roopak Sinha and Kenneth Johnson and Radu Calinescu},
  year = {2014},
  doi = {10.1109/ETFA.2014.7005126},
  url = {http://dx.doi.org/10.1109/ETFA.2014.7005126},
  researchr = {https://researchr.org/publication/SinhaJC14},
  cites = {0},
  citedby = {0},
  pages = {1-8},
  booktitle = {etfa},
}

@inproceedings{CalinescuJP16,
  title = {FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals},
  author = {Radu Calinescu and Kenneth Johnson and Colin Paterson},
  year = {2016},
  doi = {10.1007/978-3-662-49674-9_32},
  url = {http://dx.doi.org/10.1007/978-3-662-49674-9_32},
  researchr = {https://researchr.org/publication/CalinescuJP16},
  cites = {0},
  citedby = {0},
  pages = {540-546},
  booktitle = {TACAS},
}

@article{CalinescuGJPRT16,
  title = {Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems},
  author = {Radu Calinescu and Carlo Ghezzi and Kenneth Johnson and Mauro Pezzè and Yasmin Rafiq and Giordano Tamburrelli},
  year = {2016},
  doi = {10.1109/TR.2015.2452931},
  url = {http://dx.doi.org/10.1109/TR.2015.2452931},
  researchr = {https://researchr.org/publication/CalinescuGJPRT16},
  cites = {0},
  citedby = {0},
  journal = {tr},
  volume = {65},
  number = {1},
  pages = {107-125},
}
@proceedings{bdc-2019,
  title = {Proceedings of the 6th IEEE/ACM International Conference on Big Data Computing, Applications and Technologies, BDCAT 2019, Auckland, New Zealand, December 2-5, 2019},
  year = {2019},
  doi = {10.1145/3365109},
  url = {https://doi.org/10.1145/3365109},
  researchr = {https://researchr.org/publication/bdc-2019},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 6th IEEE/ACM International Conference on Big Data Computing, Applications and Technologies, BDCAT 2019, Auckland, New Zealand, December 2-5, 2019},
  conference = {bdc},
  editor = {Kenneth Johnson and Josef Spillner and Xinghui Zhao and Olga Datskova and Blesson Varghese},
  publisher = {ACM},
  isbn = {978-1-4503-7016-5},
}

@proceedings{ucc-2019c,
  title = {Proceedings of the 12th IEEE/ACM International Conference on Utility and Cloud Computing, UCC 2019, Companion Volume, Auckland, New Zealand, December 2-5, 2019},
  year = {2019},
  url = {https://dl.acm.org/citation.cfm?id=3368235},
  researchr = {https://researchr.org/publication/ucc-2019c},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 12th IEEE/ACM International Conference on Utility and Cloud Computing, UCC 2019, Companion Volume, Auckland, New Zealand, December 2-5, 2019},
  conference = {ucc},
  editor = {Kenneth Johnson and Josef Spillner and Dalibor Klusácek and Ashiq Anjum},
  publisher = {ACM},
  isbn = {978-1-4503-7044-8},
}

@proceedings{ucc-2019,
  title = {Proceedings of the 12th IEEE/ACM International Conference on Utility and Cloud Computing, UCC 2019, Auckland, New Zealand, December 2-5, 2019},
  year = {2019},
  doi = {10.1145/3344341},
  url = {https://doi.org/10.1145/3344341},
  researchr = {https://researchr.org/publication/ucc-2019},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 12th IEEE/ACM International Conference on Utility and Cloud Computing, UCC 2019, Auckland, New Zealand, December 2-5, 2019},
  conference = {ucc},
  editor = {Kenneth Johnson and Josef Spillner and Dalibor Klusácek and Ashiq Anjum},
  publisher = {ACM},
  isbn = {978-1-4503-6894-0},
}