This list is no longer maintained. For recent publications, please refer to the self-archiving site at City, University of London, or to the list at dblp.

Lorenzo Strigini: list of publications

Journal articles

Items in newsletters and journals without formal review process, letters, columns

Conference proceedings

Book chapters

Some unpublished technical reports


Journal articles


[R83] Corsini, P., L. Lopriore, L. Strigini, "Fail-safeness in a multiprocessor system. A distributed strategy based on backward error recovery", Software and Microsystems, Vol. 2, No. 6, Dec. 1983, pp. 147-156.
[R84] Ciompi, P., A. Nikolov, L. Simoncini, L. Strigini, "Performance Evaluation of Multimicroprocessor System with Cluster Organization", Proc. 2nd IASTED International Symposium Applied Informatics AI '84, Innsbruck, Feb. 1984; also in Problems of Engineering, Cybernetics and Robotics, Bulgarian Academy of Sciences, Sofia, Vol. 27, 1987, pp. 61-67.
[R90a] A. Bondavalli, M. Conti, E. Gregori, L. Lenzini, L. Strigini, "MAC protocols for high-speed MANs: Performance Comparisons for a Family of Fasnet-based Protocols", Computer Networks and ISDN Systems, Vol. 18. No.2, February 1990, pp. 97-113.
[R91a] M. Conti, F. Grandoni, E. Gregori, L. Lenzini, L. Strigini, "Interconnection of Dual Bus MANs: Architecture and Algorithms for Bandwidth Allocation", Internetworking: Research and Experience, Vol.2, pp. 1-22, 1991.
[R92a] A. Bondavalli, L. Strigini, M. Sereno, "Destination Stripping Dual Ring: a new protocol for MANs", Computer Networks and ISDN Systems, Vol. 24, No. 1, 1992, pp. 15-32.
[R92b] B. Littlewood, L. Strigini, "The Risks of software", Scientific American, Vol 267, No 5, November 1992, pp. 38-43.
[R93] B. Littlewood, L. Strigini, "Validation of Ultra-High Dependability for Software-based Systems", Communications of the ACM, Vol. 36, No. 11, November 1993, pp. 69-80.
[R94] Lorenzo Strigini, " Considerations on current research issues in software safety", Reliability Engineering and System Safety, Vol. 43, No 2, 1994, pp. 177-188.
[R95] A. Romanovsky and L. Strigini, "Backward error recovery via conversations in Ada", Software Engineering Journal, Vol. 10, No 6, November 1995, pp. 219-232.
[R96a] Antonia Bertolino, Lorenzo Strigini, "On the use of testability measures for dependability assessment", IEEE Transactions on Software Engineering, Vol. 22, No. 2, February 1996.
[R96b] Lorenzo Strigini, "On testing process control software for reliability assessment: the effects of correlation between successive failures", Software Testing Verification and Reliability, Vol. 6, No 1, pp. 36-48, 1996.
[R97a] Lorenzo Strigini, Felicita Di Giandomenico and Alexander Romanovsky, Coordinated Backward Recovery between Client Processes and Data Servers, IEE Proceedings on Software Engineeering, Vol. 1, No. 2, April 1997, pp. 134-146.
[R98a] P. Frankl, D. Hamlet, B. Littlewood and L. Strigini, "Evaluating testing methods by delivered reliability", IEEE Transactions on Software Engineering, 24 (8), pp. 586-601, 1998.
[R98b] N. Fenton, B. Littlewood, M. Neil, L. Strigini, A. Sutcliffe and D. Wright, "Assessing Dependability of Safety Critical Systems using Diverse Evidence", IEE Proceedings on Software Engineeering, Vol. 145, No 1, February 1998, pp. 35-39.
[R98c] A. Bertolino and L. Strigini, "Assessing the risk due to software faults: estimates of failure rate vs evidence of perfection", Software Testing, Verification and Reliability, 8 (3) 1998, pp. 155-166.
[R99a] Bondavalli, A., Chiaradonna, S., Di Giandomenico, F. and Strigini, L., "A Contribution to the Evaluation of the Reliability of Iterative-Execution Software", Software Testing, Verification and Reliability, vol. 9, no. 3, pp. 145-166, 1999.
[R99b] B. Littlewood, P. Popov and L. Strigini, "A note on reliability estimation of functionally diverse systems", Reliability Engineering and System Safety, Vol 66, 1999, pp. 93-95.
[R00a] Burns, A., Prasad, D., Bondavalli, A., Di Giandomenico, F., Ramamritham, K., Stankovic, J. and Strigini, L., "The Meaning and Role of Value in Scheduling Flexible Real-Time Systems", Journal of Systems Architecture, vol. 46, no. 4, pp. 305-325, 2000.
[R00b] B. Littlewood, P. Popov, L. Strigini and N. Shryane, "Modelling the effects of combining diverse software fault removal techniques", IEEE Transactions on Software Engineering, vol. SE-26, no. 12, 2000, pp. 1157-1167.
[R01a] B. Littlewood, P. Popov and L. Strigini, Modelling software design diversity - a review, ACM Computing Surveys, vol. 33, no. 2, 2001, pp. 177 - 208.
[R02a] B. Littlewood, P. Popov and L. Strigini, "Assessing the Reliability of Diverse Fault-Tolerant Software-Based Systems", Safety Science, vol. 40, 2002, pp. 781-796.
[R03a] P. Popov, L. Strigini, J. May and S. Kuball, "Estimating Bounds on the Reliability of Diverse Systems", IEEE Transactions on Software Engineering, vol. 29, no. 4, 2003, pp. 345-359.
[R04a] E. Alberdi, A. Povyakalo, L. Strigini and P. Ayton, "Effects of Incorrect CAD Output on Human Decision Making in Mammography", Academic Radiology, vol. 11, no. 8, 2004, pp.909-918. (recipient of the 2005 Herbert M. Stauffer Award for the "Best Clinical Paper" from the Association of University Radiologists)
[R05a] E. Alberdi, A.A. Povyakalo, L. Strigini, P. Ayton, M. Hartswood, R. Procter, R. Slack, "Use of computer-aided detection (CAD) tools in screening mammography: a multidisciplinary investigation", British Journal of Radiology, vol. 78, 2005, pp.S31-S40.
[R07a] I. Gashi, P. Popov, and L. Strigini, "Fault Tolerance via Diversity for Off-The-Shelf Products: a Study with SQL Database Servers," IEEE Transaction on Dependable and Secure Computing, vol. 4, pp. 280-294, 2007.
[R08a] E. Alberdi, P. Ayton, A. Povyakalo, and L. Strigini, "CAD in mammography: lesion-level vs. case-level analysis of the effects of prompts on human decisions," International Journal of Computer Assisted Radiology and Surgery, vol. 3, pp. 115-122, 2008.
[R12b] Alberdi, E., Povyakalo, A., Strigini, L., & Ayton, P., "How to discriminate between computer-aided and computer-hindered decisions: a case study in mammography", Medical Decision Making, to appear.

Return to the top of this page

Items in newsletters and journals without formal review process, letters, columns


[R85a] P. Corsini, L. Simoncini, L. Strigini, "The MuTeam Distributed Multiprocessor Architecture", IEEE Computer Architecture Technical Committee Newsletter, June 1985, pp. 97-104.
[R85b] Briatico, D., A. Ciuffoletti, L. Simoncini, L. Strigini, "An Implementation of Error Detection and Fault Treatment for the MuTEAM Prototype", IEEE Distributed Processing Technical Committee Newsletter, October 1985, pp. 97-104.
[R87] L. Strigini, "Comments on Workshop on Reliability Modelling of Fault-tolerant Software", Software Reliability and Metrics Newsletter, No 5, March 1987, Center for Software Reliability - Alvey Club, pp. 5-6.
[R91b] L. Strigini, "Comments on 'Resourceful Systems for Fault Tolerance, Reliability and Safety'", ACM Computing Surveys, Surveyor's Forum, Vol. 23, No. 3, September 1991, pp. 407-409.
[R95c] Antonia Bertolino, L. Strigini, "The flip side of testability", IEEE Software, Letters, Sept. 95.
[R96c] L. Strigini, "Limiting the Dangers of Intuitive Judgment in Decision Making", IEEE Software, Quality Time column, January 1996, pp. 101-103.
[R02b] P.-J. Courtois, R. Bloomfield, B. Littlewood and L. Strigini, "Search for the Unnecessary", Letter to the Editor, Nuclear Engineering International, vol. 47, no. 570, 2002, p 11.
[R11a] B. Littlewood and L. Strigini. "Validation of ultra-high dependability..." - 20 years on, Safety Systems, Newsletter of the Safety-Critical Systems Club, 2011. [R12a] Strigini, L., "Resilience: What Is It, and How Much Do We Want?", IEEE Security & Privacy, 10(3), 2012, pp 72-75.
Return to the top of this page

Conference proceedings


[C81a] Cardini, R., M. La Manna, L. Lopriore, L. Strigini, "System Architecture and Protection Mechanism of the MuTEAM Multimicroprocessor", Proceedings of the International Conference on Fault-Tolerant Systems and Diagnostics, Brno, September 1981, pp. 32-36.
[C81b] Cardini, R., P. Corsini, G. Frosini, M. La Manna, L. Lopriore, L. Strigini, "MuTEAM: un Sistema Distribuito Multimicroprocessore", Atti Congresso Annuale AICA 1981, Pavia, September 1981, pp. 565-570.
[C82a] Barigazzi, G., A. Ciuffoletti, L. Strigini, "A Distributed Algorithm for Post-failure Load Redistribution", Proceedings 3rd Internat. Conference on Distributed Computing Systems, Miami/Ft. Lauderdale (Florida), October 1982, pp. 71-76.
[C82b] Barigazzi, G., A. Ciuffoletti, L. Strigini, "Reconfiguration Procedure in a Distributed Multiprocessor System", Proceedings 12th International Symposium on Fault-Tolerant Computing, Santa Monica, June 1982, pp. 73-80.
[C82c] Corsini, P., L. Lopriore, L. Strigini, " A Proposal for Fault-Tolerance in a Multiprocessor System", Proceedings of the 20th Annual Allerton Conference on Communication, Control and Computing, Monticello, Illinois, USA, October 1982, pp. 998-1007.
[C82d] Strigini, L., M. G. Vergati, "Development system for multiprocessors", Proceedings International Meeting on Development Aids for Microprocessors, Liegi, October 1982.
[C83] Barigazzi, G., L. Strigini, "Application-transparent setting of recovery points", Proceedings 13-th International Symposium on Fault-Tolerant Computing, Milano, June 1983.
[C84a] Corsini, P., L. Simoncini, L. Strigini, "MuTEAM: A Multiprocessor Architecture with Decentralized Fault Treatment", Proceedings 17th Annual Hawaii Conference on System Sciences, January 1984, pp. 206-213.
[C84b] Corsini, P., L. Simoncini, L. Strigini, "The Architecture and the Fault Treatment of MuTEAM", Proc. 2nd GI/NTG/GMR Conference on Fault-Tolerant Computing Systems, Informatik-Fachberichte, Vol. 84, Springer-Verlag, Berlin 1984, pp. 1-13.
[C85a] A. Avizienis, P. Gunningberg, J.P.J. Kelly, L. Strigini, P.J. Traverse, K.S. Tso, "The UCLA DeDiX (Design Diversity Experiment) System: A Distributed Testbed for Multiple-Version Software, Proc. 15th International Symposium on Fault-Tolerant Computing, Ann Arbor, June 1985, pp. 126-134.
[C85b] Avizienis, A., P. Gunningberg, J.P.J. Kelly, L. Strigini, P.J. Traverse, K.S. Tso, "Software Fault-Tolerance by Design Diversity. DeDiX: A Tool for Experiments", Proc. IFAC Workshop SAFECOMP '85, Como, October 1985, pp. 173-178.
[C85c] Strigini, L. and A. Avizienis, "Software Fault-Tolerance and Design Diversity: Past Experience and Future Evolution", Proc. IFAC Workshop SAFECOMP '85, Como, Oct. 1985, pp. 167-172.
[C85d] Corsini, P., L. Lopriore, L. Strigini, "A task-controlled memory managing system for capability-based addressing architectures", Proc. 1st IEEE International Conference on Supercomputing Systems, SCS 85, St. Petersburgh, Florida, USA, December 1985, pp. 575-582.
[C87a] F.Grandoni, L. Lenzini, L. Strigini, "An algorithm for distributed management of traffic on interconnected networks", Proc. IFIP TC6 Workshop on LAN Management, Berlino Ovest, July 1987, North-Holland, Amsterdam 1988, pp. 47-69.
[C87b] Strigini, L., A. Albanese, L. Fratta, "Explicit offset routing for interconnected high-speed networks", Proceedings EFOC/LAN-87, Fifth Annual European Fibre Optic Communications and Local Area Networks Exposition, Basel, Switzerland, June 1987, pp. 267-270.
[C87c] Strigini, L., A. Albanese, L. Fratta, "Multicast services in high-speed interconnected LANs", Proc. 1987 Workshop on High- Speed LANs, Aachen, Germany, Feb. 1987, North-Holland, Amsterdam 1987, pp. 173-176.
[C87d] P. Ciompi, F. Grandoni, L. Simoncini, L. Strigini, "The evolution of dependable computing in Italy", in "The Evolution of Fault-Tolerant Computing", Proceedings of the One-day Symposium on the Evolution of Fault-Tolerant Computing, Baden, 1986, edited by A. Avizienis, H. Kopetz, J.C. Laprie, Springer-Verlag Dependable Computing and Fault-Tolerant Systems series, Vol. 1, Springer-Verlag, Wien-New York 1987, pp. 205-228.
[C88a] L. Simoncini, L. Strigini, "Computers in critical environments: past mishaps and lessons to be learned", Proc. 11th International Conference on Fault Tolerant Systems and Diagnostics, Suhl, 6-9 June 1988, Akademie der Wissenschaften der DDR, Institut fuer Informatik und Rechentechnik, Berlin 1988, pp. 54-62.
[C88b] P. Ciompi, F. Grandoni, L. Simoncini, L. Strigini, "Open, dependable, distributed systems: the Delta-4 approach", Proc. 11th International Conference on Fault Tolerant Systems and Diagnostics, Suhl, 6-9 June 1988, Akademie der Wissenschaften der DDR, Institut fuer Informatik und Rechentechnik, Berlin 1988, pag. 362-367.
[C88c] Strigini, L., A. Albanese, L. Fratta, "A routing strategy for interconnecting high-speed metropolitan area networks", Proc. 9th International Conference on Computer Communication, Tel Aviv, Israel, Ott. 1988, pp. 303-309.
[C90a] F. Di Giandomenico, L. Strigini, "Adjudicators for diverse redundant components", Proc. IEEE 9th Symposium on Reliable Distributed Systems, Huntsville, Alabama, October 1990, pp. 114-123.
[C90b] M. Conti, F. Grandoni, E. Gregori, L. Lenzini, L. Strigini, "Allocation of bandwidth in a dual-bus MANs interconnected environment", Proc. ICCC '90, 10th International Conference on Computer Communication, 5-8 November 1990, New Delhi, India.
[C91a] A. Bondavalli, L. Strigini, "DSDR: A Fair and Efficient Access protocol for Ring-topology MANs", IEEE INFOCOM '91, Miami, April 1991, pp. 1022-1030.
[C91b] F. Di Giandomenico, L. Strigini, "Implementations and extensions of the conversation concept", Proceedings 5-th GI/ITG/GMA International Conference on Fault-Tolerant Computing Systems, Tests, Diagnosis, Fault Treatment, Nurenberg, Germany, September 1991, Springer-Verlag, Informatik-Fachberichte, No283, pp. 42-53.
[C91c] L. Strigini, F. Di Giandomenico, "Flexible schemes for application-level fault tolerance", Proceedings IEEE 10-th Symposium on Reliable Distributed Systems, Pisa, September-October 1991, pp. 86-95.
[C91d] L. Strigini, A. Bondavalli, L. Simoncini, "Dataflow-like languages for designing dependable real-time control systems", Proc. 10th IFAC Workshop on Distributed Computer Control Systems, "Towards Distributed Real-Time Systems with Predictable Timing Properties", September.1991, Semmering, Austria, Pergamon Press, pp. 131-136.
[C92] Andrea Bondavalli, Lorenzo Strigini, Luca Simoncini, "Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notation", IEEE 11th Symposium on Reliable Distributed Systems, October 1992.
[C93] Bondavalli, A., J. Stankovic, L. Strigini, "Adaptable Fault Tolerance for Real-Time Systems", Proc. 3rd International Workshop on Responsive Computer Systems, Lincoln, New Hampshire, September-October 1993, Kluwer Academic Publishers, 1994, pp. 123-132.
[C94] S. Chiaradonna, A. Bondavalli and L. Strigini. "On Performability Modeling and Evaluation of Software Fault Tolerance Structures", in Proc. First European Dependable Computing Conference (EDCC- 1 ), Berlino, Germany, October 1994, pp. 97-114.
[C95a] A. Bertolino, L. Strigini, "Using Testability Measures for Dependability Assessment", Proc. of the ACM/IEEE 17th International Conference on Software Engineering ICSE 17, Seattle, USA, April 23-30, 1995, pp. 61-70.
[C95b] Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Lorenzo Strigini, "Dependability Models for Iterative Software Considering Correlation among Successive Inputs", Proc. IPDS '95, IEEE International Symposium on Computer Performance and Dependability, Erlangen, Germany, 1995, pp. 13-21.
[C96a] Lorenzo Strigini and Norman Fenton, "Rigorously Assessing Software Reliability and Safety", in Proc. ESA Software Product Assurance Workshop, Nordvjik, the Netherlands, March 1996, pp. 193-198.
[C96b] Antonia Bertolino, Lorenzo Strigini, "Predicting Software Reliability from Testing Taking into Account Other Knowledge about a Program", Proc. Ninth International Software Quality Week (QW'96), San Francisco, May 1996.
[C96c] Antonia Bertolino, Lorenzo Strigini, "Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results", in Proc. SAFECOMP 96, 15th International Conference on Computer Safety, Reliability and Security, Vienna, Austria, 1996, pp. 83-94.
[C97a] K. A. Delic, F. Mazzanti and L. Strigini, "Formalising Engineering Judgement on Software Dependability via Belief Networks", in Dependable Computing for Critical Applications, Proc. DCCA-6, Sixth IFIP International Working Conference "Can We Rely on Computers?", Garmisch-Partenkirchen, Germany, March 1997, IEEE Computer Society Press 1998, pp. 291-305.
[C97b] P. Frankl, D. Hamlet, B. Littlewood and L. Strigini, "Choosing a Testing Method to Deliver Reliability", in Proc. 19th International Conference on Software Engineering (ICSE'97), pp. 68-78, 1997.
[C98a] P. Popov and L. Strigini. "Conceptual models for the reliability of diverse systems - new results", in Proc. FTCS-28, 28-th International Symposium on Fault-Tolerant Computing, Munich, Germany, IEEE Computer Society, June 1998, pp 80-89.
[C98b] P. Popov, L. Strigini and M. Pizza, "The efficacy of diverse redundancy against design error: some practical considerations", Third International Conference on Control and Instrumentation in Nuclear Installations, Edinburgh, U.K., May 1998.
[C98c] G. Sonneck, E. Schoitsch and L. Strigini, "A Holistic View on the Dependability of Software-Intensive Systems", in Proc. 17th International Conference on Computer Safety, Reliability and Security SAFECOMP '98, Heidelberg, Germany, 1988, Springer, pp. 369-379.
[C98d] M. Pizza and L. Strigini, "Comparing the effectiveness of testing methods in improving programs: the effect of variations in program quality", in Proc. of the Ninth International Symposium on Software Reliability Engineering, ISSRE '98, Paderborn, Germany, pp. 144-153, 1998.
[C98e] M. Pizza, L. Strigini, A. Bondavalli and F. Di Giandomenico. Optimal Discrimination between Transient and Permanent Faults, 3rd IEEE High-Assurance Systems Engineering Symposium (HASE'98), Washington, DC, USA, IEEE Computer Society Press, 1998, pp. 214-223.
[C99a] A. Burns, S. Punnekkat, L. Strigini and D. R. Wright, "Probabilistic Scheduling Guarantees for Fault-Tolerant Real-Time Systems", Proc. Seventh IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA-7), (San Jose, California, USA), 1999.
[C99b] Courtois, P.-J., Littlewood, B., Strigini, L., Wright, D., Fenton, N. and Neil, M. "Bayesian Belief Networks for Safety Assessment of Computer-based Systems", in "System Performance Evaluation: Methodologies and Applications" (E. Gelenbe, Ed.), pp. 349-363, CRC Press, 2000.
[C99c] Popov, P., Strigini, L. and Romanovsky, A. "Choosing effective methods for design diversity - how to progress from intuition to science", Proc.SAFECOMP '99, 18th International Conference on Computer Safety, Reliability and Security, Toulouse, France, Springer, 1999, pp. 272-285.
[C00a] Littlewood, B., Popov, P. and Strigini, L. "N-version design Versus one Good Version", Proc.International Conference on Dependable Systems & Networks (FTCS-30, DCCA-8) - Fast Abstracts, New York, USA, 2000, pp. B42-B43.
[C00b] Popov, P., Strigini, L. and Romanovsky, A. "Diversity for off-the-Shelf Components", Proc.International Conference on Dependable Systems & Networks (FTCS-30, DCCA-8) - Fast Abstracts, New York, NY, USA, 2000, pp. B60-B61.
[C00c] Popov, P., Strigini, L. and Littlewood, B. "Choosing between Fault-Tolerance and Increased V&V for Improving Reliability", Proc.International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000), Monte Carlo Resort, Las Vegas, Nevada, USA, CSREA Press, 2000.
[C00d] Littlewood, B., Popov, P. and Strigini, L. "Assessment of the Reliability of Fault-Tolerant Software: a Bayesian Approach", Proc.19th International Conference on Computer Safety, Reliability and Security, SAFECOMP'2000, Rotterdam, the Netherlands, Springer, 2000.
[C00e] Littlewood, B., Popov, P. and Strigini, L. "Assessing the Reliability of Diverse Fault-Tolerant Systems", Proc.INucE International Conference on Control and Instrumentation in Nuclear Installations, Bristol, U.K., 2000.
[C01a] Littlewood, B., Popov, P. and Strigini, L. "Design Diversity: an Update from Research on Reliability Modelling", Proc.Safety-Critical Systems Symposium 2001, Bristol, U.K., Springer, 2001.
[C01b] P. Popov and L. Strigini. The Reliability of Diverse Systems: a Contribution using Modelling of the Fault Creation Process, DSN 2001 - The International Conference on Dependable Systems and Networks, Goteborg, Sweden, 2001.
[C01c] P. Popov, L. Strigini, S. Riddle and A. Romanovsky. "On Systematic Design of Protectors for Employing OTS Items", 27th Euromicro Conference, Workshop on Component-Based Software Engineering, Warsaw, Poland, 2001, pp. 22-29. 2001.
[C01d] P. Popov, L. Strigini, S. Riddle and A. Romanovsky. Protective Wrapping of OTS Components, 4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction, Toronto, 2001.
[C02a] D. Bosio, B. Littlewood, M.J. Newby and L. Strigini. Advantages of open source processes for reliability: clarifying the issues, Presented at Workshop on Open Source Software Development, Newcastle upon Tyne, February, 2002.
[C03a] P. Popov and L. Strigini. "Diversity with Off-The-Shelf Components: A Study with SQL Database Servers", International Conference on Dependable Systems and Networks (DSN 2003) - Fast Abstracts supplement, 2003, pp. B84-B85.
[C03b] L. Strigini, A. Povyakalo and E. Alberdi. "Human-machine diversity in the use of computerised advisory systems: a case study", DSN 2003 - IEEE International Conference on Dependable Systems and Networks, San Francisco, U.S.A., 2003, pp. 249-258.
[C03c] L. Strigini, A. Povyakalo, E. Alberdi and P. Ayton. Does incorrect computer prompting affect human decision making? A case study in mammography, CARS 2003: Computer Assisted Radiology and Surgery, 2003, pp. 938-943.
[C03d] L. Strigini, A. Povyakalo, E. Alberdi and P. Ayton, "Decision support or automation bias? A study of computer aided decision making in breast screening", SPUDM 2003 (Subjective Probability, Utility and Decision Making), 2003.
[C04a] P. Popov, L. Strigini, A. Kostov, V. Mollov and D. Selensky, "Software Fault-Tolerance with Off-the-Shelf SQL Servers", Proc. 3rd International Conference on Component-Based Software Systems (ICCBSS'04), 2-4 Feb. 2004, Redondo Beach, CA, U.S.A., pp. 117-126, Springer, 2004.
[C04b] Gashi I., Popov P., Strigini L. Fault diversity among off-the-shelf SQL database servers, Proc. 2004 International Conference on Dependable Systems and Networks (DSN 2004), Florence, Italy, June-July 2004, pp. 389-398.
[C04c] B. Littlewood and L. Strigini, "Redundancy and diversity in security", Proc. ESORICS 2004, 9th European Symposium on Research in Computer Security, Sophia Antipolis, France, September, pp. 423-438, Springer-Verlag, Lecture Notes in Computer Science 3193, 2004.
[C04d] L. Strigini. "Formalism and judgement in assurance cases", Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities, held at DSN 2004, International Conference on Dependable Systems and Networks, Florence, Italy, June 2004.
[C04e] Povyakalo. AA, Alberdi. E, Strigini. L, Ayton. P, "Evaluating 'Human + Advisory computer' systems: A case study", Proceedings of HCI2004,18th British HCI Group Annual Conf., (Dearden. A, Watts. L, Eds.), Vol. 2, pp. 93-96, British HCI Group, 2004.
[C05a] M.J.P. van der Meulen, S. Riddle, L. Strigini, N. Jefferson. "Protective Wrapping of Off-the-Shelf Components", 4th International Conference on COTS-Based Software Systems (ICCBSS '05), Bilbao, Spain, Springer, February 2005, pp. 168-177.
[C05b] M.J.P. van der Meulen, L. Strigini, M.A. Revilla. "On the Effectiveness of Run-Time Checks", 24th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2005), Norway, September 2005, pp. 151-164.
[C05c] E. Alberdi, P. Ayton, A. A. Povyakalo, L. Strigini, "Automation bias and system design: a case study in a medical application", Proc. IEE People & Systems Symposium, London, November, 2005.
[C05c] Alberdi, E, Povyakalo, AA, Strigini, L, Ayton, P. Automation bias in medical decision making: A study of unreliable computer advice in breast cancer screening. Proc. 27th Annual Meeting of the Society for Medical Decision Making (SMDM05), San Francisco, October, 2005.
[C06a] J. Bryans, B. Littlewood, P. Ryan and L. Strigini, "E-voting: Dependability Requirements and Design for Dependability", Workshop on Dependability and Security in e-Government (DeSeGov 2006), at First International Conference on Availability, Reliability and Security, ARES 2006, pp. 988-995, IEEE Computer Society Press, Vienna, Austria, 2006.
[C08a] P. Palanque, M. Winckler, R. Bernhaupt, E. Alberdi, L. Strigini, and P. Ryan, "AROVE-v: Assessing the resilience of open verifiable E-voting systems", presented at 7th European Dependable Computing Conference, EDCC 2008 (Fast Abstracts), Kaunas, Lithuania, 2008.
[C09a] E. Alberdi, L. Strigini, K. Leach, P. Ryan, P. Palanque, and M. Winckler, "Gaining assurance in a voter-verifiable voting system", DEPEND 2009, Athens, Greece, 2009.
[C09b] E. Alberdi, L. Strigini, A. A. Povyakalo, and P. Ayton, "Why are people's decisions sometimes worse with computer support?", SAFECOMP 2009, The 28th International Conference on Computer Safety, Reliability and Security, Hamburg, Germany, 2009, Springer LNCS 5775, pp. 18-31.
[C10a] P. Popov and L. Strigini. "Assessing asymmetric fault-tolerant software", 21st International Symposium on Software Reliability Engineering (ISSRE 2010), San Jose, California, USA, IEEE Computer Society Press, 2010, pp. 41-50.
[C12a] Strigini, L., Popov, P., & Stankovic, V., "An Empirical Study of the Effectiveness of 'Forcing Diversity' Based on a Large Population of Diverse Programs", to appear, ISSRE 2012, International Symposium on Software Reliability Engineering. Dallas, Texas, USA, 2012.
[C12b] P. Ayton, E. Alberdi, L. Strigini, D. Wright, "Better the devil you don't know: preference for predictable or uncertain probabilities and the risk of failure, Society for Judgment & Decision Making (SJDM) Conference, Minneapolis, 2012.

Return to the top of this page

Book chapters


[L83] F. Baiardi, G. Cioffi, P. Corsini, G. Frosini, F. Grandoni, L. Simoncini, L. Strigini, A. Tomasi, M. Vanneschi, "The MuTEAM System", in "The MuTEAM experience in designing distributed systems of microprocessors", Progetto Finalizzato Informatica, Consiglio Nazionale delle Ricerche, Obiettivo MUMICRO, Bologna 1983, pp. 13-23.
[L83b] P. Maltinti, M. Neri, L. Strigini, "Specifiche di massima per un meccanismo a transazioni atomiche per doppio nodo MARA", in "Tecniche di tolleranza ai guasti per MARA", Progetto Finalizzato Informatica, Consiglio Nazionale delle Ricerche, Obiettivo MUMICRO, Bologna 1983, pp. 131-163.
[L88] F.Grandoni, L. Strigini, "Prospective Developments - Software Fault-Tolerance", in "Delta-4 Overall System Specification, Issue 2", Delta-4 Project Consortium, Echirolles, France, 1988.
[L91] P. Ciompi, F. Grandoni, L. Strigini, "Software-Fault Tolerance", in D. Powell (Ed.),"Delta-4: A Generic Architecture for Dependable Distributed Computing", Springer-Verlag Research Reports ESPRIT, Project 818-2252 Delta-4 Vol. 1, 1991, pp. 351-369.
[L95a] A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, L. Strigini, "Rational Design of Multiple-Redundant Systems: Adjudication and Fault Treatment", in B. Randell, J,-C. Laprie, H. Kopetz, B. Littlewood (Eds.), Predictably Dependable Computing Systems, Esprit Basic Research Series, Springer 1995, pp. 141-153.
[L95b] B. Littlewood, L. Strigini, "Validation of Ultra-High Dependability for Software-Based Systems", in B. Randell, J,-C. Laprie, H. Kopetz, B. Littlewood (Eds.), Predictably Dependable Computing Systems, Esprit Basic Research Series, Springer 1995, pp. 473-493.
[L95c] A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, L. Strigini, "Dependability Analysis of Iterative Fault-Tolerant Software Considering Correlation", in B. Randell, J,-C. Laprie, H. Kopetz, B. Littlewood (Eds.), Predictably Dependable Computing Systems, Esprit Basic Research Series, Springer 1995, pp. 459-471.
[L00] Littlewood, B. and Strigini, L. "Software Reliability and Dependability: a Roadmap", in "The Future of Software Engineering - State of the Art Reports given at the 22nd Int. Conf. on Software Engineering, Limerick, June 2000" (A. Finkelstein, Ed.), pp. 177-188, ACM Press, 2000.
[L04] Gashi I., Popov P., Stankovic V., Strigini L. , "On Designing Dependable Services with Diverse Off-The-Shelf SQL Servers", in Architecting Dependable Systems (R. de Lemos, C. Gacek and A. Romanovsky, Eds.), Springer-Verlag, LNCS 3069, 2004, pp. 191-214.
[L05] L. Strigini, "Fault Tolerance Against Design Faults", in H. Diab and A. Zomaya (Ed.) "Dependable Computing Systems: Paradigms, Performance Issues, and Applications", J. Wiley & Sons, 2005, pp. 213-241.
[L10] E. Alberdi, A. Povyakalo, L. Strigini and P. Ayton. "Computer Aided Detection: Risks and benefits for radiologists' decisions", in The Handbook of Medical Image Perception and Techniques, ISBN-13: 9780521513920 (E. Samei and E. Krupinski, Eds.), pp. 320-332, Cambridge, UK, Cambridge University Press, 2010.
[L12] L. Strigini, "Fault tolerance and resilience: meanings, measures and assessment", in "Resilience Assessment and Evaluation of Computing Systems", Wolter, K., Avritzer, A., Vieira, M. and van Morsel, A. (Eds), Springer, 2012. Return to the top of this page

Some unpublished technical reports


L. Strigini, "Engineering judgement in reliability and safety and its limits: what can we learn from research in psychology?", SHIP project Technical Report T/030, July, 1994.
L. Strigini, B. Littlewood, "A discussion of practices for enhancing diversity in software designs", Centre for Software Reliability, Technical Report LS_DI_TR_04, 2000.
Return to the top of this page


Go to the City CSR Home Page.
Go to the top level CSR page.


Page maintained by Lorenzo Strigini, l.strigini@csr.city.ac.uk
Last updated: 16 June 2005