Lorenzo Strigini

Lorenzo Strigini, Peter T. Popov, L. Strigini, 1998, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224).

Limiting the Dangers of Intuitive Decision Making

Lorenzo Strigini, 1996, IEEE Softw..

E-voting: dependability requirements and design for dependability

Bev Littlewood, Lorenzo Strigini, Peter Y. A. Ryan, 2006, First International Conference on Availability, Reliability and Security (ARES'06).

Rigorously assessing software reliability and safety

Lorenzo Strigini, Norman Fenton, L. Strigini, 1996 .

EVALUATING ``HUMAN + ADVISORY COMPUTER'' SYSTEMS: A CASE STUDY

Lorenzo Strigini, Peter Ayton, Eugenio Alberdi, 2004 .

The architecture and the fault-treatment of MuTEAM

Lorenzo Strigini, Paolo Corsini, Luca Simoncini, 1984, Fehlertolerierende Rechensysteme.

Diversity, Safety and Security in Embedded Systems: Modelling Adversary Effort and Supply Chain Risks

Lorenzo Strigini, Ilir Gashi, Andrey Povyakalo, 2016, 2016 12th European Dependable Computing Conference (EDCC).

A discussion of practices for enhancing diversity in software designs

Bev Littlewood, Lorenzo Strigini, 2000 .

Diversity for off-the-shelf components

Lorenzo Strigini, Alexander Romanovsky, Peter Popov, 2000 .

Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability

Lorenzo Strigini, Michael D. Harrison, 2004, DSN.

Fault Tolerance and Resilience: Meanings, Measures and Assessment

Lorenzo Strigini, L. Strigini, 2012, Resilience Assessment and Evaluation of Computing Systems.

THE RISKS OF SOFTWARE

Bev Littlewood, Lorenzo Strigini, L. Strigini, 1992 .

Software Fault-Freeness and Reliability Predictions

Lorenzo Strigini, Andrey Povyakalo, 2013, SAFECOMP.

Coordinated backward between client processes and data servers

Lorenzo Strigini, Felicita Di Giandomenico, Alexander Romanovsky, 1997, IEE Proc. Softw. Eng..

DATAFLOW-LIKE LANGUAGES FOR DESIGNING DEPENDABLE REAL-TIME CONTROL SYSTEMS

Lorenzo Strigini, Andrea Bondavalli, Luca Simoncini, 1992 .

Panels: Panel session I: Resiliency in extreme scale high performance computing systems and applications

Lorenzo Strigini, Thomas Ropars, Vassil N. Alexandrov, 2016, HPCS.

Why Are People's Decisions Sometimes Worse with Computer Support?

Lorenzo Strigini, Peter Ayton, Eugenio Alberdi, 2009, SAFECOMP.

From Resilience-Building to Resilience-Scaling Technologies: Directions -- ReSIST NoE Deliverable D13

Philippe A. Palanque, Lorenzo Strigini, M. Banatre, 2007 .

N-version design Versus one Good Version

Bev Littlewood, Lorenzo Strigini, Peter Popov, 2000 .

Assesing dependability of safety critical systems using diverse evidence

David Wright, Bev Littlewood, Lorenzo Strigini, 1998, IEE Proc. Softw..

An Empirical Study of the Effectiveness of "Forcing" Diversity Based on a Large Population of Diverse Programs

Lorenzo Strigini, Vladimir Stankovic, Peter T. Popov, 2012, 2012 IEEE 23rd International Symposium on Software Reliability Engineering.

Choosing a Testing Method to Deliver Reliability

Bev Littlewood, Lorenzo Strigini, Richard G. Hamlet, 1997, Proceedings of the (19th) International Conference on Software Engineering.

Resilient Computing Curriculum Draft -- ReSIST NoE Deliverable D16

Neeraj Suri, Lorenzo Strigini, Guillaume Urvoy-Keller, 2007 .

Design diversity: an update from research on reliability modelling

Bev Littlewood, Lorenzo Strigini, Peter Popov, 2001 .

Optimal Discrimination between Transient and Permanent Faults - Mathematical Details

Lorenzo Strigini, Andrea Bondavalli, Felicita Di Giandomenico, 1998 .

A Contribution to Dependability Evaluation of Fault-Tolerant, Iterative-Execution Software

Lorenzo Strigini, Andrea Bondavalli, Silvano Chiaradonna, 1995 .

Using Testability Measures for Dependability Assessment

Lorenzo Strigini, Antonia Bertolino, L. Strigini, 1995, 1995 17th International Conference on Software Engineering.

Rational Design of Multiple-Redundant Systems: Adjudication and Fault Treatment

Lorenzo Strigini, Andrea Bondavalli, Silvano Chiaradonna, 1995 .

How to Discriminate between Computer-Aided and Computer-Hindered Decisions

Lorenzo Strigini, Peter Ayton, Eugenio Alberdi, 2013, Medical decision making : an international journal of the Society for Medical Decision Making.

The reliability of diverse systems: a contribution using modelling of the fault creation process

Lorenzo Strigini, Peter T. Popov, 2001, 2001 International Conference on Dependable Systems and Networks.

MAC Protocols for High-Speed MANs: Performance Comparisons for a Family of Fasnet-Based Protocols

Lorenzo Strigini, Andrea Bondavalli, Marco Conti, 1989, Comput. Networks ISDN Syst..

On Designing Dependable Services with Diverse Off-the-Shelf SQL Servers

Lorenzo Strigini, Ilir Gashi, Vladimir Stankovic, 2003, WADS.

Human Factors Standards and the Hard Human Factor Problems: Observations on Medical Usability Standards

Lorenzo Strigini, Marwa Gadala, L. Strigini, 2020, HEALTHINF.

The Evolution of Dependable Computing in Italy

Lorenzo Strigini, F. Grandoni, P. Ciompi, 1987 .

Reconfiguration procedure in a distributed multiprocessor system

Lorenzo Strigini, Augusto Ciuffoletti, G. Barigazzi, 1982 .

A proposal for fault-tolerance in a multiprocessor system

Lorenzo Strigini, Lanfranco Lopriore, Paolo Corsini, 1982 .

Assessing the Risk due to Software Faults: Estimates of Failure Rate versus Evidence of Perfection

Lorenzo Strigini, Antonia Bertolino, 1998, Softw. Test. Verification Reliab..

Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles pdf

Lorenzo Strigini, Valentin Robu, David Flynn, 2020, Inf. Softw. Technol..

Fail-safeness in a multiprocessor system. a distributed strategy based on backward error recovery

Lorenzo Strigini, Lanfranco Lopriore, Paolo Corsini, 1983, Softw. Microsystems.

Validation of ultrahigh dependability for software-based systems

Bev Littlewood, Lorenzo Strigini, L. Strigini, 1993, CACM.

Optimal discrimination between transient and permanent faults

Lorenzo Strigini, Andrea Bondavalli, Felicita Di Giandomenico, 1998, Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231).

On Performability Modeling and Evaluation of Software Fault Tolerant Structures

Lorenzo Strigini, Andrea Bondavalli, Silvano Chiaradonna, 1994, EDCC.

Modeling software design diversity: a review

Bev Littlewood, Lorenzo Strigini, Peter T. Popov, 2001, CSUR.

Flexible schemes for application-level fault tolerance

Lorenzo Strigini, Felicita Di Giandomenico, 1991, [1991] Proceedings Tenth Symposium on Reliable Distributed Systems.

When Does "Diversity"' in Development Reduce Common Failures? Insights from Probabilistic Modeling

Lorenzo Strigini, Kizito Salako, L. Strigini, 2014, IEEE Transactions on Dependable and Secure Computing.

A task-controlled memory managing system for capability-based addressing architectures

Lorenzo Strigini, Lanfranco Lopriore, Paolo Corsini, 1985 .

Human-machine diversity in the use of computerised advisory systems: a case study

Lorenzo Strigini, Eugenio Alberdi, Andrey Povyakalo, 2003, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..

Bayesian belief networks for safety assessment of computer-based systems

Bev Littlewood, Lorenzo Strigini, Martin Neil, 2000 .

Assessing the reliability of diverse fault-tolerant software-based systems

Bev Littlewood, Lorenzo Strigini, Peter Popov, 2002 .

Formalism and judgement in assurance cases

Lorenzo Strigini, L. Strigini, 2004 .

Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems

David Wright, Bev Littlewood, Lorenzo Strigini, 2018, Reliab. Eng. Syst. Saf..

Fault Tolerance Against Design Faults

Lorenzo Strigini, L. Strigini, 2005 .

AQUAS: A project to bridge the gaps between safety and security processes

Lorenzo Strigini, Peter Popov, J. Favaro, 2018 .

Estimating Bounds on the Reliability of Diverse Systems

Lorenzo Strigini, John H. R. May, Peter T. Popov, 2003, IEEE Trans. Software Eng..

Probabilistic scheduling guarantees for fault-tolerant real-time systems

David Wright, Lorenzo Strigini, Sasikumar Punnekkat, 1999, Dependable Computing for Critical Applications 7.

A routing strategy for interconnecting high-speed metropolitan area networks

Lorenzo Strigini, Luigi Fratta, Andres Albanese, 1988, ICCC.

Assessing the Reliability of Diverse Fault-Tolerant Systems

Bev Littlewood, Lorenzo Strigini, Peter Popov, 2000 .

Resilience-Building Technologies: State of Knowledge -- ReSIST NoE Deliverable D12

Michel Raynal, Lorenzo Strigini, Michael D. Harrison, 2007 .

A contribution to the evaluation of the reliability of iterative‐execution software †

Lorenzo Strigini, Andrea Bondavalli, Silvano Chiaradonna, 1999 .

Software Fault-Tolerance with Off-the-Shelf SQL Servers

Lorenzo Strigini, Peter T. Popov, A. Kostov, 2004, ICCBSS.

Bayesian Belief Network Model for the Safety Assessment of Nuclear Computer-based Systems

Bev Littlewood, Lorenzo Strigini, Norman Fenton, 1997 .

System architecture and protection mechanisms of the MuTEAM multimicroprocessor

Lorenzo Strigini, Lanfranco Lopriore, M La Manna, 1981 .

Implementations and Extensions of the Conversation Concept

Lorenzo Strigini, Felicita Di Giandomenico, 1991, Fault-Tolerant Computing Systems.

Modeling Software Design Diversit y-AR eview

Bev Littlewood, Lorenzo Strigini, Peter Popov, 2001 .

Modelling the Effects of Combining Diverse Software Fault Detection Techniques

Bev Littlewood, Lorenzo Strigini, Peter T. Popov, 2008, Formal Methods and Testing.

Bounds on survival probability given mean probability of failure per demand; and the paradoxical advantages of uncertainty

David Wright, Lorenzo Strigini, L. Strigini, 2014, Reliab. Eng. Syst. Saf..

On systematic design of protectors for employing OTS items

Lorenzo Strigini, Alexander Romanovsky, Steve Riddle, 2001, Proceedings 27th EUROMICRO Conference. 2001: A Net Odyssey.

Evaluating the Assessment of Software Fault-Freeness pdf

Bev Littlewood, Lorenzo Strigini, John Rushby, 2014, ArXiv.

Assessment Techniques, Certification and [What Else We Need for] Confidence in Software

Lorenzo Strigini, 2014, 2014 IEEE International Symposium on Software Reliability Engineering Workshops.

On Testing Process Control Software for Reliability Assessment: the Effects of Correlation between Successive Failures

Lorenzo Strigini, 1996 .

Protective Wrapping of Off-the-Shelf Components

Lorenzo Strigini, Meine van der Meulen, Steve Riddle, 2005, ICCBSS.

Modelling Correlation among Successive Inputs in Software Dependability Analyses

Lorenzo Strigini, Andrea Bondavalli, Silvano Chiaradonna, 1994 .

Diversity with Off-The-Shelf Components A Study with SQL Database Servers

Lorenzo Strigini, Peter Popov, 2003 .

Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science

Lorenzo Strigini, Alexander Romanovsky, Peter T. Popov, 1999, SAFECOMP.

Modeling the probability of failure on demand (pfd) of a 1-out-of-2 system in which one channel is "quasi-perfect"

David Wright, Bev Littlewood, Lorenzo Strigini, 2017, Reliab. Eng. Syst. Saf..

Predicting Software Reliability from Testing Taking into Account Other Knowledge about a Program

Lorenzo Strigini, Antonia Bertolino, 1996 .

Software Fault-Tolerance and Design Diversity: Past Experience and Future Evolution

Lorenzo Strigini, A. Avižienis, 1985 .

Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing

Lorenzo Strigini, David Flynn, Valentin Robu, 2019, 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE).

On the Effectiveness of Run-Time Checks

Lorenzo Strigini, Meine van der Meulen, Miguel A. Revilla, 2005, SAFECOMP.

Adaptable Fault Tolerance for Real-Time Systems

Lorenzo Strigini, Andrea Bondavalli, John A. Stankovic, 1994, Responsive Computer Systems.

Advantages of open source processes for reliability: clarifying the issues

Bev Littlewood, Lorenzo Strigini, Martin Newby, 2002 .

Software reliability: basic concepts and assessment methods

Bev Littlewood, Lorenzo Strigini, 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

Destination Stripping Dual Ring: A New Protocol for MANs

Lorenzo Strigini, Matteo Sereno, Andrea Bondavalli, 1992, Comput. Networks ISDN Syst..

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

Bev Littlewood, Lorenzo Strigini, Peter G. Bishop, 2014, Reliab. Eng. Syst. Saf..

A note on reliability estimation of functionally diverse systems

Bev Littlewood, Lorenzo Strigini, Peter Popov, 1999 .

A Contribution to the Evaluation of the Reliability of Iterative-Execution Software

Lorenzo Strigini, Andrea Bondavalli, Silvano Chiaradonna, 1999, Softw. Test. Verification Reliab..

Effects of incorrect computer-aided detection (CAD) output on human decision-making in mammography.

Lorenzo Strigini, Peter Ayton, Eugenio Alberdi, 2004, Academic radiology.

A Holistic View on the Dependability of Software-Intensive Systems

Lorenzo Strigini, Erwin Schoitsch, Gerald Sonneck, 1998, SAFECOMP.

On Testing Process Control Software for Reliability Assessment: the Effects of Correlation between Successive Failures

Lorenzo Strigini, 1996, Softw. Test. Verification Reliab..

The impact of "difficulty" variation on the probability of coincident failure of diverse systems

Bev Littlewood, Lorenzo Strigini, Andrey Povyakalo, 2004 .

Diversity for Safety and Security in Embedded Systems

Lorenzo Strigini, Ilir Gashi, Andrey Povyakalo, 2014 .

Evaluating Testing Methods by Delivered Reliability

Bev Littlewood, Lorenzo Strigini, Richard G. Hamlet, 1998, IEEE Trans. Software Eng..

Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results

Lorenzo Strigini, Antonia Bertolino, 1996, SAFECOMP.

Fault diversity among off-the-shelf SQL database servers

Lorenzo Strigini, Ilir Gashi, Peter T. Popov, 2004, International Conference on Dependable Systems and Networks, 2004.

On the Use of Testability Measures for Dependability Assessment

Lorenzo Strigini, Antonia Bertolino, 1996, IEEE Trans. Software Eng..

Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function

Lorenzo Strigini, Peter G. Bishop, 2014, SAFECOMP.

Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence

Lorenzo Strigini, Kizito Salako, Xingyu Zhao, 2021, 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

Improving Human Decisions by Adjusting the Alerting Thresholds for Computer Alerting Tools According to User and Task Characteristics pdf

Lorenzo Strigini, Peter Ayton, Marwa Gadala, 2021, ArXiv.

Bootstrapping confidence in future safety based on past safe operation pdf

Lorenzo Strigini, Andrey Povyakalo, Peter Bishop, 2021, ArXiv.

HEDF: A Method for Early Forecasting Software Defects Based on Human Error Mechanisms pdf

Lorenzo Strigini, Fuqun Huang, L. Strigini, 2021, IEEE Access.

Modelling the effects of combining diverse software fault removal techniques

Bev Littlewood, Lorenzo Strigini, Peter Popov, 1999 .

ReSIST: Resilience for Survivability in IST

Neeraj Suri, Philippe A. Palanque, Miguel Correia, 2007 .

Engineering judgement in reliability and safety and its limits: what can we learn from research in psychology

Lorenzo Strigini, L. Strigini, 1996 .