- Popov, P. (2021). Conservative reliability assessment of a 2-channel software system when one of the channels is probably perfect. Reliability Engineering & System Safety, 216, pp. 108008–108008. doi:10.1016/j.ress.2021.108008.
- Favaro, J., Mazzini, S., Popov, P. and Strigini, L. (2018). AQUAS: A project to bridge the gaps between safety and security processes. Ada User Journal, 39(4), pp. 261–263.
- Netkachov, O., Popov, P. and Salako, K. (2016). Model-Based Evaluation of the Resilience of Critical Infrastructures Under Cyber Attacks. pp. 231–243. doi:10.1007/978-3-319-31664-2_24.
- Bishop, P., Bloomfield, R., Littlewood, B., Popov, P., Povyakalo, A. and Strigini, L. (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.
- Netkachov, O., Popov, P. and Salako, K. (2014). Quantification of the Impact of Cyber Attack in Critical Infrastructures. pp. 316–327. doi:10.1007/978-3-319-10557-4_35.
- Kharchenko, V.S., Popov, P.T., Odarushchenko, O. and Zhadan, V. (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. and Stankovic, V. (2009). Uncertainty explicit assessment of off-the-shelf software: A Bayesian approach. Information & Software Technology, 51, pp. 497–511.
- Popov, P., Efendiev, Y. and Qin, G. (2009). Multiscale Modeling and Simulations of Flows in Naturally Fractured Karst Reservoirs. Communications in Computational Physics pp. 162–184. doi:10.4208/cicp.2009.v6.p162.
- Gashi, I., Popov, P.T. and Strigini, L. (2007). Fault Tolerance via Diversity for Off-the-Shelf Products: A Study with SQL Database Servers. IEEE Trans. Dependable Sec. Comput., 4, pp. 280–294. doi:10.1109/TDSC.2007.70208.
- Newman, M., Safjan, A., Popov, P. and Lagoudas, D.C. (2005). A non-reflecting layer method for non-linear wave-type equations on unbounded domains with applications to shape memory alloy rods. International Journal for Numerical Methods in Engineering, 62(15), pp. 2053–2085. doi:10.1002/nme.1223.
- Popov, P.T., Strigini, L., May, J.H.R. and Kuball, S. (2003). Estimating Bounds on the Reliability of Diverse Systems. IEEE Trans. Software Eng., 29, pp. 345–359. doi:10.1109/TSE.2003.1191798.
- Littlewood, B., Popov, P. and 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. and Shryane, N. (2000). Modeling the Effects of Combining Diverse Software Fault Detection Techniques. IEEE Trans. Software Eng., 26, pp. 1157–1167. doi:10.1109/32.888629.
- Littlewood, B., Popov, P. and Strigini, L. (1999). A note on reliability estimation of functionally diverse systems. RELIAB ENG SYST SAFE, 66(1), pp. 93–95.
Dr Peter Popov
Contact details
Address
Dr Peter Popov
A304E
, College Building [A]
City, University of London
Northampton Square
London EC1V 0HB
United Kingdom
Northampton Square
London EC1V 0HB
United Kingdom
About
Overview
Peter is an expert in Software Dependability. He was born in Bulgaria, graduated in Computer Engineering in 1982 from the National Technical University in Kiev (KPI), Ukraine, at the time part of the Soviet Union, and received his doctorate (Candidate of Sciences) from the same University in 1989.
Before joining the Centre for Software Reliability (CSR) at City, University of London in 1997 he worked for the Bulgarian Academy of Sciences as Associate Professor in the Institute of Information and Communication Technologies.
He was a visiting scientist in the Coordinated Science Laboratory (CSL) in the University of Illinois at Urbana Champaign (US), in LAAS - CNRS in Toulouse (France), and Duke University (US).
He worked and consulted in the areas of computer and software dependability in several counties in Europe and in the US.
Qualifications
- PhD Computer Science, Kiev National University of Technologies and Design, Ukraine, 1985 – 1989
Employment
- Reader, City, University of London, 2007 – present
- Senoir Lecturer, City, University of London, 2003 – 2007
- Lecturer, City, University of London, 2000 – 2003
- Research Fellow, City, University of London, 1997 – 2000
- Associate Professor, Bulgarian Academy of Sciences - Institute of Information and Communication Technologies, 1990 – 1997
- Head of Research and Development, Disk Memory Units, 1982 – 1985
Languages
Bulgarian (can peer review), English (can peer review) and Russian (can peer review).
Expertise
Geographic Areas
- Europe
Research
Research interests
- Software engineering
- Software reliability assessment,
- System dependability,
- Software fault-tolerance,
- Performance evaluation
- Interdependencies of Critical Infrastructures
Projects
- ReSIST
- IRRIIS
- DISPO
- AFTER
Visual Paradigm
Use of Visual Pradigm is made available to City University by the Academic Partner Program from Visual Paradigm for educational purposes.
Research students
Aria Kosari
Attendance: Apr 2021 – Mar 2025, full-time
Thesis title: Cyber - Resilience of Communicating Autonomous Vehicles
Role: 1st Supervisor
Matthew Stewart
Attendance: Oct 2020 – Sep 2024, full-time
Thesis title: Safety assurance of autonomous systems with ML components
Role: 1st Supervisor
Robab Aghazadeh Chakherlou
Attendance: Oct 2020 – Sep 2024, full-time
Thesis title: Safety of Autonomous Vehicles
Role: 2nd Supervisor
Oleksandr Netkachov
Attendance: May 2015 – Apr 2021, part-time
Thesis title: Methodology, Method and Tools for Quantitative Systems Assessment using High-Performance Simulations
Role: 1st Supervisor
Shahedeh Abdolhossein Khani
Attendance: Jun 2013 – Dec 2017, full-time
Thesis title: Adaptable Web Services
Role: 2nd Supervisor
Publications
Featured publications
- In Flammini, F. (Ed.), (2019). Resilience of Cyber-Physical Systems. In Springer International Publishing. ISBN 978-3-319-95596-4.
- Netkachov, O., Popov, P. and Salako, K. (2019). Quantitative Evaluation of the Efficacy of Defence-in-Depth in Critical Infrastructures. Resilience of Cyber-Physical Systems (pp. 89–121). Springer International Publishing. ISBN 978-3-319-95596-4.
- Popov, P. (2017). Models of Reliability of Fault-Tolerant Software Under Cyber-Attacks. 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE) 23-26 October. doi:10.1109/issre.2017.23
- Popov, P.T. and Strigini, L. (2010). Assessing Asymmetric Fault-Tolerant Software. doi:10.1109/ISSRE.2010.10
- Pietrantuono, R., Popov, P. and Russo, S. (2020). Reliability assessment of service-based software under operational profile uncertainty. Reliability Engineering and System Safety, 204, pp. 1–1. doi:10.1016/j.ress.2020.107193.
- Bloomfield, R.E., Popov, P., Salako, K., Stankovic, V. and Wright, D. (2017). Preliminary interdependency analysis: An approach to support critical-infrastructure risk-assessment. Reliability Engineering & System Safety, 167, pp. 198–217. doi:10.1016/j.ress.2017.05.030.
- 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, pp. 98–113. doi:10.1016/j.ress.2013.03.017.
- Popov, P.T. and Stankovic, V. (2012). Improvements Relating to Database Replication Protocols. Patent no. N/A
Publications by category
Book
- Rashid, A. and Popov, P. (2020). Preface. ISBN 978-3-030-58294-4.
Chapters (5)
- Cavalieri, S., Chiacchio, F., Manno, G. and Popov, P. (2015). Quantitative Assessment of Distributed Networks through Hybrid Stochastic Modeling. (pp. 223–264). Wiley.
- Cavalieri, S., Chiacchio, F., Manno, G. and Popov, P. (2015). QUANTITATIVE ASSESSMENT OF DISTRIBUTED NETWORKS THROUGH HYBRID STOCHASTIC MODELING. QUANTITATIVE ASSESSMENTS OF DISTRIBUTED SYSTEMS: METHODOLOGIES AND TECHNIQUES (pp. 225–264). ISBN 978-1-118-59521-3.
- Littlewood, B., Popov, P.T., Strigini, L. and Shryane, N. (2008). Modelling the Effects of Combining Diverse Software Fault Detection Techniques. In Hierons, R.M., Bowen, J.P. and Harman, M. (Eds.), Formal Methods and Testing (pp. 345–366). Germany: Springer. ISBN 978-3-540-78916-1.
- Gashi, I., Popov, P.T., Stankovic, V. and Strigini, L. (2003). On Designing Dependable Services with Diverse Off-the-Shelf SQL Servers. In Lemos, R.D., Gacek, C. and Romanovsky, A.B. (Eds.), Architecting Dependable Systems II - [the book is a result of the ICSE 2003 Workshop on Software Architectures for Dependable Systems] (pp. 191–214). Springer. ISBN 3-540-23168-4.
- Djambazov, K. and Popov, P. (1997). Software Design-Faults Simulation. Safety and Reliability of Software Based Systems (pp. 389–418). Springer London. ISBN 978-3-540-76034-4.
Conference papers and proceedings (57)
- Hovorushchenko, T., Aleksov, S., Ishtvan, E., Voichur, O. and Popov, P. (2023). Recognizing the Situations and Supporting the Decision-Making in the Residential Luminosity Control Subsystem of «Smart House» Cyber-Physical System.
- Kosari, A., Popov, P. and Roy, R. (2022). Modelling Safety of Connected and Autonomous Vehicles (CAVs) under Cyber-Attacks on Perception and Safety Monitors. 2022 12th International Conference on Dependable Systems, Services and Technologies (DESSERT) 9-11 December. doi:10.1109/dessert58054.2022.10018781
- Hovorushchenko, T., Osyadlyi, V., Popov, P. and Kysil, T. (2022). The Structure of the Blockchain-Based Multi-Agent System for Secure Management of Medical Information. 5th International Conference on Informatics & Data-Driven Medicine 18-20 November, Lyon, France.
- Buerkle, C., Oboril, F., Paulitsch, M., Popov, P. and Strigini, L. (2022). Modelling road hazards and the effect on AV safety of hazardous failures. 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC) 8-12 October. doi:10.1109/itsc55140.2022.9922283
- Peeroo, K., Popov, P. and Stankovic, V. (2022). Exploring The Effects of Multicast Communication on DDS Performance. European Dependable Computing Conference 12-15 September, Zaragoza, Spain.
- Hovorushchenko, T., Popov, P., Kapustian, M., Lyubovetskyi, D. and Hovorushchenko, O. (2022). Cyber-Physical System for Donor Organs' Rejection Risks Prevention Based on Donor and Recipient Health Monitoring.
- Hovorushchenko, T., Popov, P., Medzatyi, D. and Voichur, Y. (2022). Method and Technology for Ensuring the Software Security by Identifying and Classifying the Failures and Vulnerabilities.
- Lopatto, I., Hovorushchenko, T., Popov, P. and Pavlova, O. (2021). Intelligent Multi-Agent System for Improving the Quality of Software by Taking into Account the Information of the Subject Area at All Stages of its Development. 2021 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS) 22-25 September. doi:10.1109/idaacs53288.2021.9660866
- Bobrovnikova, K., Lysenko, S., Popov, P., Denysiuk, D. and Goroshko, A. (2021). Technique for IoT cyberattacks detection based on the energy consumption analysis.
- Hovorushchenko, T. and Popov, P. (2021). Method of developing the defect-free medical software by establishing the presence of residual defects.
- Hovorushchenko, T., Savenko, O., Popov, P. and Lysenko, S. (2021). IntelITSIS 2021 intelligent information technologies & systems of information security 2021.
- Lysenko, S., Bobrovnikova, K., Popov, P., Kharchenko, V. and Medzatyi, D. (2020). Spyware detection technique based on reinforcement learning.
- Hovorushchenko, T., Savenko, O., Popov, P. and Lysenko, S. (2020). Preface.
- Fujdiak, R., Misurec, J., Pokorny, J., Zobal, L., Popov, P., Stankovic, V. … Musil, P. (2019). Security and Performance Trade-offs for Data Distribution Service in Flying Ad-Hoc Networks. 2019 11th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT) 28-30 October. doi:10.1109/icumt48472.2019.8970670
- Popov, P.T. (2015). Stochastic Modeling of Safety and Security of the e-Motor, an ASIL-D Device. The 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015 23-25 September, Delft, The Netherlands. doi:10.1007/978-3-319-24255-2_28
- Popov, P., Salako, K.O. and Stankovic, V. (2015). Stochastic modeling for performance evaluation of database replication protocols. 12th International Conference on Quantitative Evaluation of Systems 1-3 September, Madrid, Spain. doi:10.1007/978-3-319-22264-6_2
- Netkachova, K., Bloomfield, R., Popov, P. and Netkachov, O. (2015). Using Structured Assurance Case Approach to Analyse Security and Reliability of Critical Infrastructures. doi:10.1007/978-3-319-24249-1_30
- Popov, P.T., Povyakalo, A., Stankovic, V. and Strigini, L. (2014). Software diversity as a measure for reducing development risk. European Dependable Computing Conference - EDCC 2014 13-16 May, Newcastle upon Tyne.
- Butenko, V., Kharchenko, V., Odarushchenko, O., Popov, P., Sklyar, V. and Odarushchenko, E. (2014). Markov's model and tool-based assessment of safety-critical I&C systems: Gaps of the IEC 61508.
- Kharchenko, V.S., Odarushchenko, O., Odarushchenko, V. and Popov, P.T. (2013). Selecting Mathematical Software for Dependability Assessment of Computer Systems Described by Stiff Markov Chains.
- Kharchenko, V., Odarushchenko, O., Odarushchenko, V. and Popov, P. (2013). Availability Assessment of Computer Systems Described by Stiff Markov Chains: Case Study. doi:10.1007/978-3-319-03998-5_7
- Popov, P., Stankovic, V. and Strigini, L. (2012). An Empirical Study of the Effectiveness of 'Forcing Diversity' Based on a Large Population of Diverse Programs. ISSRE 2012, International Symposium on Software Reliability Engineering 27-30 November, Dallas, Texas, USA.
- Popov, P. (2011). Preliminary Interdependency Analysis (PIA): Method and Tool Support. Third International Workshop "Software Engineering for Resilient Systems" (SERENE 2011), September 29-30, 29-30 September, Geneva, Switzerland.
- Popov, P.T. and Manno, G. (2011). The Effect of Correlated Failure Rates on Reliability of Continuous Time 1-out-of-2 Software. 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2011) 19-21 September, Naples, Italy.
- Popov, P.T., Buzna, L., Bloomfield, R., Salako, K. and Wright, D. (2010). Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure. Critical Information Infrastructures Security, 4th International Workshop (CRITIS 2009) 20 Sep 2010 – 2 Oct 2010.
- Bloomfield, R., Buzna, L., Popov, P., Salako, K. and Wright, D. (2010). Stochastic Modelling of the Effects of Interdependencies between Critical Infrastructure. doi:10.1007/978-3-642-14379-3_17
- Littlewood, B., Popov, P.T., Strigini, L. and Shryane, N. (2008). Modelling the Effects of Combining Diverse Software Fault Detection Techniques.
- Kharchenko, V., Phillips, C., Popov, P., Pomorova, O., Romanovsky, A. and Troubitsyna, E. (2008). MASTAC. ICSE '08: International Conference on Software Engineering. doi:10.1145/1370868.1370879
- Gashi, I. and Popov, P. (2007). Uncertainty explicit assessment of off-the-shelf software: Selection of an optimal diverse pair.
- Popov, P.T. and Gashi, I. (2007). Uncertainty Explicit Assessment of Off-the-Shelf Software: Selection of an Optimal Diverse Pair. Sixth International Conference on COTS Based Software Systems (ICCBSS-2007) Banff, Alberta, Canada.
- Gashi, I. and Popov, P.T. (2006). Rephrasing Rules for Off-The-Shelf SQL Database Servers. doi:10.1109/EDCC.2006.20
- Stankovic, V. and Popov, P.T. (2006). Improving DBMS Performance through Diverse Redundancy. doi:10.1109/SRDS.2006.27
- Stankovic, V. and Popov, P. (2006). Improving DBMS performance through diverse redundancy. 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006).
- Popov, P. and Littlewood, B. (2004). The effect of testing on reliability of fault-tolerant software. International Conference on Dependable Systems and Networks 28 Jun 2004 – 1 Jul 2004, Florence, ITALY.
- Gashi, I., Popov, P.T. and Strigini, L. (2004). Fault Diversity among Off-The-Shelf SQL Database Servers. doi:10.1109/DSN.2004.1311908
- Popov, P.T., Strigini, L., Kostov, A., Mollov, V. and Selensky, D. (2004). Software Fault-Tolerance with Off-the-Shelf SQL Servers.
- Gorbenko, A., Kharchenko, V.S., Popov, P.T. and Romanovsky, A.B. (2004). Dependable Composite Web Services with Components Upgraded Online.
- Littlewood, B., Bloomfield, R., Popov, P., Povyakalo, A. and Strigini, L. (2004). The impact of ‘difficulty’ variation on the probability of coincident failure of diverse systems. International Conference on Control and Instrumentation in Nuclear Installations Liverpool.
- Popov, P.T., Kharchenko, V. and Romanovsky, A. (2004). On Dependability of Composite Web Services with Components Upgraded Online. International Conference on Dependable Systems and Networks (DSN'04 - Workshop supplement) Florence, Italy.
- Strigini, L. and Popov, P. (2003). Diversity with Off-The-Shelf Components: A Study with SQL Database Servers. International Conference on Dependable Systems and Networks (DSN 2003).
- Popov, P.T. (2002). Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components.
- Popov, P.T. and Strigini, L. (2001). The Reliability of Diverse Systems: A Contribution Using Modelling of the Fault Creation Process. doi:10.1109/DSN.2001.941385
- Popov, P.T., Strigini, L., Riddle, S. and Romanovsky, A.B. (2001). On Systematic Design of Protectors for Employing OTS Items. doi:10.1109/EURMIC.2001.952434
- Littlewood, B., Popov, P.T. and Strigini, L. (2001). Modeling software design diversity.
- Strigini, L., Popov, P., Riddle, S. and Romanovsky, A. (2001). Protective Wrapping of OTS Components. 4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction Toronto.
- Ainsworth, M., Eastaughffe, K. and Simpson, A. (2001). Safety Cases for Software-Intensive Systems. doi:10.1007/978-1-4471-0713-2_1
- Littlewood, B., Popov, P. and Strigini, L. (2001). Design diversity: an update from research on reliability modelling.
- Popov, P.T., Strigini, L. and Littlewood, B. (2000). Choosing Between Fault-Tolerance and Increased V&V for Improving Reliability.
- Littlewood, B., Popov, P.T. and Strigini, L. (2000). Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach.
- Littlewood, B., Popov, P. and Strigini, L. (2000). N-version design versus one good version. Proc International Conference on Dependable Systems and Networks (Fast Abstracts) New York.
- Strigini, L., Popov, P. and Romanovsky, A. (2000). Diversity for off-the-Shelf Components. International Conference on Dependable Systems & Networks (FTCS-30, DCCA-8) New York, NY, USA.
- Strigini, L., Popov, P. and Littlewood, B. (2000). Assessing the Reliability of Diverse Fault-Tolerant Systems. INucE International Conference on Control and Instrumentation in Nuclear Installations Bristol, UK.
- Popov, P.T., Strigini, L. and Romanovsky, A.B. (1999). Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science.
- Strigini, L., Popov, P. and Pizza, M. (1998). The efficacy of diverse redundancy against design error: some practical considerations. Third International Conference on Control and Instrumentation in Nuclear Installations May, Edinburgh, U.K.
- Popov, P.T. and Strigini, L. (1998). Conceptual Models for the Reliability of Diverse Systems - New Results. doi:10.1109/FTCS.1998.689457
- Popov, P.T. (1996). The Effect of Interfailure Time Variability on the Software Reliability Growth Modelling.
- Popov, P.T. and Djambazov, K. (1995). The effect of testing on the reliability of single version and 1-out-of-2 software systems. Sixth International Symposium on Software Reliability Engineering (ISSRE 1995) 24-27 October.
Internet publication
Journal articles (14)
Patents (3)
- Stankovic, V. and Popov, P. (2012). Improvements Relating to Database Replication Protocols. Patent no. EP2470994
- Popov, P.T. (2012). Database replication.
- Popov, P. and Stankovic, V. (2012). Database replication. Patent no. 8793216
Reports (6)
- Bloomfield, R., Fletcher, G., Khlaaf, H., Ryan, P., Kinoshita, S., Kinoshit, Y. … Tsutake, Y. (2020). Towards Identifying and closing Gaps in Assurance of autonomous Road
vehicleS -- a collection of Technical Notes Part 2.. - Bloomfield, R., Fletcher, G., Khlaaf, H., Ryan, P., Kinoshita, S., Kinoshit, Y. … Tsutake, Y. (2020). Towards Identifying and closing Gaps in Assurance of autonomous Road
vehicleS -- a collection of Technical Notes Part 1.. - 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, , Chozos, N., , Popov, P.T., Stankovic, V., , Wright, D, and Howell-Morris, R, (2010). Preliminary Interdependency Analysis (PIA): Method and tool support..
- Popov, P.T. and Strigini, L. (2001). The Reliability of Diverse Systems: a Contribution using Modelling of the Fault Creation Process..
- Popov, P.T., Strigini, L. and Pizza, M. Diverse redundancy against design error: a model of fault creation and its implications on reliability..
Software (7)
- Popov, P. (2021). Conservative reliability assessment of a 2-channel software system when one of the channels is probably perfect..
- Stankovic, V. and Popov, P. (2016). TPC-C Client - Java-based implementation of the industry standard benchmark for database performance evaluation. London.
- Popov, P., Salako, K. and Stankovic, V. (2015). Stochastic Modeling for Performance Evaluation of Database Replication Protocols. Springer International Publishing.
- Popov, P.T. (2015). A SAN model for safety and security analysis of the eMotor, an ASIL-D device..
- Salako, K., Stankovic, V. and Popov, P. (2015). Stochastic model for performance evaluation of database replication protocols..
- Popov, P.T. A SAN Model of the effects of cyber-attacks on reliability of a 2-channel software system..
- Netkachov, O., Popov, P. and Salako, K. Simulation model of the extended Nordic32 network..
Professional activities
Editorial activity
- Member of Program Committees for:
- International Symposium on Software Reliability Engineering, ISSRE 2011, ISSRE 2012 and ISSRE 2016 - ISSRE 2021
- International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail 2016, 2017)
- International Conference on Comuter safety, reliability and security - SAFECOMP 2015 - SAFECOMP 2021.
- European Dependable Computing Conference - EDCC 2009, EDCC 2014, Program Committees, Jan 2012 – Dec 2021.
Keynote lecture/speech
- Preliminary Interdependency Analysis of Critical Infrastructures: Models, Tool Support and Data Analysis. Geneva, Switzerland (2011).
SERENE 2011, 3rd International Workshop on Software Engineering for Resilient Systems.