City Research Online

Article

Izonin, I., Hovorushchenko, T. & Popov, P. T. ORCID: 0000-0002-3434-5272 (2023). Assurance of Information Systems' Quality and Security. Journal of Cyber Security and Mobility, 12(3), pp. V-XI.

Popov, P. T. ORCID: 0000-0002-3434-5272 (2021). Conservative reliability assessment of a 2-channel software system when one of the channels is probably perfect. Reliability Engineering and System Safety, 216, article number 108008. doi: 10.1016/j.ress.2021.108008

Pietrantuono, R., Popov, P. T. ORCID: 0000-0002-3434-5272 & Russo, S. (2020). Reliability assessment of service-based software under operational profile uncertainty. Reliability Engineering & System Safety, 204, article number 107193. doi: 10.1016/j.ress.2020.107193

Lysenko, S., Bobrovnikova, K., Popov, P. T. ORCID: 0000-0002-3434-5272 , Kharchenko, V. & Medzatyi, D.view all authors (2020). Spyware detection technique based on reinforcement learning. CEUR Workshop Proceedings, 2623, pp. 307-316.

Favaro, J., Mazzini, S., Popov, P. T. ORCID: 0000-0002-3434-5272 & Strigini, L.view all authors (2018). AQUAS: A project to bridge the gaps between safety and security processes. Ada User Journal, 39(4), pp. 261-263.

Bloomfield, R. E., Popov, P. T., Salako, K. ORCID: 0000-0003-0394-7833 , Stankovic, V. ORCID: 0000-0002-8740-6526 & Wright, D.view all authors (2017). Preliminary Interdependency Analysis: An Approach to Support Critical Infrastructure Risk Assessment. Reliability Engineering and System Safety, 167, pp. 198-217. doi: 10.1016/j.ress.2017.05.030

Bishop, P. G., Bloomfield, R. E., Littlewood, B. , Popov, P. T., Povyakalo, A. A. & Strigini, L.view all authors (2014). A conservative bound for the probability of failure of a 1-out-of-2 protection system with one hardware-only and one software-based protection train. Reliability Engineering & System Safety, 130, pp. 61-68. doi: 10.1016/j.ress.2014.04.002

Popov, P. T., Netkachov, A. & Salako, K. ORCID: 0000-0003-0394-7833 (2014). Quantification of the Impact of Cyber Attack in Critical Infrastructures. Lecture Notes in Computer Science, 8696 L, pp. 316-327. doi: 10.1007/978-3-319-10557-4_35

Netkachov, O., Popov, P. T. & Salako, K. ORCID: 0000-0003-0394-7833 (2014). Model-based Evaluation of the Resilience of Critical Infrastructures under Cyber Attacks. Lecture Notes in Computer Science, 8985, pp. 231-243. doi: 10.1007/978-3-319-31664-2_24

Popov, P. T. (2013). Bayesian reliability assessment of legacy safety-critical systems upgraded with fault-tolerant off-the-shelf software. Reliability Engineering & System Safety, 117(Sept), pp. 98-113. doi: 10.1016/j.ress.2013.03.017

Kharchenko, V. S., Popov, P. T., Odarushchenko, O. & Zhadan, V.view all authors (2012). Empirical evaluation of accuracy of mathematical software used for availability assessment of fault-tolerant computer systems. Reliability: Theory & Applications, 7(3),

Gashi, I., Popov, P. T. & Stankovic, V. ORCID: 0000-0002-8740-6526 (2009). Uncertainty explicit assessment of off-the-shelf software: A Bayesian approach. Information and Software Technology, 51(2), pp. 497-511. doi: 10.1016/j.infsof.2008.06.003

Gashi, I., Popov, P. T. & Strigini, L. (2007). Fault tolerance via diversity for off-the-shelf products: A study with SQL database servers. IEEE Transactions on Dependable and Secure Computing, 4(4), pp. 280-294. doi: 10.1109/tdsc.2007.70208

Gashi, I., Popov, P. T., Stankovic, V. ORCID: 0000-0002-8740-6526 & Strigini, L.view all authors (2004). On designing dependable services with diverse off-the-shelf SQL servers. Lecture Notes in Computer Science, 3069, pp. 191-214. doi: 10.1007/978-3-540-25939-8_9

Littlewood, B., Popov, P. T. & Strigini, L. (2002). Assessing the reliability of diverse fault-tolerant software-based systems. Safety Science, 40(9), pp. 781-796. doi: 10.1016/s0925-7535(01)00084-4

Littlewood, B., Popov, P. T. & Strigini, L. (2001). Modeling software design diversity. ACM Computer Surveys, 33(2), pp. 177-208. doi: 10.1145/384192.384195

Popov, P. T., Strigini, L., Riddle, S. & Romanovsky, A.view all authors (2001). On Systematic Design of Protectors for Employing OTS Items. Euromicro Conference, 2001. Proceedings. 27th, 2001, pp. 22-29. doi: 10.1109/EURMIC.2001.952434

Littlewood, B., Popov, P. T., Strigini, L. & Shryane, N.view all authors (2000). Modeling the effects of combining diverse software fault detection techniques. IEEE Transactions on Software Engineering, 26(12), pp. 1157-1167. doi: 10.1109/32.888629

Littlewood, B., Popov, P. T. & Strigini, L. (1999). A note on reliability estimation of functionally diverse systems. Reliability Engineering & System Safety, 66(1), pp. 93-95. doi: 10.1016/s0951-8320(99)00014-9

Book Section

Netkachov, O., Popov, P. T. ORCID: 0000-0002-3434-5272 & Salako, K. ORCID: 0000-0003-0394-7833 (2019). Quantitative Evaluation of the Efficacy of Defence-in-Depth in Critical Infrastructures. In: Resilience of Cyber-Physical Systems. (pp. 89-121). Berlin, Germany: Springer International Publishing. doi: 10.1007/978-3-319-95597-1_5

Conference or Workshop Item

Zatserkovnyi, R. ORCID: 0000-0001-6991-2866, Kutsyk, P. ORCID: 0000-0001-5795-9704, Zatserkovna, R. ORCID: 0000-0003-1011-053X , Maik, V. ORCID: 0000-0002-6650-2703 & Popov, P. T. ORCID: 0000-0002-3434-5272view all authors (2024). Enhancing adapted print publication accessibility via text-to-image synthesis. In: CEUR Workshop Proceedings. 1st International Workshop on Intelligent & CyberPhysical Systems (ICyberPhyS 2024), 28 Jun 2024, Khmelnytskyi, Ukraine.

Peeroo, K. ORCID: 0000-0001-8601-4750, Popov, P. T. ORCID: 0000-0002-3434-5272, Stankovic, V. ORCID: 0000-0002-8740-6526 & Weyde, T. ORCID: 0000-0001-8028-9905view all authors (2024). Machine Learning for Performance Prediction of Data Distribution Service (DDS). In: 2024 19th European Dependable Computing Conference (EDCC). European Dependable Computing Conference, 8-11 Apr 2024, Leuven, Belgium. doi: 10.1109/edcc61798.2024.00032

Kysil, V., Popov, P. T. ORCID: 0000-0002-3434-5272, Drachuk, O. , Hnenna, V. & Martyniuk, I.view all authors (2024). Concept of Information Technology for Diagnosis and Prognosis of Glaucoma Based on Machine Learning Methods. In: CEUR Workshop Proceedings. IntelITSIS’2024: 5th International Workshop on Intelligent Information Technologies and Systems of Information Security, 28 Mar 2024, Khmelnytskyi, Ukraine.

Hovorushchenko, T., Savenko, O., Popov, P. T. ORCID: 0000-0002-3434-5272 & Lysenko, S.view all authors (2023). Preface. In: Proceedings of the 4th International Workshop on Intelligent Information Technologies & Systems of Information Security. 4th International Workshop on Intelligent Information Technologies & Systems of Information Security, 22-24 Mar 2023, Khmelnytskyi, Ukraine.

Hovorushchenko, T., Aleksov, S., Ishtvan, E. , Voichur, O. & Popov, P. T. ORCID: 0000-0002-3434-5272view all authors (2023). Recognizing the Situations and Supporting the Decision-Making in the Residential Luminosity Control Subsystem of «Smart House» Cyber-Physical System. In: CEUR Workshop Proceedings. Intelligent Information Technologies & Systems of Information Security 2023, 22-24 Mar 2023, Khmelnytskyi, Ukraine.

Hovorushchenko, T., Popov, P. T. ORCID: 0000-0002-3434-5272, Medzatyi, D. & Voichur, Y.view all authors (2022). Method and Technology for Ensuring the Software Security by Identifying and Classifying the Failures and Vulnerabilities. In: Lytvynenko, I. & Lupenko, S. (Eds.), Information Technologies: Theoretical and Applied Problems 2022. 2nd International Workshop on Information Technologies: Theoretical and Applied Problems (ITTAP 2022), 22-24 Nov 2022, Ternopil, Ukraine.

Popov, P. T. ORCID: 0000-0002-3434-5272, Buerkle, C., Oboril, F. , Paulitsch, M. & Strigini, L. ORCID: 0000-0002-4246-2866view all authors (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

Hovorushchenko, T., Savenko, O., Popov, P. T. ORCID: 0000-0002-3434-5272 & Lysenko, S.view all authors (2022). Preface. In: Proceedings of the 3rd International Workshop on Intelligent Information Technologies & Systems of Information Security. 3rd International Workshop on Intelligent Information Technologies & Systems of Information Security, 26-25 Mar 2022, Khmelnytskyi, Ukraine.

Hovorushchenko, T., Popov, P. T. ORCID: 0000-0002-3434-5272, Kapustian, M. , Lyubovetskyi, D. & Hovorushchenko, O.view all authors (2022). Cyber-Physical System for Donor Organs' Rejection Risks Prevention Based on Donor and Recipient Health Monitoring. In: CEUR Workshop Proceedings. IntelITSIS’2022: 3rd International Workshop on Intelligent Information Technologies and Systems of Information Security, 23-25 Mar 2022, Khmelnytskyi, Ukraine.

Hovorushchenko, T., Osyadlyi, V., Popov, P. T. ORCID: 0000-0002-3434-5272 & Kysil, T.view all authors (2022). The Structure of the Blockchain-Based Multi-Agent System for Secure Management of Medical Information. In: CEUR Workshop Proceedings. 5th International Conference on Informatics & Data-Driven Medicine, 18-20 Nov 2022, Lyon, France.

Hovorushchenko, T. & Popov, P. T. ORCID: 0000-0002-3434-5272 (2021). Method of developing the defect-free medical software by establishing the presence of residual defects. In: Proceedings of the 4th International Conference on Informatics & Data-Driven Medicine. 4th International Conference on Informatics & Data-Driven Medicine, 19 - 21 Nov 2021, Valencia, Spain.

Bobrovnikova, K., Lysenko, S., Popov, P. T. ORCID: 0000-0002-3434-5272 , Denysiuk, D. & Goroshko, A.view all authors (2021). Technique for IoT cyberattacks detection based on the energy consumption analysis. In: CEUR Workshop Proceedings. IntelITSIS’2021: 2nd International Workshop on Intelligent Information Technologies and Systems of Information Security, 24-26 Mar 2021, Khmelnytskyi, Ukraine.

Hovorushchenko, T., Savenko, O., Popov, P. T. ORCID: 0000-0002-3434-5272 & Lysenko, S.view all authors (2020). Preface to IntelITSIS 2020. In: Proceedings of the 1st International Workshop on Intelligent Information Technologies & Systems of Information Security. 1st International Workshop on Intelligent Information Technologies & Systems of Information Security, 10 - 12 Jun 2020, Khmelnytskyi, Ukraine.

Fujdiak, R., Pokorny, J., Zobal, L. , Popov, P. T., Stankovic, V. ORCID: 0000-0002-8740-6526, Mlynek, P., Mrnustik, P., Blazek, P., Musil, P. & Misurec, J.view all authors (2020). Security and Performance Trade-offs for Data Distribution Service in Flying Ad-Hoc Networks. Paper presented at the The 11th Intenrational COngress on Ultr Modern Telecommunications and Control Systems, 28-30 Oct 2019, Dublin, Ireland.

Popov, P. T. (2017). Models of Reliability of Fault-Tolerant Software Under Cyber-Attacks. In: 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE). IEEE 28th International Symposium on Software Reliability Engineering (ISSRE) (2017), 23-26 Oct 2017, Toulouse, France. doi: 10.1109/ISSRE.2017.23

Khani, S., Gacek, C. & Popov, P. T. (2015). Security-aware selection of Web Services for Reliable Composition. Paper presented at the 11th European Dependable Computing Conference, Student Forum, September 7-11 2015, Paris, France.

Popov, P. T. (2015). Stochastic Modeling of Safety and Security of the e-Motor, an ASIL-D Device. Paper presented at the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, 23-09-2015 - 25-09-2015, Delft University of Technology, Netherlands.

Popov, P. T., Salako, K. ORCID: 0000-0003-0394-7833 & Stankovic, V. ORCID: 0000-0002-8740-6526 (2015). Stochastic modeling for performance evaluation of database replication protocols. In: Lecture Notes in Computer Science. doi: 10.1007/978-3-319-22264-6_2

Netkachova, K., Bloomfield, R. E., Popov, P. T. & Netkachov, O.view all authors (2015). Using Structured Assurance Case Approach to Analyse Security and Reliability of Critical Infrastructures. In: Lecture Notes in Computer Science, Computer Safety Reliability and Security. SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, 22-09-2015, Delft, Netherlands. doi: 10.1007/978-3-319-24249-1_30

Popov, P. T., Povyakalo, A. A., Stankovic, V. ORCID: 0000-0002-8740-6526 & Strigini, L.view all authors (2014). Software diversity as a measure for reducing development risk. Paper presented at the Tenth European Dependable Computing Conference - EDCC 2014, 13 - 16 May 2014, Newcastle upon Tyne, UK.

Kharchenko, V. S., Odarushchenko, O., Odarushchenko, V. & Popov, P. T.view all authors (2013). Selecting Mathematical Software for Dependability Assessment of Computer Systems Described by Stiff Markov Chains. In: Ermolayev, V, Mayr, HC, Nikitchenko, M , Spivakovsky, A, Zholtkevych, G, Zavileysky, M, Kravtsov, H, Kobets, V & Peschanenko, VSview all authors (Eds.), ICTERI. 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, 19-06-2013 - 22-06-2013, Kherson, Ukraine.

Popov, P. T., Stankovic, V. ORCID: 0000-0002-8740-6526 & Strigini, L. (2012). An Empirical Study of the Effectiveness of 'Forcing Diversity' Based on a Large Population of Diverse Programs. Paper presented at the ISSRE 2012, International Symposium on Software Reliability Engineering, 27 - 30 November 2012, Dallas, Texas, USA.

Popov, P. T. & Strigini, L. (2010). Assessing Asymmetric Fault-Tolerant Software. In: ISSRE. Software Reliability Engineering (ISSRE), 2010 IEEE 21st International Symposium on, 1 - 4 Nov 2010, San Jose, California. doi: 10.1109/ISSRE.2010.10

Bloomfield, R. E., Buzna, L., Popov, P. T. , Salako, K. ORCID: 0000-0003-0394-7833 & Wright, D.view all authors (2010). Stochastic modelling of the effects of interdependencies between critical infrastructure. In: Lecture Notes in Computer Science. 4th International Workshop, CRITIS 2009, 30 September - 2 October 2009, Bonn, Germany.

Gashi, I. & Popov, P. T. (2007). Uncertainty explicit assessment of off-the-shelf software: Selection of an optimal diverse pair. In: ICCBSS 2007: SIXTH INTERNATIONAL IEEE CONFERENCE ON COMMERCIAL-OFF-THE-SHELF (COTS)-BASED SOFTWARE SYSTEMS, PROCEEDINGS. Sixth International IEEE Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems, 26 Feb - 2 Mar 2007, Banff, Canada.

Stankovic, V. ORCID: 0000-0002-8740-6526 & Popov, P. T. (2006). Improving DBMS performance through diverse redundancy. In: Kawada, S (Ed.), SRDS 2006: 25th IEEE Symposium on Reliable Distributed Systems, Proceedings. 25th IEEE Symposium on Reliable Distributed Systems, 2 - 4 Oct 2006, Leeds, UK.

Gashi, I. & Popov, P. T. (2006). Rephrasing rules for off-the-shelf SQL database servers. In: Ceballos, S (Ed.), EDCC 2006: Sixth European Dependable Computing Conference, Proceedings. Sixth European Dependable Computing Conference, 2006 (EDCC '06), 18 - 20 Oct 2006, Coimbra, Portugal.

Gashi, I., Popov, P. T. & Strigini, L. (2004). Fault diversity among off-the-shelf SQL database servers. In: 2004 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS. International Conference on Dependable Systems and Networks, 28 Jun - 1 Jul 2004

Popov, P. T. & Littlewood, B. (2004). The effect of testing on reliability of fault-tolerant software. In: International Conference on Dependable Systems and Networks, 2004. 2004 International Conference on dependable systems and networks, 28 Jun - 1 Jul 2004, Florence, Italy. doi: 10.1109/DSN.2004.1311896

Littlewood, B., Bloomfield, R. E., Popov, P. T. , Povyakalo, A. A. & Strigini, L.view all authors (2004). The impact of "difficulty" variation on the probability of coincident failure of diverse systems. Paper presented at the International Conference on Control and Instrumentation in Nuclear Installations, 2004, Liverpool, UK.

Littlewood, B., Popov, P. T. & Strigini, L. (2001). Design diversity: an update from research on reliability modelling. In: Redmill, F & Anderson, T (Eds.), ASPECTS OF SAFETY MANAGEMENT. 9th Safety-critical Systems Symposium, 2001, Bristol, UK.

Popov, P. T. & Strigini, L. (2001). The reliability of diverse systems: a contribution using modelling of the fault creation process. In: INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS. International Conference on Dependable Systems and Networks, 1 - 4 Jul 2001, Goteborg, Sweden.

Strigini, L., Popov, P. T. & Littlewood, B. (2000). Assessing the Reliability of Diverse Fault-Tolerant Systems. Paper presented at the INucE International Conference on Control and Instrumentation in Nuclear Installations, Bristol, UK.

Strigini, L., Popov, P. T. & Romanovsky, A. (2000). Diversity for off-the-shelf components. Paper presented at the International Conference on Dependable Systems & Networks (FTCS-30, DCCA-8), New York, NY, USA.

Popov, P. T., Strigini, L. & Romanovsky, A. (1999). Choosing effective methods for design diversity - How to progress from intuition to science. In: Felici, M, Kanoun, K & Pasquini, A (Eds.), COMPUTER SAFETY, RELIABILITY AND SECURITY. SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security, 1999

Patent

Popov, P. T. & Stankovic, V. ORCID: 0000-0002-8740-6526 (2014). Database replication. P. Popov, V. Stankovic patent no. 8 793 216

Stankovic, V. ORCID: 0000-0002-8740-6526 & Popov, P. T. (2013). Improvements Relating to Database Replication Protocols. EU: Popov, P., Stankovic, V. patent no. EP2470994

Report

Peeroo, K. ORCID: 0000-0001-8601-4750, Popov, P. T. ORCID: 0000-0002-3434-5272, Stankovic, V. ORCID: 0000-0002-8740-6526 & Weyde, T. ORCID: 0000-0001-8028-9905view all authors (2023). Machine Learning for Performance Prediction of Data Distribution Service. London, UK: City, University of London.

Bloomfield, R. E. ORCID: 0000-0002-2050-6151, Fletcher, G., Khlaaf, H. , Ryan, P., Kinoshita, S., Kinoshit, Y., Takeyama, M., Matsubara, Y., Popov, P. T. ORCID: 0000-0002-3434-5272, Imai, K. & Tsutake, Y.view all authors (2020). Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1 (Project Ref: 01/18/05). London, UK: Adelard.

Bloomfield, R. E. ORCID: 0000-0002-2050-6151, Fletcher, G., Khlaaf, H. , Ryan, P., Kinoshita, S., Kinoshit, Y., Takeyama, M., Matsubara, Y., Popov, P. T. ORCID: 0000-0002-3434-5272, Imai, K. & Tsutake, Y.view all authors (2020). Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 2 (Project Ref: 01/18/05). London, UK: Adelard.

Popov, P. T. (2012). Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Fault-Tolerant Off-the-Shelf Software. Centre for Software Reliability, City University London.

Bloomfield, R. E., Chozos, N., Popov, P. T. , Stankovic, V. ORCID: 0000-0002-8740-6526, Wright, D. & Howell-Morris, R.view all authors (2010). Preliminary Interdependency Analysis (PIA): Method and tool support (D/501/12102/2 v2.0). London: Adelard LLP and City University London.

Software

Stankovic, V. ORCID: 0000-0002-8740-6526 & Popov, P. T. (2016). TPC-C Client - Java-based implementation of the industry standard benchmark for database performance evaluation

Popov, P. T. (2015). A SAN model for safety and security analysis of the eMotor, an ASIL-D device

Salako, K. ORCID: 0000-0003-0394-7833, Stankovic, V. ORCID: 0000-0002-8740-6526 & Popov, P. T. (2015). Stochastic model for performance evaluation of database replication protocols

Popov, P. T. ORCID: 0000-0002-3434-5272 Conservative reliability assessment of a 2-channel software system when one of the channels is probably perfect (MATLAB code used in section 5)

Popov, P. T. A SAN Model of effect of cyber-attacks on reliability of a 2-channel software system