Items where Schools and Departments is "Software Reliability" and Year is 2025
![[up]](/style/images/multi_up.png)
Up a level
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.
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
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.
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
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.
In:
Middleware '25: Proceedings of the 26th International Middleware Conference.
ACM/IFIP International Middleware Conference, 15-19 Dec 2025, Tennesee, USA.
doi: 10.1145/3721462.3770769
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
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.
In:
Proceedings of the ACM on Measurement and Analysis of Computing Systems.
ACM SIGMETRICS, 9-13 Jun 2025, New York, USA.
doi: 10.1145/3771565
Yates, D., Bishop, P. ORCID: 0000-0003-3307-5159, Fletcher, G. , Guerra, S. & Di Buono, A. (2025).
Digitisation of NPP I&C Systems via Wireless Technologies.
In:
Proceedings of Nuclear Plant Instrumentation and Control and Human Machine Interface Technology Npic and Hmit 2025.
Nuclear Plant Instrumentation and Control & Human-Machine Interface Technology, 15-18 Jun 2025, Chicago, US.
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