City Research Online

Items where Schools and Departments is "Software Reliability" and Year is 2020

Up a level
Export as [feed] RSS 2.0 [feed] RSS
Group by: Authors | Type | No Grouping
Jump to: A | B | C | F | K | L | P | R | S | Z
Number of items: 14.

A

Alves, F., Andongabo, A, Gashi, I. ORCID: 0000-0002-8017-3184, Ferreira, P. M. and Bessani, A. (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.

B

Bishop, P. G. ORCID: 0000-0003-3307-5159 and 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, 107060.. doi: 10.1016/j.ress.2020.107060

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). 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. and Tsutake, Y. (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.

C

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

F

Fernando, D. W., Komninos, N. ORCID: 0000-0003-2776-1283 and 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

K

Komninos, N., Saxena, N., Shen, H., Raymond Choo, K-K. and Chaudhari, N. S. (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

L

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

P

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

R

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

S

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. (pp. 96-114). Cham, Switzerland: Springer. ISBN 978-3-030-59854-9

Strigini, L. ORCID: 0000-0002-4246-2866 and Gadala, M. ORCID: 0000-0002-9148-6522 (2020). Human Factors Standards and the Hard Human Factor Problems: Observations on Medical Usability Standards. Paper presented at the HEALTHINF 2020 - 13th International Conference on Health Informatics, 24-26 Feb 2020, Valletta, Malta.

Z

Zhao, X., Robu, V., Flynn, D., Salako, K. ORCID: 0000-0003-0394-7833 and Strigini, L. (2020). Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing. 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE), pp. 13-23. doi: 10.1109/ISSRE.2019.00012 ISSN 2332-6549

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

This list was generated on Fri Dec 3 04:29:45 2021 UTC.