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 Pietrantuono, R., Popov, P. T. ![](\"/images/orcid_16x16.png\") ORCID: 0000-0002-3434-5272 and Russo, S. (2020).\n Reliability assessment of service-based software under operational profile uncertainty.\n Reliability Engineering & System Safety, 204,\n 107193..\n doi: 10.1016/j.ress.2020.107193\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 Robbins, E., King, A. and Howe, J. M. ORCID: 0000-0001-8013-6941 (2020).\n Backjumping is Exception Handling.\n Theory and Practice of Logic Programming,\n \n doi: 10.1017/S1471068420000435\n \n\n\n \n Item availability may be restricted.\n | \n \n \n \n \n \n \n \n \n \n \n \n | \n |
| 3. | \n\n \n\n\n Junejo, A. K., Komninos, N. ORCID: 0000-0003-2776-1283 and McCann, J. A. (2020).\n A Secure Integrated Framework for Fog-Assisted Internet of Things Systems.\n IEEE Internet of Things Journal,\n \n doi: 10.1109/jiot.2020.3035474\n \n\n\n \n \n | \n \n \n \n \n \n \n \n \n \n
| \n |
| 4. | \n\n \n\n\n Zhao, X., Salako, K. ORCID: 0000-0003-0394-7833, Strigini, L. ORCID: 0000-0002-4246-2866, Robu, V. and Flynn, D. (2020).\n Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles.\n Information and Software Technology,\n 106393..\n doi: 10.1016/j.infsof.2020.106393\n \n\n\n \n \n | \n \n \n \n \n \n \n \n \n \n
| \n |
| 5. | \n\n \n\n\n Bishop, P. G. 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 \n \n | \n |
| 6. | \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 |
| 7. | \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 |
| 8. | \n\n \n\n\n \n \n \n \n Zhao, X., Robu, V., Flynn, D., Salako, K. ORCID: 0000-0003-0394-7833 and Strigini, L. (2020).\n Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing.\n 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE),\n pp. 13-23.\n doi: 10.1109/ISSRE.2019.00012\n ISSN 2332-6549\n \n \n \n \n \n\n\n \n \n | \n \n \n \n \n \n \n \n \n \n
| \n |
| 9. | \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 |
| 10. | \n\n \n\n\n \n \n \n \n \n \n Alves, F., Andongabo, A, Gashi, I. ORCID: 0000-0002-8017-3184, Ferreira, P. M. and Bessani, A. (2020).\n Follow the blue bird: A study on threat data published on Twitter.\n Paper presented at the 25th European Symposium on Research in Computer Security (ESORICS) 2020, 14-18 Sep 2020, Guildford, UK.\n \n \n \n\n\n \n \n | \n \n \n \n \n \n \n \n \n \n
| \n |
| 11. | \n\n \n\n\n Chugh, S. (2020).\n Machine learning modelling, optimisation and thermal compensation of photonic waveguides.\n (Unpublished Doctoral thesis, City, University of London)\n \n \n\n\n \n Item availability may be restricted.\n | \n\n \n \n \n \n \n \n \n \n \n \n | \n |
| 12. | \n\n \n\n\n \n \n \n Salako, K. ORCID: 0000-0003-0394-7833 (2020).\n Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers.\n In: \n Quantitative Evaluation of Systems 2020.\n \n (pp. 96-114). Cham, Switzerland: Springer.\n ISBN 978-3-030-59854-9\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 Littlewood, B. ORCID: 0000-0002-6397-8685, Salako, K. ORCID: 0000-0003-0394-7833, 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 \n | \n \n \n \n \n \n \n \n \n \n
| \n |
| 14. | \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 \n | \n \n \n \n \n \n \n \n \n \n
| \n |
| 15. | \n\n \n\n\n Netkachov, O., Popov, P. T. ORCID: 0000-0002-3434-5272 and Salako, K. ORCID: 0000-0003-0394-7833 (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 |
| 16. | \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 |
| 17. | \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 |
| 18. | \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 |
| 19. | \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 |
| 20. | \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
\n