People
  1. Students
  2. Alumni
  3. Honorary Graduates
  4. Academic Experts
  1. Professor Lorenzo Strigini
People

portrait of Professor Lorenzo Strigini

Professor Lorenzo Strigini

Professor of Systems Engineering

School of Mathematics, Computer Science & Engineering, Department of Computer Science

Contact Information

Contact

Visit Professor Lorenzo Strigini

A304i, College Building

null

Postal Address

City, University of London
Northampton Square
London
EC1V 0HB
United Kingdom

About

Background

Lorenzo Strigini is the current director of the Centre for Software Reliability at City University London. He joined the Centre in 1995. Most of his previous career was spent at the Institute for Information Processing of the National Research Council of Italy (IEI-CNR), with periods as a visiting scientist at the University of California at Los Angeles and at the Bell Communication Research Laboratories, Morristown.

His research work, mostly on dependability assessment and on fault tolerance, contributes to the broad research areas of Software and Systems Engineering and Human Centric Systems. During his past career he also worked on high-speed networking.

Qualifications

Laurea (5 year degree) in Electronic Engineering (cum laude) from the University of Pisa, Italy (1980).
Qualified to practice as an engineer (1980)

Employment

1999 - to date City University London, Professor of Systems Engineering
1995 - 1999 City University London, Reader
1984 - 1995 Istituto di Elaborazione dell'Informazione (IEI, Institute for Information Processing) of the Italian National Research Council (CNR), Researcher
1980 - 1983 Selenia SpA, Research Fellow
1985 - 1987 University of California, Visiting Scholar
1986 - 1986 Bell Communication Research, Visiting Researcher

Membership of professional bodies

1990s IFIP Working Group 10.4 on Dependable Computing & Fault Tolerance, Member
1980s EWICS European Workshop on Industrial Computer Systems Reliability, Safety & Security, Member
1980s IEEE (Computer Society, more recently Reliability Society, Technology & Society Society), Member
1980s Association for Computing Machinery, Member

Research

Research interests

Lorenzo Strigini is the director of the Centre for Software Reliability, which works in the assessment of dependabiity (reliability, safety, security) of software and socio-tecnical systems that depend on software.

Main current research topics

- Methods for assessing dependability in systems using diversity for fault tolerance and for guiding the application of diversity (e.g. project DISPO for the Control and Instrumentation Nuclear Industry Forum)
- Decision making on approval of critical systems (e.g. project UnCoDe)
- Interdisciplinary research in the dependability of human-machine systems, especially the effect of decision support tools on human reliability (see e.g. a case study in computer aided detection of cancer)
- Interaction between safety and security issues in critical embedded systems (e.g. project SeSaMo)

Current and recent projects

- SESAMO: Security and Safety Modelling
- DISPO: Diverse Software Project
- UnCoDe: UNcertainty and COnfidence in safety arguments: effect on expert DEcision makers
- INDEED: Interdiciplinary Design and Evaluation of Dependability
- AMBER: Assessing, Measuring, and Benchmarking Resilience
- ReSIST: Resilience for Survivability in IST
- CRUK: Cancer Research UK grant "Accounting for unanticipated effects of computer aids for cancer detection

Publications

Chapters (12)

  1. Alberdi, E., Povyakalo, , Strigini, and AYTON, P. (2014). CAD: risks and benefits for radiologists' decisions. The Handbook of Medical Image Perception and Techniques (pp. 320–332). Cambridge University Press. ISBN 978-1-107-42463-0.
  2. Strigini, L. (2012). Fault tolerance and resilience: meanings,
    measures and assessment.
    In Wolter, K., , Avritzer, A., , Vieira, M., and van Moorsel, A., (Eds.), Resilience Assessment and Evaluation of Computing Systems Springer ISBN 978-3-642-29031-2.
  3. Alberdi, E., Povyakalo, A., Strigini, L. and Ayton, P. (2009). Computer Aided Detection: Risks and benefits for radiologists' decisions. In Samei, E. and Krupinski, E. (Eds.), The Handbook of Medical Image Perception and Techniques (pp. 320–332). Cambridge Univ Pr. ISBN 978-0-521-51392-0.
  4. Strigini, L. (2005). Fault Tolerance Against Design Faults. In Diab, H. and Zomaya, A. (Eds.), Dependable Computing Systems: Paradigms, Performance Issues, and Applications (pp. 213–241). J. Wiley & Sons
  5. Littlewood, B. and Strigini, L. (2000). Software reliability and dependability: a roadmap. In Finkelstein, A. (Ed.), The Future of Software Engineering (pp. 177–188). ACM Press
  6. Strigini, L., Bondavalli, A., Chiaradonna, S. and Di Giandomenico, F. (1995). Rational Design of Multiple-Redundant Systems: Adjudication and Fault Treatment. In Randell, B., Laprie, J.C., kopetz, H. and Littlewood, B. (Eds.), Predictably dependable computing systems (pp. 141–153). ISBN 978-3-540-59334-8.
  7. Strigini, L. and Littlewood, B. (1995). Validation of Ultra-High Dependability for Software-Based Systems. In Randell, B., Laprie, J.C., Kopetz, H. and Littlewood, B. (Eds.), Predictably Dependable Computing Systems (ESPRIT Basic Research Series) (pp. 473–493). Springer. ISBN 978-3-540-59334-8.
  8. Strigini, L., Bondavalli, A., Chiaradonna, S. and Di Giandomenico, F. (1995). Dependability Analysis of Iterative Fault-Tolerant Software Considering Correlation. In Randell, B., Laprie, J.C., Kopetz, H. and Littlewood, B. (Eds.), Predictably Dependable Computing Systems, Esprit Basic Research Series (pp. 459–471). Springer. ISBN 978-3-540-59334-8.
  9. Strigini, L., Ciompi, P. and Grandoni, F. (1991). Software-Fault Tolerance. In Powell, D. (Ed.), Delta-4: A Generic Architecture for Dependable Distributed Computing (pp. 351–369). Springer. ISBN 978-0-387-54985-9.
  10. Strigini, L. and Grandoni, F. (1988). Prospective Developments - Software Fault-Tolerance. Delta-4 Overall System Specification Echirolles, France
  11. Strigini, L., Baiardi, F., Cioffi, G., Corsini, P., Frosini, G., Grandoni, F., Simoncini, L., Tomasi, A. and Vanneschi, M. (1983). The MuTEAM System. The MuTEAM experience in designing distributed systems of microprocessors (pp. 13–23). Bologna
  12. Strigini, L., Maltinti, P. and Neri, M. (1983). Specifiche di massima per un meccanismo a transazioni atomiche per doppio nodo MARA. Tecniche di tolleranza ai guasti per MARA (pp. 131–163). Bologna

Conference Papers and Proceedings (91)

  1. Gashi, I., Povyakalo, A. and Strigini, L. (2016). Diversity, Safety and Security in Embedded Systems: Modelling Adversary Effort and Supply Chain Risks. .
  2. Bishop, P.G. and Strigini, L.S. (2014). Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function. 33rd International Conference, SAFECOMP 2014 10-12 September, Florence, Italy.
  3. Gashi, I., Povyakalo, A., Strigini, L., Matschnig, M., Hinterstoisser, T. and Fischer, B. (2014). Diversity for Safety and Security in Embedded Systems. IEEE International Conference on Dependable Systems and Networks 23-26 June, Atlanta, GA, USA.
  4. Rushby, J., Littlewood, B. and Strigini, L. (2014). Evaluating the Assessment of Software Fault-Freeness. AESSCS 2014 Workshop, "Planning the Unplanned Experiment: Assessing the Efficacy of Standards for Safety Critical Software At the European Dependable Computing Conference (EDCC) 13 May, Newcastle upon Tyne.
  5. Popov, P., Povyakalo, A., Stankovic, V. and Strigini, L. (2014). Software diversity as a measure for reducing development risk. Tenth European Dependable Computing Conference - EDCC 2014 13-16 May, Newcastle upon Tyne, UK.
  6. Popov, P., Povyakalo, A., Stankovic, V. and Strigini, L. (2014). Software diversity as a measure for reducing development risk. .
  7. Bishop, P. and Strigini, L. (2014). Estimating worst case failure dependency with partial knowledge of the difficulty function. .
  8. Strigini, L. and Povyakalo, A.A. (2013). Software fault-freeness and reliability predictions. SAFECOMP 2013, 32nd International Conference on Computer Safety, Reliability and Security 24-27 September, Toulouse, France.
  9. Ayton, P., Alberdi, E., Strigini, L. and Wright, D. (2013). Preference for predictable or uncertain probabilities and the risk of failure. SPUDM 2013, 24th Subjective Probability, Utility and Decision-Making Conference 18-22 August, Barcelona.
  10. 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.
  11. Strigini, L., Bloomfield, Robin, , Paulitsch, Michael, and Reiger, Rupert, (2012). Evidence-Based Security in Aerospace. From Safety to Security and Back Again. 23rd International Symposium on Software Reliability Engineering (ISSRE 2012), Fast Abstracts Track 26-29 November, Dallas, Texas, USA.
  12. Ayton, P., Alberdi, E., Strigini, L. and Wright, D. (2012). Better the devil you don't know. Society for Judgment & Decision Making (SJDM) Conference 16-19 November, Minneapolis.
  13. Popov, P.T. and Strigini, L. (2010). Assessing Asymmetric Fault-Tolerant Software. .
  14. Alberdi, E., Strigini, L., Leach, K., Ryan, P., Palanque, P. and Winckler, M. (2009). Gaining assurance in a voter-verifiable voting system. .
  15. Alberdi, E., Strigini, L., Povyakalo, A.A. and Ayton, P. (2009). Why Are People's Decisions Sometimes Worse with Computer Support? SAFECOMP 2009, 28th International Conference on Computer Safety, Reliability, and Security .
  16. Strigini, L., Palanque, P., Winckler, M., Bernhaupt, R., Alberdi, E. and Ryan, P. (2008). AROVE-v: Assessing the resilience of open verifiable E-voting systems. 7th European Dependable Computing Conference, EDCC 2008 Kaunas, Lithuania.
  17. Littlewood, B., Popov, P.T., Strigini, L. and Shryane, N. (2008). Modelling the Effects of Combining Diverse Software Fault Detection Techniques. .
  18. Bryans, J.W., Littlewood, B., Ryan, P.Y.A. and Strigini, L. (2006). E-voting: Dependability requirements and design for dependability. 1st International Conference on Availability, Reliability and Security 20-22 April, Vienna Univ Technol, Vienna, AUSTRIA.
  19. Strigini, L., Alberdi, E., Povyakalo, A. and Ayton, P. (2005). Automation bias in medical decision making: A study of unreliable computer advice in breast cancer screening. 27th Annual Meeting of the Society for Medical Decision Making (SMDM05) October, San Francisco.
  20. van der Meulen, M.J.P., Strigini, L. and Revilla, M.A. (2005). On the effectiveness of run-time checks. .
  21. van der Meulen, M., Riddle, S., Strigini, L. and Jefferson, N. (2005). Protective wrapping of off-the-shelf components. .
  22. Alberdi, E., Ayton, P., Povyakalo, A.A. and Strigini, L. (2005). Automation bias and system design: A case study in a medical application. .
  23. Strigini, L. (2004). Formalism and judgement in assurance cases. Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities, held at International Conference on Dependable Systems and Networks (DSN 2004) June, Florence, Italy.
  24. 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.
  25. Littlewood, B. and Strigini, L. (2004). Redundancy and Diversity in Security. .
  26. Harrison, M.D. and Strigini, L. (2004). Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability. .
  27. Popov, P.T., Strigini, L., Kostov, A., Mollov, V. and Selensky, D. (2004). Software Fault-Tolerance with Off-the-Shelf SQL Servers. .
  28. Gashi, I., Popov, P.T. and Strigini, L. (2004). Fault Diversity among Off-The-Shelf SQL Database Servers. .
  29. Strigini, L., Povyakalo, A., Alberdi, E. and Ayton, P. (2003). Decision support or automation bias? A study of computer aided decision making in breast screening. Subjective Probability, Utility and Decision Making (SPUDM 2003) .
  30. 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) .
  31. Strigini, L., Povyakalo, A. and Alberdi, E. (2003). Human-Machine Diversity in the Use of Computerised Advisory Systems: A Case Study. .
  32. Alberdi, E., Povyakalo, A., Strigini, L. and Ayton, P. (2003). Does incorrect computer prompting affect human decision making? A case study in mammography. .
  33. Strigini, L., Bosio, D., Littlewood, B. and Newby, M.J. (2002). Advantages of open source processes for reliability: clarifying the issues. 25-26 February, Newcastle upon Tyne.
  34. 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.
  35. Littlewood, B., Popov, P. and Strigini, L. (2001). Design diversity: an update from research on reliability modelling. .
  36. Popov, P.T., Strigini, L., Riddle, S. and Romanovsky, A.B. (2001). On Systematic Design of Protectors for Employing OTS Items. .
  37. Littlewood, B., Popov, P.T. and Strigini, L. (2001). Modeling software design diversity. .
  38. Popov, P.T. and Strigini, L. (2001). The Reliability of Diverse Systems: A Contribution Using Modelling of the Fault Creation Process. .
  39. 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.
  40. 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.
  41. 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.
  42. Littlewood, B., Strigini, L., Wright, D., Fenton, N., Neil, M. and Courtois, P.-.J. (2000). Bayesian Belief Networks for safety assessment of computer-based systems. .
  43. Littlewood, B., Popov, P.T. and Strigini, L. (2000). Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach. .
  44. Popov, P.T., Strigini, L. and Littlewood, B. (2000). Choosing Between Fault-Tolerance and Increased V&V for Improving Reliability. .
  45. Strigini, L., Burns, A., Punnekkat, S. and Wright, D.R. (1999). Probabilistic Scheduling Guarantees for Fault-Tolerant Real-Time Systems. Seventh IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA-7) San Jose, California, USA.
  46. Bondavalli, A., Chiaradonna, S., Giandomenico, F.D. and Strigini, L. (1999). A Contribution to the Evaluation of the Reliability of Iterative-Execution Software. .
  47. Popov, P.T., Strigini, L. and Romanovsky, A.B. (1999). Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science. .
  48. 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.
  49. Bertolino, A. and Strigini, L. (1998). Assessing the Risk due to Software Faults: Estimates of Failure Rate versus Evidence of Perfection. .
  50. Sonneck, G., Schoitsch, E. and Strigini, L. (1998). A Holistic View on the Dependability of Software-Intensive Systems. .
  51. Pizza, M., Strigini, L., Bondavalli, A. and Giandomenico, F.D. (1998). Optimal Discrimination between Transient and Permanent Faults. .
  52. Pizza, M., Strigini, L., IEEE, and IEEE, (1998). Comparing the effectiveness of testing methods in improving programs: the effect of variations in program quality. .
  53. Popov, P.T. and Strigini, L. (1998). Conceptual Models for the Reliability of Diverse Systems - New Results. .
  54. Frankl, P., Hamlet, D., Littlewood, B. and Strigini, L. (1997). Choosing a testing method to deliver reliability. 19th International Conference on Software Engineering (ICSE 97) - Pulling Together 17-23 May, BOSTON, MA.
  55. Strigini, L., Delic, K.A. and Mazzanti, F. (1998). Formalising Engineering Judgement on Software Dependability via Belief Networks. Sixth IFIP International Working Conference "Can We Rely on Computers?" Mar 1997, Garmisch-Partenkirchen, Germany.
  56. Strigini, L. and Bertolino, A. (1996). Predicting Software Reliability from Testing Taking into Account Other Knowledge about a Program. Ninth International Software Quality Week (QW'96) May, San Francisco.
  57. Strigini, L. and Bertolino, A. (1996). Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results. 15th International Conference on Computer Safety, Reliability and Security (SAFECOMP 96) Vienna, Austria.
  58. Strigini, L. and Fenton, N. (1996). Rigorously assessing software reliability and safety. .
  59. Strigini, L., Bondavalli, A., Chiaradonna, S. and Di Giandomenico, F. (1995). Dependability Models for Iterative Software Considering Correlation among Successive Inputs. IEEE International Symposium on Computer Performance and Dependability (IPDS'95) Erlangen, Germany.
  60. Bertolino, A. and Strigini, L. (1995). Using Testability Measures for Dependability Assessment. .
  61. Chiaradonna, S., Bondavalli, A. and Strigini, L. (1994). On Performability Modeling and Evaluation of Software Fault Tolerant Structures. .
  62. Strigini, L. (1994). Considerations on current research issues in software safety. .
  63. Strigini, L., Bondavalli, A. and Stankovic, J. (1994). Adaptable Fault Tolerance for Real-Time Systems. 3rd International Workshop on Responsive Computer Systems Sep 1993 – Oct 1993, Lincoln, New Hampshire.
  64. Bondavalli, A., Strigini, L. and Simoncini, L. (1992). Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notations. .
  65. STRIGINI, L., BONDAVALLI, A. and SIMONCINI, L. (1992). DATA-FLOW-LIKE LANGUAGES FOR DESIGNING DEPENDABLE REAL-TIME CONTROL-SYSTEMS. .
  66. Giandomenico, F.D. and Strigini, L. (1991). Implementations and Extensions of the Conversation Concept. .
  67. Strigini, L. and Giandomenico, F.D. (1991). Flexible Schemes for Application-Level Fault Tolerance. .
  68. Bondavalli, A. and Strigini, L. (1991). DSDR: A Fair and Efficient Access Protocol for Ring-Topology MANs. .
  69. Strigini, L., Conti, M., Grandoni, F., Gregori, E. and Lenzini, L. (1990). Allocation of bandwidth in a dual-bus MANs interconnected environment. 10th International Conference on Computer Communication (ICCC'90) 5-8 November, New Delhi, India.
  70. Giandomenico, F.D. and Strigini, L. (1990). Adjudicators for Diverse-Redundant Components. .
  71. Strigini, L., Ciompi, P., Grandoni, F. and Simoncini, L. (1988). Open, dependable, distributed systems: the Delta-4 approach. 11th International Conference on Fault Tolerant Systems and Diagnostics 6-9 June, Suhl, Germany.
  72. Strigini, L. and Simoncini, L. (1988). Computers in critical environments: past mishaps and lessons to be learned. 11th International Conference on Fault Tolerant Systems and Diagnostics 6-9 June, Suhl, Germany.
  73. Albanese, A., Strigini, L. and Fratta, L. (1988). A routing strategy for interconnecting high-speed metropolitan area networks. .
  74. Strigini, L., Albanese, A. and Fratta, L. (1987). Explicit offset routing for interconnected high-speed networks. Fifth Annual European Fibre Optic Communications and Local Area Networks Exposition (EFOC/LAN-87) June, Basel, Switzerland.
  75. Strigini, L., Albanese, A. and Fratta, L. (1987). Multicast services in high-speed interconnected LANs. Workshop on High- Speed LANs February, Aachen, Germany.
  76. Strigini, L., Grandoni, F. and Lenzini, L. (1987). An algorithm for distributed management of traffic on interconnected networks. IFIP TC6 Workshop on LAN Management West Berlin.
  77. Strigini, L., Ciompi, P., Grandoni, F. and Simoncini, L. (1987). The evolution of dependable computing in Italy", in "The Evolution of Fault-Tolerant Computing. One-day Symposium on the Evolution of Fault-Tolerant Computing Baden.
  78. Strigini, L., Corsini, P. and Lopriore, L. (1985). A task-controlled memory managing system for capability-based addressing architectures. 1st IEEE International Conference on Supercomputing Systems, SCS 85 December, St. Petersburgh, Florida, USA.
  79. Strigini, L. and Avizienis, A. (1985). Software Fault-Tolerance and Design Diversity: Past Experience and Future Evolution. IFAC Workshop SAFECOMP '85 October, Como, Italy.
  80. Avizienis, A., Gunningberg, P., Kelly, J.P.J., Lyu, R.T., Strigini, L., Traverse, P.J., Tso, K.S. and Voges, U. (1985). SOFTWARE FAULT-TOLERANCE BY DESIGN DIVERSITY DEDIX: A TOOL FOR EXPERIMENTS. .
  81. Avizienis, A., Gunningberg, P., Kelly, J.P.J., Strigini, L., Traverse, P.J., Tso, K.S. and Voges, U. (1985). UCLA DEDIX SYSTEM: A DISTRIBUTED TESTBED FOR MULTIPLE-VERSION SOFTWARE. .
  82. Corsini, P., Simoncini, L. and Strigini, L. (1984). MuTEAM: A MULTIMICROPROCESSOR ARCHITECTURE WITH DECENTRALIZED FAULT TREATMENT. .
  83. Corsini, P., Simoncini, L. and Strigini, L. (1984). The architecture and the fault-treatment of MuTEAM. .
  84. Strigini, L. and Barigazzi, G. (1983). Application-transparent setting of recovery points. 13th International Symposium on Fault-Tolerant Computing June, Milan.
  85. Strigini, L. and Vergati, M.G. (1982). Development system for multiprocessors. International Meeting on Development Aids for Microprocessors October, Liegi.
  86. Corsini, P., Lopriore, L. and Strigini, L. (1982). PROPOSAL FOR FAULT-TOLERANCE IN A MULTIPROCESSOR SYSTEM. .
  87. Barigazzi, G., Ciuffoletti, A. and Strigini, L. (1982). RECONFIGURATION PROCEDURE IN A DISTRIBUTED MULTIPROCESSOR SYSTEM. .
  88. Barigazzi, G., Ciuffoletti, A. and Strigini, L. (1982). A Distributed algorithm for post-failure load redistribution. .
  89. Strigini, L., Cardini, R., Corsini, P., Frosini, G., La Manna, M. and Lopriore, L. (1981). MuTEAM: un Sistema Distribuito Multimicroprocessore. Atti Congresso Annuale AICA September.
  90. Strigini, L., Cardini, R., La Manna, M. and Lopriore, L. (1981). System Architecture and Protection Mechanism of the MuTEAM Multimicroprocessor. International Conference on Fault-Tolerant Systems and Diagnostics September, Brno, Czechoslovakia.
  91. Strigini, L., Povyakalo, A., Alberdi, E. and Ayton, P. Evaluating 'Human + Advisory computer' systems: A case study. HCI2004,18th British HCI Group Annual Conference .

Journal Articles (39)

  1. Zhao, X., Littlewood, B., Povyakalo, A., Strigini, L. and Wright, D. (2017). Modeling the probability of failure on demand (pfd) of a 1-out-of-2 system in which one channel is “quasi-perfect”. Reliability Engineering and System Safety, 158, pp. 230–245. doi:10.1016/j.ress.2016.09.002.
  2. Strigini, L. and Wright, D. (2014). Bounds on survival probability given mean probability of failure per demand; And the paradoxical advantages of uncertainty. Reliability Engineering and System Safety, 128, pp. 66–83. doi:10.1016/j.ress.2014.02.004.
  3. 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 and System Safety, 130, pp. 61–68. doi:10.1016/j.ress.2014.04.002.
  4. Povyakalo, A.A., Alberdi, E., Strigini, L. and Ayton, P. (2013). How to discriminate between computer-aided and computer-hindered decisions: a case study in mammography. Medical Decision Making, 33, pp. 98–107.
  5. Salako, K. and Strigini, L. (2013). When does "Diversity" in Development Reduce Common Failures? Insights from Probabilistic Modelling. IEEE Transactions on Dependable and Secure Computing, 99(preprints) . doi:10.1109/TDSC.2013.32.

    [publisher’s website]

  6. Strigini, L. (2012). Resilience: What Is It, and How Much Do We Want? IEEE SECURITY & PRIVACY, 10(3), pp. 72–75.
  7. Littlewood, B. and Strigini, L. (2011). “Validation of ultra-high dependability…” – 20 years on. SCSC Newsletter .
  8. Alberdi, E., Povyakalo, A.A., Strigini, L., Ayton, P. and Given-Wilson, R. (2008). CAD in mammography: Lesion-level versus case-level analysis of the effects of prompts on human decisions. International Journal of Computer Assisted Radiology and Surgery, 3(1-2), pp. 115–122.
  9. 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.
  10. Alberdi, E., Povyakalo, A.A., Strigini, L., Ayton, P., Hartswood, M., Procter, R. and Slack, R. (2005). Use of computer-aided detection (CAD) tools in screening mammography: a multidisciplinary investigation. Br J Radiol, 78 Spec No 1, pp. S31–S40. doi:10.1259/bjr/37646417.
  11. Alberdi, E., Povykalo, A., Strigini, L. and Ayton, P. (2004). Effects of incorrect computer-aided detection (CAD) output on human decision-making in mammography. Acad Radiol, 11(8), pp. 909–918.
  12. 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.
  13. Gashi, I., Popov, P.T., Stankovic, V. and Strigini, L. (2003). On Designing Dependable Services with Diverse Off-the-Shelf SQL Servers. WADS, 3069, pp. 191–214. doi:10.1007/978-3-540-25939-8_9.

    [publisher’s website]

  14. 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.
  15. Bloomfield, R., Courtois, P.-.J., Littlewood, B., Strigini, L., Yih, S. and Fan, C.-.F. (2002). Letter to the editor [1] (multiple letters). Nuclear Engineering International, 47(570), pp. 11–11.
  16. Bloomfield, R., Courtois, P.J., Littlewood, B. and Strigini, L. (2002). Search for the Unnecessary. NUCL ENG INT, 47(570), pp. 11–11.
  17. Burns, A., Prasad, D., Bondavalli, A., Giandomenico, F.D., Ramamritham, K., Stankovic, J.A. and Strigini, L. (2000). The meaning and role of value in scheduling flexible real-time systems. Journal of Systems Architecture, 46, pp. 305–325. doi:10.1016/S1383-7621(99)00008-9.
  18. 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.
  19. 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.
  20. Littlewood, B., Fenton, N., Neil, M., Strigini, L., Sutcliffe, A. and Wright, D. (1998). Assessing dependability of safety-critical systems using diverse evidence. IEE Proceedings - Software Engineering, 145(1), pp. 35–39.
  21. Frankl, P.G., Hamlet, R.G., Littlewood, B. and Strigini, L. (1998). Evaluating Testing Methods by Delivered Reliability. IEEE Trans. Software Eng., 24, pp. 586–601. doi:10.1109/32.707695.
  22. Strigini, L., Giandomenico, F.D. and Romanovsky, A.B. (1997). Coordinated Backward Recovery between Client Processes and Data Servers. IEE Proceedings on Software Engineering, 1(2), pp. 134–146.
  23. Strigini, L. (1996). On Testing Process Control Software for Reliability Assessment: the Effects of Correlation between Successive Failures. Softw. Test., Verif. Reliab., 6, pp. 33–48. doi:10.1002/(SICI)1099-1689(199603)6:13.0.CO;2-G.
  24. Strigini, L. (1996). Limiting the Dangers of Intuitive Decision Making. IEEE Software, 13, pp. 101–103. doi:10.1109/52.476293.
  25. Bertolino, A. and Strigini, L. (1996). On the Use of Testability Measures for Dependability Assessment. IEEE Trans. Software Eng., 22, pp. 97–108. doi:10.1109/32.485220.
  26. Romanovsky, A. and Strigini, L. (1995). Backward error recovery via conversations in Ada. Software engineering journal, 10(6), pp. 219–232.
  27. STRIGINI, L. and BERTOLINO, A. (1995). THE FLIP SIDE OF DESIGNING FOR TESTABILITY. IEEE SOFTWARE, 12(5), pp. 12–13.
  28. Littlewood, B. and Strigini, L. (1993). Validation of Ultrahigh Dependability for Software-Based Systems. Commun. ACM, 36, pp. 69–80. doi:10.1145/163359.163373.
  29. LITTLEWOOD, B. and STRIGINI, L. (1992). THE RISKS OF SOFTWARE. SCI AM, 267(5), pp. 38–43.
  30. Bondavalli, A., Strigini, L. and Sereno, M. (1992). Destination Stripping Dual Ring: A New Protocol for MANs. Computer Networks and ISDN Systems, 24, pp. 15–32. doi:10.1016/0169-7552(92)90101-U.
  31. Strigini, L. (1991). Comments on 'Resourceful Systems for Fault Tolerance, Reliability and Safety. ACM Computing Surveys, Surveyor's Forum, 23(3), pp. 407–409.
  32. Strigini, L., Conti, M., Grandoni, F., Gregori, E. and Lenzini, L. (1991). Interconnection of Dual Bus MANs: Architecture and Algorithms for Bandwidth Allocation. Internetworking: Research and Experience, 2, pp. 1–22.
  33. Bondavalli, A., Conti, M., Gregori, E., Lenzini, L. and Strigini, L. (1989). MAC Protocols for High-Speed MANs: Performance Comparisons for a Family of Fasnet-Based Protocols. Computer Networks and ISDN Systems, 18, pp. 97–113. doi:10.1016/0169-7552(90)90138-I.
  34. Strigini, L. (1987). Comments on Workshop on Reliability Modelling of Fault-tolerant Software. Software Reliability and Metrics Newsletter, (5), pp. 5–6.
  35. Strigini, L., Ciompi, P., Nikolov, A. and Simoncini, L. (1987). Performance Evaluation of Multimicroprocessor System with Cluster Organization. Problems of Engineering, Cybernetics and Robotics, 27, pp. 61–67.
  36. Strigini, L., Briatico, D., Ciuffoletti, A. and Simoncini, L. (1985). An Implementation of Error Detection and Fault Treatment for the MuTEAM Prototype. IEEE Distributed Processing Technical Committee Newsletter pp. 97–104.
  37. Strigini, L., Corsini, P. and Simoncini, L. (1985). The MuTeam Distributed Multiprocessor Architecture. IEEE Computer Architecture Technical Committee Newsletter pp. 97–104.
  38. Corsini, P., Lopriore, L. and Strigini, L. (1983). FAIL-SAFENESS IN A MULTIPROCESSOR SYSTEM. A DISTRIBUTED STRATEGY BASED ON BACKWARD ERROR RECOVERY. Software & microsystems, 2(6), pp. 147–156.
  39. Barigazzi, G. and Strigini, L. (1983). APPLICATION-TRANSPARENT SETTING OF RECOVERY POINTS. Digest of Papers - FTCS (Fault-Tolerant Computing Symposium) pp. 48–55.

Reports (7)

  1. Wright, D. and Strigini, L. (2012). Bounds on survival probability given mean probability of failure per demand; and the paradoxical advantages of uncertainty. London, UK: City University London.
  2. Stankovic, V. and Strigini, L. (2009). A survey on online monitoring approaches of computer-based systems..
  3. Strigini, L. and Littlewood, B. (2000). A discussion of practices for enhancing diversity in software designs..
  4. Littlewood, B., Strigini, L. and Wright, D. (1998). Examination of Bayesian belief network for safety
    assessment of nuclear computer-based systems.
    .
  5. Strigini, L. and Littlewood, B. (1997). Guidelines for Statistical Testing..
  6. Fenton, N.E., Littlewood, B., Neil, M., Strigini, L., Wright, D.R. and Courtois, P.J. (1997). Bayesian belief network model for the safety
    assessment of nuclear computer-based Systems.
    Brussels: DeVa ESPRIT Long Term Research Project.
  7. Strigini, L. (1994). Engineering judgement in reliability and safety and its limits: what can we learn from research in psychology?.

Find us

City, University of London

Northampton Square

London EC1V 0HB

United Kingdom

Back to top

City, University of London is an independent member institution of the University of London. Established by Royal Charter in 1836, the University of London consists of 18 independent member institutions with outstanding global reputations and several prestigious central academic bodies and activities.