Centre for Software Reliability
  1. News
  2. Staff
  3. Research
  4. Courses
  5. Consultancy & Advisory Services
  6. CSR Seminars
  7. Contact CSR
Software Reliability

Centre for Software Reliability Publications

Date is between 2014 and 2021 inclusive AND Departments matches any of Software Reliability

Displaying results 1 to 20 of 71.
Refine search | New search | 1 | 2 | 3 | 4 | Next
Order the results:
Export 71 results as [feed] RSS 2.0 [feed] RSS
1. Junejo, A. K., Komninos, N. ORCID: 0000-0003-2776-1283 and McCann, J. A. (2021). A Secure Integrated Framework for Fog-Assisted Internet of Things Systems. IEEE Internet of Things Journal, 8(8), pp. 6840-6852. doi: 10.1109/jiot.2020.3035474
[img]
src=https://openaccess.city.ac.uk/25202/1.haspreviewThumbnailVersion/IFJournal-2ndRevision.pdf
Preview
2. Salako, K. ORCID: 0000-0003-0394-7833, Strigini, L. ORCID: 0000-0002-4246-2866 and Zhao, X. (2021). Proofs of Conservative Confidence Bounds on PFD, Using Claims of Improved Reliability. London, UK: Centre for Software Reliability, City, University of London.
[img]
src=https://openaccess.city.ac.uk/25905/15.haspreviewThumbnailVersion/DSN2021_178_TechnicalReport.pdf
Preview
3. Mereani, F. and Howe, J. M. ORCID: 0000-0001-8013-6941 (2021). Rule Extraction from Neural Networks and Other Classifiers Applied to XSS Detection. In: Morelo, J. J. (Ed.), Computation Intelligence. . Cham, Switzerland: Springer. Item availability may be restricted.
[img]
4. Salako, K. ORCID: 0000-0003-0394-7833, Strigini, L. ORCID: 0000-0002-4246-2866 and Zhao, X. (2021). Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence. Paper presented at the The 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 21-24 Jun 2021, Taipei, Taiwan.
[img]
src=https://openaccess.city.ac.uk/26128/1.haspreviewThumbnailVersion/DSN2021_178_PostReview.pdf
Preview
5. Bobrovnikova, K., Lysenko, S., Popov, P. T. ORCID: 0000-0002-3434-5272, Denysiuk, D. and Goroshko, A. (2021). Technique for IoT cyberattacks detection based on the energy consumption analysis. CEUR Workshop Proceedings, 2853, ISSN 1613-0073
[img]
src=https://openaccess.city.ac.uk/26372/1.haspreviewThumbnailVersion/paper54.pdf
Preview
6. Hunt, S. ORCID: 0000-0001-7255-4465 and Sands, D. (2021). A Quantale of Information. 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1, pp. 358-372. doi: 10.1109/CSF51468.2021.00031
[img]
src=https://openaccess.city.ac.uk/26499/1.haspreviewThumbnailVersion/Quantale_of_Information__CSF_2021_.pdf
Preview
7. Marques, P., Rhode, M. and Gashi, I. ORCID: 0000-0002-8017-3184 (2021). Waste not: using diverse neural networks from hyperparameter search for improved malware detection. Computers & Security, 108, 102339.. doi: 10.1016/j.cose.2021.102339 Item not available from this repository.
[img]
8. 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 Item availability may be restricted.
[img]
9. 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
[img]
src=https://openaccess.city.ac.uk/24779/1.haspreviewThumbnailVersion/IST_ISSRE2019_JournalExtension.pdf
Preview
10. 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
[img]
src=https://openaccess.city.ac.uk/24797/1.haspreviewThumbnailVersion/main.pdf
Preview
11. 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
[img]
src=https://openaccess.city.ac.uk/24378/1.haspreviewThumbnailVersion/https___pdf.sciencedirectassets.com_271430_AIP_1-s2.0-S0951832020305615_main_removed.pdf
Preview
12. 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
[img]
src=https://openaccess.city.ac.uk/18944/1.haspreviewThumbnailVersion/BVPSMS-13.pdf
Preview
13. 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
[img]
src=https://openaccess.city.ac.uk/23238/1.haspreviewThumbnailVersion/NWTES.pdf
Preview
14. 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.
[img]
src=https://openaccess.city.ac.uk/24075/1.haspreviewThumbnailVersion/2003.00789v1.pdf
Preview
15. 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.
[img]
src=https://openaccess.city.ac.uk/24076/1.haspreviewThumbnailVersion/2003.00790v1.pdf
Preview
16. 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
[img]
src=https://openaccess.city.ac.uk/22872/1.haspreviewThumbnailVersion/ISSRE2019.pdf
Preview
17. 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.
[img]
src=https://openaccess.city.ac.uk/23435/1.haspreviewThumbnailVersion/Human%20Factors%20Standards%20and%20the%20Hard%20Human%20Factor%20Problems_Jan2020.pdf
Preview
18. 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.
[img]
src=https://openaccess.city.ac.uk/24565/1.haspreviewThumbnailVersion/CameraReady.pdf
Preview
19. Chugh, S. (2020). Machine learning modelling, optimisation and thermal compensation of photonic waveguides. (Unpublished Doctoral thesis, City, University of London) Item availability may be restricted.
[img]
20. 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
[img]
src=https://openaccess.city.ac.uk/25776/8.haspreviewThumbnailVersion/IoT-01-00030-v2.pdf
Preview
Displaying results 1 to 20 of 71.
Refine search | New search | 1 | 2 | 3 | 4 | Next
Order the results:
"},"staticData":false,"fixedProperties":{"divisions":"IICSWR"}}