Items where Schools and Departments is "Software Reliability" and Year is 2025
A
Arsal, M., Asad, H. ORCID: 0000-0002-8506-5721, Kamel, T. & Khan, A. (2025).
Cyber-Safety Assessment of Wind Turbines: A Reachability Analysis Approach Against Cyber-Attacks.
Paper presented at the Sensei 2025, 9 Sep 2025, Stockholm, Sweden.
B
Bishop, P. ORCID: 0000-0003-3307-5159, Povyakalo, A.
ORCID: 0000-0002-4068-422X & Strigini, L.
ORCID: 0000-0002-4246-2866 (2025).
Doubt in Safety Claims is Inevitable: What is its Impact, What Can be Done About It?
In: Torngren, M. (Ed.),
Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops. SAFECOMP 2025.
SASSUR 2025 12th International Workshop on Next Generation of System Assurance Approaches for Critical Systems, 9 Sep 2025, Stockholm, Sweden.
doi: 10.1007/978-3-032-02018-5_17
H
Hovorushchenko, T., Savenko, O., Popov, P. ORCID: 0000-0002-3434-5272 & Lysenko, S. (2025).
Preface.
In:
CEUR Workshop Proceedings.
Intelligent Information Technologies & Systems of Information Security 2025, 4 Apr 2025, Khmelnytskyi, Ukraine.
M
Miri Kelaniki, S. ORCID: 0009-0003-7453-4152 & Komninos, N.
ORCID: 0000-0003-2776-1283 (2025).
A Study on IoT Device Authentication Using Artificial Intelligence.
Sensors, 25(18),
article number 5809.
doi: 10.3390/s25185809
P
Popov, P. ORCID: 0000-0002-3434-5272 (2025).
Dynamic safety assessment of Autonomous Vehicle based on Multivariate Bayesian Inference (DyAVSA).
Journal of Reliable Intelligent Environments, 11(3),
article number 14.
doi: 10.1007/s40860-025-00252-4
Popov, P. ORCID: 0000-0002-3434-5272 (2025).
Why Black-Box Bayesian Safety Assessment of Autonomous Vehicles is Problematic and What Can be Done About it?.
IEEE Transactions on Intelligent Vehicles,
Popov, P. & Stankovic, V. ORCID: 0000-0002-8740-6526 (2025).
Diverse Database Replication Based on Snapshot Isolation – Performance Implications of Improved Dependability.
Paper presented at the 44th IEEE International Symposium on Reliable Distributed Systems, SRDS 2025, 29 Sep - 2 Oct 2025, Porto, Portugal.
Z
Zoppi, T. & Popov, P. ORCID: 0000-0002-3434-5272 (2025).
Confidence Ensembles: Tabular Data Classifiers on Steroids.
Information Fusion, 120,
article number 103126.
doi: 10.1016/j.inffus.2025.103126