City Research Online

Article

Bishop, P. G. ORCID: 0000-0003-3307-5159 & Povyakalo, A. A. ORCID: 0000-0002-4068-422X (2020). A conservative confidence bound for the probability of failure on demand of a software-based system based on failure-free tests of its components. Reliability Engineering and System Safety, 203, article number 107060. doi: 10.1016/j.ress.2020.107060

Fernando, D. W., Komninos, N. ORCID: 0000-0003-2776-1283 & Chen, T. ORCID: 0000-0001-8037-1685 (2020). A Study on the Evolution of Ransomware Detection Using Machine Learning and Deep Learning Techniques. IoT, 1(2), pp. 551-604. doi: 10.3390/iot1020030

Komninos, N., Saxena, N., Shen, H. , Raymond Choo, K-K. & Chaudhari, N. S.view all authors (2020). BVPSMS: A Batch Verification Protocol for End-to-End Secure SMS for Mobile Users. IEEE Transactions on Dependable and Secure Computing, 17(3), pp. 550-565. doi: 10.1109/tdsc.2018.2799223

Littlewood, B. ORCID: 0000-0002-6397-8685, Salako, K. ORCID: 0000-0003-0394-7833, Strigini, L. & Zhao, X.view all authors (2020). On Reliability Assessment When a Software-based System Is Replaced by a Thought-to-be-Better One. Reliability Engineering & System Safety, 197, article number 106752. doi: 10.1016/j.ress.2019.106752

Pietrantuono, R., Popov, P. T. ORCID: 0000-0002-3434-5272 & Russo, S. (2020). Reliability assessment of service-based software under operational profile uncertainty. Reliability Engineering & System Safety, 204, article number 107193. doi: 10.1016/j.ress.2020.107193

Robbins, E., King, A. & Howe, J. M. ORCID: 0000-0001-8013-6941 (2020). Backjumping is Exception Handling. Theory and Practice of Logic Programming, 21(2), pp. 125-144. doi: 10.1017/S1471068420000435

Zhao, X., Salako, K. ORCID: 0000-0003-0394-7833, Strigini, L. ORCID: 0000-0002-4246-2866 , Robu, V. & Flynn, D.view all authors (2020). Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles. Information and Software Technology, 128, article number 106393. doi: 10.1016/j.infsof.2020.106393

Conference or Workshop Item

Alves, F., Andongabo, A, Gashi, I. ORCID: 0000-0002-8017-3184 , Ferreira, P. M. & Bessani, A.view all authors (2020). Follow the blue bird: A study on threat data published on Twitter. Paper presented at the 25th European Symposium on Research in Computer Security (ESORICS) 2020, 14-18 Sep 2020, Guildford, UK.

Krol, M. ORCID: 0000-0002-3437-8621, Sonnino, A., Tasiopoulos, A. , Psaras, I. & Riviere, E.view all authors (2020). PASTRAMI: Privacy-preserving, Auditable, Scalable & Trustworthy Auctions for Multiple Items. In: Proceedings of the 21st International Middleware Conference. Middleware '20: 21st International Middleware Conference, 7-11 Dec 2020, Delft, Netherlands. doi: 10.1145/3423211.3425669

Salako, K. ORCID: 0000-0003-0394-7833 (2020). Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers. In: Quantitative Evaluation of Systems 2020. 17th International Conference on the Quantitative Evaluation of SysTems (QEST 2020), 31 Aug - 3 Sep 2020, Online. doi: 10.1007/978-3-030-59854-9

Strigini, L. ORCID: 0000-0002-4246-2866 & Gadala, M. ORCID: 0000-0002-9148-6522 (2020). Human Factors Standards and the Hard Human Factor Problems: Observations on Medical Usability Standards. In: Cabitza, F., Fred, A. & Gamboa, H. (Eds.), Proceedings of the 13th International Joint Conference on Biomedical Engineering Systems and Technologies. HEALTHINF 2020 - 13th International Conference on Health Informatics, 24-26 Feb 2020, Valletta, Malta.

Zhao, X., Robu, V., Flynn, D. , Salako, K. ORCID: 0000-0003-0394-7833 & Strigini, L.view all authors (2020). Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing. In: 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE). ISSRE 2019 - the 20th International Symposium on Software Reliability Engineering, 28 - 31 October 2019, Berlin, Germany. doi: 10.1109/ISSRE.2019.00012

Report

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. & Tsutake, Y.view all authors (2020). Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1 (Project Ref: 01/18/05). London, UK: Adelard.

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. & Tsutake, Y.view all authors (2020). Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 2 (Project Ref: 01/18/05). London, UK: Adelard.

Thesis

Chugh, S. (2020). Machine learning modelling, optimisation and thermal compensation of photonic waveguides. (Unpublished Doctoral thesis, City, University of London)