Lorenzo Strigini
Orcid: 0000-0002-4246-2866
According to our database1,
Lorenzo Strigini
authored at least 91 papers
between 1982 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Impact of Prior Beliefs on Dependability Prediction for a Changed System Using Pre-change Operational Evidence.
Proceedings of the 24th IEEE International Conference on Software Quality, 2024
2023
IEEE Trans. Dependable Secur. Comput., 2023
HEDF: A Method for Early Forecasting Software Defects Based on Human Error Mechanisms.
IEEE Access, 2023
2022
Proceedings of the Computer Safety, Reliability, and Security, 2022
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022
Arguing safety of an improved autonomous vehicle from safe operation before the change: new results.
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022
Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022
Authentication for Operators of Critical Medical Devices: A Contribution to Analysis of Design Trade-offs.
Proceedings of the ARES 2022: The 17th International Conference on Availability, Reliability and Security, Vienna,Austria, August 23, 2022
2021
HEDP: A Method for Early Forecasting Software Defects based on Human Error Mechanisms.
CoRR, 2021
Improving Human Decisions by Adjusting the Alerting Thresholds for Computer Alerting Tools According to User and Task Characteristics.
CoRR, 2021
Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence.
Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021
2020
On reliability assessment when a software-based system is replaced by a thought-to-be-better one.
Reliab. Eng. Syst. Saf., 2020
Assessing safety-critical systems from operational testing: A study on autonomous vehicles.
Inf. Softw. Technol., 2020
Human Factors Standards and the Hard Human Factor Problems: Observations on Medical Usability Standards.
Proceedings of the 13th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2020), 2020
2019
Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019
2018
Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems.
Reliab. Eng. Syst. Saf., 2018
Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018
2017
Modeling the probability of failure on demand (pfd) of a 1-out-of-2 system in which one channel is "quasi-perfect".
Reliab. Eng. Syst. Saf., 2017
2016
Panels: Panel session I: Resiliency in extreme scale high performance computing systems and applications.
Proceedings of the International Conference on High Performance Computing & Simulation, 2016
Diversity, Safety and Security in Embedded Systems: Modelling Adversary Effort and Supply Chain Risks.
Proceedings of the 12th European Dependable Computing Conference, 2016
2014
When Does "Diversity" in Development Reduce Common Failures? Insights from Probabilistic Modeling.
IEEE Trans. Dependable Secur. Comput., 2014
Bounds on survival probability given mean probability of failure per demand; and the paradoxical advantages of uncertainty.
Reliab. Eng. Syst. Saf., 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.
Reliab. Eng. Syst. Saf., 2014
Estimating Worst Case Failure Dependency with Partial Knowledge of the Difficulty Function.
Proceedings of the Computer Safety, Reliability, and Security, 2014
Assessment Techniques, Certification and [What Else We Need for] Confidence in Software.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014
Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014
2013
Proceedings of the Computer Safety, Reliability, and Security, 2013
2012
An Empirical Study of the Effectiveness of "Forcing" Diversity Based on a Large Population of Diverse Programs.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012
2010
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010
2009
Proceedings of the Computer Safety, 2009
2008
CAD in mammography: lesion-level versus case-level analysis of the effects of prompts on human decisions.
Int. J. Comput. Assist. Radiol. Surg., 2008
Proceedings of the Formal Methods and Testing, 2008
2007
Fault Tolerance via Diversity for Off-the-Shelf Products: A Study with SQL Database Servers.
IEEE Trans. Dependable Secur. Comput., 2007
2006
Proceedings of the The First International Conference on Availability, 2006
2005
Proceedings of the COTS-Based Software Systems, 4th International Conference, 2005
2004
Proceedings of the COTS-Based Software Systems, Third International Conference, 2004
Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
2003
IEEE Trans. Software Eng., 2003
Proceedings of the Architecting Dependable Systems II, 2003
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003
Does incorrect computer prompting affect human decision making? A case study in mammography.
Proceedings of the CARS 2003. Computer Assisted Radiology and Surgery. Proceedings of the 17th International Congress and Exhibition, 2003
2001
Combination of qualitative and quantitative sources of knowledge for risk assessment.
Proceedings of the 2nd International Conference in Fuzzy Logic and Technology, 2001
Proceedings of the 27th EUROMICRO Conference 2001: A Net Odyssey, 2001
The Reliability of Diverse Systems: A Contribution Using Modelling of the Fault Creation Process.
Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001
2000
IEEE Trans. Software Eng., 2000
J. Syst. Archit., 2000
Proceedings of the Computer Safety, 2000
Choosing Between Fault-Tolerance and Increased V&V for Improving Reliability.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000
Proceedings of the 22nd International Conference on on Software Engineering, 2000
Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment.
Proceedings of the 22nd International Conference on on Software Engineering, 2000
Proceedings of the 22nd International Conference on on Software Engineering, 2000
1999
Softw. Test. Verification Reliab., 1999
Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science.
Proceedings of the Computer Safety, 1999
1998
Assessing the Risk due to Software Faults: Estimates of Failure Rate versus Evidence of Perfection.
Softw. Test. Verification Reliab., 1998
IEE Proc. Softw., 1998
Proceedings of the Computer Safety, 1998
Comparing the effectiveness of testing methods in improving programs: the effect of variations in program quality.
Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998
Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998
Proceedings of the Digest of Papers: FTCS-28, 1998
1997
IEE Proc. Softw. Eng., 1997
Proceedings of the Pulling Together, 1997
1996
IEEE Trans. Software Eng., 1996
On Testing Process Control Software for Reliability Assessment: the Effects of Correlation between Successive Failures.
Softw. Test. Verification Reliab., 1996
Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results.
Proceedings of the 15th International Conference on Computer Safety, 1996
1995
Proceedings of the 17th International Conference on Software Engineering, 1995
Proceedings of the Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems, 1995
1994
Proceedings of the Dependable Computing, 1994
1993
1992
Comput. Networks ISDN Syst., 1992
Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notations.
Proceedings of the 11th Symposium on Reliable Distributed Systems, 1992
1991
Proceedings of the Tenth Symposium on Reliable Distributed Systems, 1991
Proceedings of the Proceedings IEEE INFOCOM '91, 1991
Proceedings of the Fault-Tolerant Computing Systems, Tests, Diagnosis, 1991
1990
Proceedings of the Ninth Symposium on Reliable Distributed Systems, 1990
1989
MAC Protocols for High-Speed MANs: Performance Comparisons for a Family of Fasnet-Based Protocols.
Comput. Networks ISDN Syst., 1989
1988
A routing strategy for interconnecting high-speed metropolitan area networks.
Proceedings of the Computer Communication Technologies for the 90's, Proceedings of the Ninth International Conference on Computer Communication, Tel Aviv, Israel, October 30, 1988
1984
Proceedings of the Fehlertolerierende Rechensysteme, 1984
1983
Fail-safeness in a multiprocessor system. a distributed strategy based on backward error recovery.
Softw. Microsystems, 1983
1982
A Distributed algorithm for post-failure load redistribution.
Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982