Items where Schools and Departments is "Software Reliability" and Year is 2020
A
Alves, F., Andongabo, A, Gashi, I. ORCID: 0000-0002-8017-3184 , Ferreira, P. M. & 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 & 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
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. (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. (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 & 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. & 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
Krol, M. ORCID: 0000-0002-3437-8621, Sonnino, A., Tasiopoulos, A. , Psaras, I. & Riviere, E. (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
L
Littlewood, B. ORCID: 0000-0002-6397-8685, Salako, K.
ORCID: 0000-0003-0394-7833, Strigini, L. & 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,
article number 106752.
doi: 10.1016/j.ress.2019.106752
P
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
R
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
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.
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.
Z
Zhao, X., Robu, V., Flynn, D. , Salako, K. ORCID: 0000-0003-0394-7833 & Strigini, L. (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
Zhao, X., Salako, K. ORCID: 0000-0003-0394-7833, Strigini, L.
ORCID: 0000-0002-4246-2866 , Robu, V. & Flynn, D. (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