Items where Schools and Departments is "Software Reliability" and Year is 2022
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:
RAIS 2022 2nd International Workshop on Reliability of Autonomous Intelligent Systems.
RAIS 2022 2nd International Workshop on Reliability of Autonomous Intelligent Systems, 31 Oct - 3 Nov 2022, Charlotte, NC, USA.
doi: 10.1109/ISSREW55968.2022.00085
Bishop, P. ORCID: 0000-0003-3307-5159 & Povyakalo, A. A. ORCID: 0000-0002-4068-422X (2022).
Optimising the Reliability that can be Claimed for a Software-based System based on Failure-free Tests of its components.
In:
Computer Safety, Reliability, and Security.
41st International Conference, SAFECOMP 2022, 6-9 Sep 2022, Munich, Germnay.
doi: 10.1007/978-3-031-14835-4
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.
In:
2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE).
2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE 2022), 31 Oct - 3 Nov 2022, Charlotte, NC, USA.
doi: 10.1109/ISSRE55969.2022.00020
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.
.
Bloomfield, R. E. ORCID: 0000-0002-2050-6151 & Rushby, J. (2022).
Assessing Confidence with Assurance 2.0 (SRI-CSL-2022-02).
California, USA: SRI International.
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.
ARES 20222: The 17th International Conference on Availability, Reliability and Security, 23-26 Aug 2022, Vienna, Austria.
doi: 10.1145/3538969.3544474
Littlewood, B. ORCID: 0000-0002-6397-8685 & Strigini, L. ORCID: 0000-0002-4246-2866 (2022).
Letter to the Editor: A Critical Response to a Recent Paper by Daniels and Tudor.
Safety-Critical Systems eJournal, 1(2),
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).
The 25th IEEE International Conference on Intelligent Transportation Systems (IEEE ITSC 2022), 8 Oct - 12 Oct 2022, Macau, China.
doi: 10.1109/ITSC55140.2022.9922283
Terrosi, F., Strigini, L. ORCID: 0000-0002-4246-2866 & Bondavalli, A. (2022).
Impact of Machine Learning on Safety Monitors.
In:
Lecture Notes in Computer Science.
41st International Conference, SAFECOMP 2022, 6-9 Sep 2022, Munich, Germnay.
doi: 10.1007/978-3-031-14835-4_9