Article

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, 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, 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. & 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, 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,

Gashi, I., Popov, P. T. & Stankovic, V. (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. & 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.

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

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. Information Technologies: Theoretical and Applied Problems 2022, 3309, pp. 338-348. ISSN 1613-0073

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). (pp. 1886-1893). New York, USA: IEEE. ISBN 978-1-6654-6880-0 doi: 10.1109/ITSC55140.2022.9922283

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. CEUR Workshop Proceedings, 3156, pp. 494-504. ISSN 1613-0073

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. CEUR Workshop Proceedings, 3302, pp. 44-55. ISSN 1613-0073

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. Proceedings of the 4th International Conference on Informatics & Data-Driven Medicine, 3038, pp. 11-21. ISSN 1613-0073

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. CEUR Workshop Proceedings, 2853, ISSN 1613-0073

Hovorushchenko, T., Savenko, O., Popov, P. T. ORCID: 0000-0002-3434-5272 & Lysenko, S.view all authors (2020). Preface to IntelITSIS 2020. Proceedings of the 1st International Workshop on Intelligent Information Technologies & Systems of Information Security, 2623, pp. 3-4. ISSN 1613-0073

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. 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE), pp. 228-239. ISSN 2332-6549 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. (2015). Stochastic modeling for performance evaluation of database replication protocols. Lecture Notes in Computer Science, 9259(9259), pp. 21-37. ISSN 0302-9743 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. Paper presented at the 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. & 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. Paper presented at the 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. & 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. Paper presented at the 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. Paper presented at the 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. Paper presented at the Sixth International IEEE Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems, 26 Feb - 2 Mar 2007, Banff, Canada.

Stankovic, V. & Popov, P. T. (2006). Improving DBMS performance through diverse redundancy. SRDS 2006: 25th IEEE Symposium on Reliable Distributed Systems, Proceedings, pp. 391-400. ISSN 1060-9857

Gashi, I. & Popov, P. T. (2006). Rephrasing rules for off-the-shelf SQL database servers. Paper presented at the 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. Paper presented at the 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. (pp. 265-274). New Jersey, USA: IEEE. ISBN 0769520529 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. Paper presented at the 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. Paper presented at the 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. COMPUTER SAFETY, RELIABILITY AND SECURITY, 1698, pp. 272-285. ISSN 0302-9743

Patent

Popov, P. T. & Stankovic, V. (2014). Database replication. P. Popov, V. Stankovic patent no. 8 793 216

Stankovic, V. & Popov, P. T. (2013). Improvements Relating to Database Replication Protocols. EU: Popov, P., Stankovic, V. patent no. EP2470994

Report

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., 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. & 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. & 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