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

Centre for Software Reliability Publications

Date is between 2000 and 2050 inclusive AND Departments matches any of Software Reliability

Displaying results 1 to 20 of 249.
Refine search | New search | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | Next
Order the results:
Export 249 results as [feed] RSS 2.0 [feed] RSS
1. Salako, K. ORCID: 0000-0003-0394-7833 & Zhao, X. (2023). The Unnecessity of Assuming Statistically Independent Tests in Bayesian Software Reliability Assessments. IEEE Transactions on Software Engineering, doi: 10.1109/TSE.2022.3233802
[img]
src=https://openaccess.city.ac.uk/29507/8.haspreviewThumbnailVersion/KSXZ_TSE2022_UnnecessityOfAssumingIndependentTests%20%28002%29.pdf
Preview
2. Aghazadeh Chakherlou, R., Salako, K. ORCID: 0000-0003-0394-7833 & Strigini, L. ORCID: 0000-0002-4246-2866 (2022). Arguing safety of an improved autonomous vehicle from safe operation before the change: new results. In: UNSPECIFIED . IEEE. ISBN 9781665476805 doi: 10.1109/ISSREW55968.2022.00085
[img]
src=https://openaccess.city.ac.uk/28642/1.haspreviewThumbnailVersion/RAIS_2022_paper_1356.pdf
Preview
3. Popov, P. T. ORCID: 0000-0002-3434-5272, Buerkle, C., Oboril, F. , Paulitsch, M. & Strigini, L. ORCID: 0000-0002-4246-2866 (2022). Modelling road hazards and the effect on AV safety of hazardous failures. In: 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC). (pp. 1886-1893). New York, USA: IEEE. ISBN 978-1-6654-6880-0 doi: 10.1109/ITSC55140.2022.9922283
[img]
src=https://openaccess.city.ac.uk/28344/8.haspreviewThumbnailVersion/CityIntelAVModel_withHazards_v5.pdf
Preview
4. Terrosi, F., Strigini, L. ORCID: 0000-0002-4246-2866 & Bondavalli, A. (2022). Impact of Machine Learning on Safety Monitors. Lecture Notes in Computer Science, 13414, pp. 129-143. ISSN 0302-9743 doi: 10.1007/978-3-031-14835-4_9 Item availability may be restricted.
[img]
5. Bishop, P. ORCID: 0000-0003-3307-5159, Povyakalo, A. ORCID: 0000-0002-4068-422X & Strigini, L. ORCID: 0000-0002-4246-2866 (2022). Bootstrapping confidence in future safety based on past safe operation. Paper presented at the 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE 2022), 31 Oct - 3 Nov 2022, Charlotte, NC, USA.
[img]
src=https://openaccess.city.ac.uk/28641/1.haspreviewThumbnailVersion/ISSRE2022_bootstrapping.pdf
Preview
6. Gadala, M., Strigini, L. ORCID: 0000-0002-4246-2866 & Fujdiak, R. (2022). Authentication for Operators of Critical Medical Devices: A Contribution to Analysis of Design Trade-offs. In: Proceedings of the 17th International Conference on Availability, Reliability and Security. . ACM. ISBN 9781450396707 doi: 10.1145/3538969.3544474
[img]
src=https://openaccess.city.ac.uk/28633/1.haspreviewThumbnailVersion/Authentication%20for%20Operators%20of%20Critical%20Medical%20Devices.pdf
Preview
7. Bishop, P. G. ORCID: 0000-0003-3307-5159 & Povyakalo, A. A. (2022). Optimising the reliability that can be claimed for a software-based system based on failure-free tests of its components. .
[img]
src=https://openaccess.city.ac.uk/27560/1.haspreviewThumbnailVersion/component_test_optimisation_v1.pdf
Preview
8. Bishop, P. G. ORCID: 0000-0003-3307-5159, Povyakalo, A. A. ORCID: 0000-0002-4068-422X & Strigini, L. ORCID: 0000-0002-4246-2866 (2021). Bootstrapping confidence in future safety based on past safe operation. .
[img]
src=https://openaccess.city.ac.uk/26949/1.haspreviewThumbnailVersion/2110.10718v1.pdf
Preview
9. Strigini, L. ORCID: 0000-0002-4246-2866 & Huang, F. (2021). HEDP: A Method for Early Forecasting Software Defects based on Human Error Mechanisms. .
[img]
src=https://openaccess.city.ac.uk/26951/1.haspreviewThumbnailVersion/2110.06758.pdf
Preview
10. Krol, M. ORCID: 0000-0002-3437-8621, Ascigil, O., Rene, S. , Sonnino, A., Al-Bassam, M. & Rivière, E. (2021). Shard scheduler: object placement and migration in sharded account-based blockchains. In: AFT '21: Proceedings of the 3rd ACM Conference on Advances in Financial Technologies. (pp. 43-56). Association for Computing Machinery. ISBN 9781450390828 doi: 10.1145/3479722.3480989
[img]
src=https://openaccess.city.ac.uk/27308/8.haspreviewThumbnailVersion/blockchain_sharding.pdf
Preview
11. Salako, K. ORCID: 0000-0003-0394-7833, Strigini, L. ORCID: 0000-0002-4246-2866 & Zhao, X. (2021). Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence. 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2021, pp. 451-462. ISSN 1530-0889 doi: 10.1109/DSN48987.2021.00055
[img]
src=https://openaccess.city.ac.uk/26128/1.haspreviewThumbnailVersion/DSN2021_178_PostReview.pdf
Preview
12. Mereani, F. & 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.), Computational Intelligence. Studies in Computational Intelligence, 922. (pp. 359-386). Cham, Switzerland: Springer. doi: 10.1007/978-3-030-70594-7_15
[img]
src=https://openaccess.city.ac.uk/25760/1.haspreviewThumbnailVersion/RuleExtractionLong.pdf
Preview
13. Gadala, M., Strigini, L. ORCID: 0000-0002-4246-2866 & Ayton, P. (2021). Improving Human Decisions by Adjusting the Alerting Thresholds for Computer Alerting Tools According to User and Task Characteristics. .
[img]
src=https://openaccess.city.ac.uk/26950/1.haspreviewThumbnailVersion/2106.13544v1.pdf
Preview
14. Krol, M. ORCID: 0000-0002-3437-8621, Sonnino, A., Al-Bassam, M. , Tasiopoulos, A. G., Riviere, E. & Psaras, I. (2021). Proof-of-Prestige: A Useful Work Reward System for Unverifiable Tasks. ACM Transactions on Internet Technology (TOIT), 21(2), 44. doi: 10.1145/3419483
[img]
src=https://openaccess.city.ac.uk/27306/8.haspreviewThumbnailVersion/pop_journal.pdf
Preview
15. Junejo, A. K., Komninos, N. ORCID: 0000-0003-2776-1283 & 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
16. Salako, K. ORCID: 0000-0003-0394-7833, Strigini, L. ORCID: 0000-0002-4246-2866 & 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
17. Zhang, Z., Krol, M. ORCID: 0000-0002-3437-8621, Sonnino, A. , Zhang, L. & Rivière, E. (2021). EL PASSO: Efficient and Lightweight Privacy-preserving Single Sign On. Proceedings on Privacy Enhancing Technologies, 2021(2), pp. 70-87. doi: 10.2478/popets-2021-0018
[img]
src=https://openaccess.city.ac.uk/26898/1.haspreviewThumbnailVersion/main.pdf
Preview
18. Bobrovnikova, K., Lysenko, S., Popov, P. T. ORCID: 0000-0002-3434-5272 , Denysiuk, D. & 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
19. Hunt, S. ORCID: 0000-0001-7255-4465 & Sands, D. (2021). A Quantale of Information. 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1, pp. 358-372. ISSN 2374-8303 doi: 10.1109/CSF51468.2021.00031
[img]
src=https://openaccess.city.ac.uk/26499/1.haspreviewThumbnailVersion/Quantale_of_Information__CSF_2021_.pdf
Preview
20. Marques, P., Rhode, M. & 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
[img]
src=https://openaccess.city.ac.uk/26278/1.haspreviewThumbnailVersion/Waste_not.pdf
Preview
Displaying results 1 to 20 of 249.
Refine search | New search | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | Next
Order the results:
"},"staticData":false,"fixedProperties":{"divisions":"IICSWR"}}