Items where Schools and Departments is "Software Reliability" and Year is 2025
![[up]](/style/images/multi_up.png)
Up a levelA
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
Pigaglio, M., Ascgil, O., Krol, M. ORCID: 0000-0002-3437-8621 , Rene, S., Lange, F., Peeroo, K. ORCID: 0000-0001-8601-4750, Sadre, R., Stankovic, V. ORCID: 0000-0002-8740-6526 & Rivière, E. (2025).
PANDAS: Peer-to-peer, Adaptive Networking Allowing Data Availability Sampling within Ethereum Consensus Timebounds.
Paper presented at the ACM/IFIP International Middleware Conference, 15-19 Dec 2025, Tennesee, USA.
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.
Y
Yang, W., Ye, Q., Ascigil, O. , Sokoto, S., Balduf, L., Krol, M. ORCID: 0000-0002-3437-8621 & Tyson, G. (2025).
Beyond Single-Tokenomics: How Farcaster’s Pluralistic Incentives Reshape Social Networking.
Paper presented at the ACM SIGMETRICS, 9-13 Jun 2025, New York, USA.
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