Centre for Software Reliability Publications
Results
No publications found.
![\"City,](\"/images/city-logo.jpg\"){kind=logo}
\n ![\"City,](\"/images/CityLibrary2016small.png\")
\n \n
\n \n
\n\t\n \n
\n \n
\n \n City Research Online\n
\n\n \n \n
\n \n \n \n
\n \n \n \n \n \n \n
\n\n \n
\n \n \n \n \n \n \n \n \n \n \n \n \n \n\n
\n \n\t
\n Date is between 2014 and 2020 inclusive AND Departments matches any of \"Software Reliability\"
\n\n
\n \n \n
\n | 1. | \n\n \n\n\n Bishop, P. G. ![](\"/images/orcid_16x16.png\") ORCID: 0000-0003-3307-5159 and Povyakalo, A. A. ORCID: 0000-0002-4068-422X (2020).\n A conservative confidence bound for the probability of failure on demand of a software-based system based on failure-free tests of its components.\n Reliability Engineering and System Safety,\n \n doi: 10.1016/j.ress.2020.107060\n \n\n\n \n Item availability may be restricted.\n | \n \n \n \n \n \n \n \n \n \n ![\"[img]\"](\"/style/images/fileicons/text.png\") \n \n | \n ||
| 2. | \n\n \n\n\n Bloomfield, R. E. ORCID: 0000-0002-2050-6151, Fletcher, G., Khlaaf, H., Ryan, P., Kinoshita, S., Kinoshit, Y., Takeyama, M., Matsubara, Y., Popov, P. T. ORCID: 0000-0002-3434-5272, Imai, K. and Tsutake, Y. (2020).\n Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1 (Project Ref: 01/18/05).\n London, UK: Adelard.\n \n\n\n \n \n | \n \n \n \n \n \n \n \n \n \n
| \n ||
| 3. | \n\n \n\n\n Bloomfield, R. E. ORCID: 0000-0002-2050-6151, Fletcher, G., Khlaaf, H., Ryan, P., Kinoshita, S., Kinoshit, Y., Takeyama, M., Matsubara, Y., Popov, P. T. ORCID: 0000-0002-3434-5272, Imai, K. and Tsutake, Y. (2020).\n Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 2 (Project Ref: 01/18/05).\n London, UK: Adelard.\n \n\n\n \n \n | \n \n \n \n \n \n \n \n \n \n
| \n ||
| 4. | \n\n \n\n\n \n Strigini, L. ORCID: 0000-0002-4246-2866 and Gadala, M. ORCID: 0000-0002-9148-6522 (2020).\n Human Factors Standards and the Hard Human Factor Problems: Observations on Medical Usability Standards.\n Paper presented at the HEALTHINF 2020 - 13th International Conference on Health Informatics, 24-26 Feb 2020, Valletta, Malta.\n \n \n \n\n\n \n \n | \n \n \n \n \n \n \n \n \n \n
| \n ||
| 5. | \n\n \n\n\n Littlewood, B. ORCID: 0000-0002-6397-8685, Salako, K., Strigini, L. and Zhao, X. (2019).\n On Reliability Assessment When a Software-based System Is Replaced by a Thought-to-be-Better One.\n Reliability Engineering & System Safety,\n \n doi: 10.1016/j.ress.2019.106752\n \n\n\n \n Item availability may be restricted.\n | \n \n \n \n \n \n \n \n \n \n \n \n | \n ||
| 6. | \n\n \n\n\n \n Zhao, X., Robu, V., Flynn, D., Salako, K. and Strigini, L. (2019).\n Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing.\n Paper presented at the ISSRE 2019 - the 20th International Symposium on Software Reliability Engineering, 28 - 31 October 2019, Berlin, Germany.\n \n \n \n\n\n \n \n | \n\n \n \n \n \n \n \n \n \n
| \n ||
| 7. | \n\n \n\n\n Mohavedi, Y., Cukier, M. and Gashi, I. ORCID: 0000-0002-8017-3184 (2019).\n Vulnerability Prediction Capability: A Comparison between Vulnerability Discovery Models and Neural Network Models.\n Computers and Security,\n \n doi: 10.1016/j.cose.2019.101596\n \n\n\n \n Item availability may be restricted.\n | \n \n \n \n \n \n \n \n \n \n \n \n | \n ||
| 8. | \n\n \n\n\n Netkachov, O., Popov, P. T. ORCID: 0000-0002-3434-5272 and Salako, K. (2019).\n Quantitative Evaluation of the Efficacy of Defence-in-Depth in Critical Infrastructures.\n In: \n Resilience of Cyber-Physical Systems.\n \n (pp. 89-121). Berlin, Germany: Springer International Publishing.\n ISBN 978-3-319-95597-1\n \n\n\n \n Item availability may be restricted.\n | \n \n \n \n \n \n \n \n \n \n \n \n | \n ||
| 9. | \n\n \n\n\n Favaro, J., Mazzini, S., Popov, P. T. ORCID: 0000-0002-3434-5272 and Strigini, L. (2018).\n AQUAS: A project to bridge the gaps between safety and security processes.\n Ada User Journal, 39(4),\n pp. 261-263.\n \n \n\n\n \n \n | \n \n \n \n \n \n \n \n \n \n
| \n ||
| 10. | \n\n \n\n\n Komninos, N., Saxena, N., Shen, H., Raymond Choo, K-K. and Chaudhari, N. S. (2018).\n BVPSMS: A Batch Verification Protocol for End-to-End Secure SMS for Mobile Users.\n IEEE Transactions on Dependable and Secure Computing, PP(99),\n \n doi: 10.1109/TDSC.2018.2799223\n \n\n\n \n \n | \n\n \n \n \n \n \n \n \n \n
| \n ||
| 11. | \n\n \n\n\n \n \n \n \n \n \n Andrienko, G. ORCID: 0000-0002-8574-6295, Andrienko, N. ORCID: 0000-0003-3313-1560, Fuchs, G., Scarlatti, D., Cordero Garcia, J. M., Vouros, G. A., Herranz, R. and Marcos, R. (2018).\n Visual analytics of flight trajectories for uncovering decision making strategies.\n Paper presented at the Eighth SESAR Innovation Days, 3-7 Dec 2018, Salzburg, Austria.\n \n \n \n\n\n \n \n | \n \n \n \n \n \n \n \n \n \n
| \n ||
| 12. | \n\n \n\n\n \n \n \n Gashi, I. ORCID: 0000-0002-8017-3184 and Ul Asad, H. (2018).\n Diversity in Open Source Intrusion Detection Systems.\n In: \n Computer Safety, Reliability, and Security. SAFECOMP 2018.\n \n . Cham, Switzerland: Springer.\n ISBN 978-3-319-99129-0\n \n \n \n \n \n \n\n\n \n \n | \n \n \n \n \n \n \n \n \n \n
| \n ||
| 13. | \n\n \n\n\n Zhao, X. ORCID: 0000-0002-3474-349X, Littlewood, B., Povyakalo, A. A., Strigini, L. and Wright, D. (2018).\n Conservative Claims for the Probability of Perfection of a Software-based System Using Operational Experience of Previous Similar Systems.\n Reliability Engineering and System Safety, 175,\n pp. 265-282.\n doi: 10.1016/j.ress.2018.03.032\n \n\n\n \n \n | \n \n \n \n \n \n \n \n \n \n
| \n ||
| 14. | \n\n \n\n\n Movahedi, Y., Cukier, M., Andongabo, A. and Gashi, I. (2017).\n Cluster-based Vulnerability Assessment Applied to Operating Systems.\n In: \n 2017 13th European Dependable Computing Conference (EDCC).\n \n (pp. 18-25). IEEE.\n ISBN 978-1-5386-0602-5\n \n\n\n \n \n | \n\n \n \n \n \n \n \n \n \n
| \n ||
| 15. | \n\n \n\n\n Bloomfield, R. E., Popov, P. T., Salako, K., Stankovic, V. and Wright, D. (2017).\n Preliminary Interdependency Analysis: An Approach to Support Critical Infrastructure Risk Assessment.\n Reliability Engineering and System Safety, 167,\n pp. 198-217.\n doi: 10.1016/j.ress.2017.05.030\n \n\n\n \n \n | \n\n \n \n \n \n \n \n \n \n
| \n ||
| 16. | \n\n \n\n\n \n Bloomfield, R. E., Butler, E. and Netkachova, K. (2017).\n Assurance of open systems dependability: developing a framework for automotive security and safety.\n Paper presented at the Sixth Workshop on Open Systems Dependability, 21 Oct 2017, Tokyo, Japan.\n \n \n \n\n\n \n \n | \n\n \n \n \n \n \n \n \n \n
| \n ||
| 17. | \n\n \n\n\n Schrammel, P., Kroening, D., Brain, M. ORCID: 0000-0003-4216-7151, Martins, R., Teige, T. and Bienmüller, T. (2017).\n Incremental bounded model checking for embedded software.\n Formal Aspects of Computing, 29(5),\n pp. 911-931.\n doi: 10.1007/s00165-017-0419-1\n \n\n\n \n \n | \n \n \n \n \n \n \n \n \n \n
| \n ||
| 18. | \n\n \n\n\n Netkachova, K. and Bloomfield, R. E. (2017).\n Is Chocolate Good for You-or, Is the Cloud Secure?.\n Computer, 50(8),\n pp. 74-78.\n doi: 10.1109/MC.2017.3001250\n \n\n\n \n \n | \n\n \n \n \n \n \n \n \n \n
| \n ||
| 19. | \n\n \n\n\n Tselikis, C., Douligeris, C., Mitropoulos, S., Komninos, N. and Tselikis, G. (2017).\n Adaptation of a Conference Key Distribution System for the Wireless Ad Hoc Network.\n 2017 IEEE International Conference on Communications (ICC),\n \n doi: 10.1109/ICC.2017.7996339\n \n\n\n \n \n | \n\n \n \n \n \n \n \n \n \n
| \n ||
| 20. | \n\n \n\n\n Zhao, X., Littlewood, B., Povyakalo, A. A., Strigini, L. and Wright, D. (2017).\n Modeling the probability of failure on demand (pfd) of a 1-out-of-2 system in which one channel is “quasi-perfect”.\n Reliability Engineering & System Safety, 158,\n pp. 230-245.\n doi: 10.1016/j.ress.2016.09.002\n \n\n\n \n \n | \n\n \n \n \n \n \n \n \n \n
| \n
\n