2008 | ||
---|---|---|
49 | EE | Bev Littlewood, Peter T. Popov, Lorenzo Strigini, Nick Shryane: Modelling the Effects of Combining Diverse Software Fault Detection Techniques. Formal Methods and Testing 2008: 345-366 |
2007 | ||
48 | EE | Ilir Gashi, Peter T. Popov, Lorenzo Strigini: Fault Tolerance via Diversity for Off-the-Shelf Products: A Study with SQL Database Servers. IEEE Trans. Dependable Sec. Comput. 4(4): 280-294 (2007) |
2006 | ||
47 | EE | Jeremy Bryans, Bev Littlewood, Peter Y. A. Ryan, Lorenzo Strigini: E-voting: Dependability Requirements and Design for Dependability. ARES 2006: 988-995 |
2005 | ||
46 | EE | Meine van der Meulen, Steve Riddle, Lorenzo Strigini, Nigel Jefferson: Protective Wrapping of Off-the-Shelf Components. ICCBSS 2005: 168-177 |
45 | EE | Meine van der Meulen, Lorenzo Strigini, Miguel A. Revilla: On the Effectiveness of Run-Time Checks. SAFECOMP 2005: 151-164 |
2004 | ||
44 | EE | Ilir Gashi, Peter T. Popov, Lorenzo Strigini: Fault Diversity among Off-The-Shelf SQL Database Servers. DSN 2004: 389-398 |
43 | Michael D. Harrison, Lorenzo Strigini: Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability. DSN 2004: 899 | |
42 | EE | Bev Littlewood, Lorenzo Strigini: Redundancy and Diversity in Security. ESORICS 2004: 423-438 |
41 | EE | Peter T. Popov, Lorenzo Strigini, A. Kostov, V. Mollov, D. Selensky: Software Fault-Tolerance with Off-the-Shelf SQL Servers. ICCBSS 2004: 117-126 |
2003 | ||
40 | Eugenio Alberdi, Andrey Povyakalo, Lorenzo Strigini, Peter Ayton: Does incorrect computer prompting affect human decision making? A case study in mammography. CARS 2003: 938-943 | |
39 | EE | Lorenzo Strigini, Andrey Povyakalo, Eugenio Alberdi: Human-Machine Diversity in the Use of Computerised Advisory Systems: A Case Study. DSN 2003: 249-258 |
38 | EE | Ilir Gashi, Peter T. Popov, Vladimir Stankovic, Lorenzo Strigini: On Designing Dependable Services with Diverse Off-the-Shelf SQL Servers. WADS 2003: 191-214 |
37 | EE | Peter T. Popov, Lorenzo Strigini, John H. R. May, Silke Kuball: Estimating Bounds on the Reliability of Diverse Systems. IEEE Trans. Software Eng. 29(4): 345-359 (2003) |
2001 | ||
36 | EE | Peter T. Popov, Lorenzo Strigini: The Reliability of Diverse Systems: A Contribution Using Modelling of the Fault Creation Process. DSN 2001: 5-14 |
35 | EE | Peter T. Popov, Lorenzo Strigini, Steve Riddle, Alexander B. Romanovsky: On Systematic Design of Protectors for Employing OTS Items. EUROMICRO 2001: 22-29 |
34 | EE | Mourad Oussalah, Bev Littlewood, Lorenzo Strigini, Martin Newby: Combination of qualitative and quantitative sources of knowledge for risk assessment. EUSFLAT Conf. 2001: 418-421 |
33 | EE | Bev Littlewood, Peter T. Popov, Lorenzo Strigini: Modeling software design diversity. ACM Comput. Surv. 33(2): 177-208 (2001) |
2000 | ||
32 | EE | Bev Littlewood, Lorenzo Strigini: Software reliability (tutorial session): basic concepts and assessment methods. ICSE 2000: 831 |
31 | EE | Bev Littlewood, Lorenzo Strigini: Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment. ICSE 2000: 835 |
30 | EE | Bev Littlewood, Lorenzo Strigini: Software reliability and dependability: a roadmap. ICSE - Future of SE Track 2000: 175-188 |
29 | Peter T. Popov, Lorenzo Strigini, Bev Littlewood: Choosing Between Fault-Tolerance and Increased V&V for Improving Reliability. PDPTA 2000 | |
28 | EE | Bev Littlewood, Peter T. Popov, Lorenzo Strigini: Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach. SAFECOMP 2000: 294-308 |
27 | EE | Bev Littlewood, Peter T. Popov, Lorenzo Strigini, Nick Shryane: Modeling the Effects of Combining Diverse Software Fault Detection Techniques. IEEE Trans. Software Eng. 26(12): 1157-1167 (2000) |
1999 | ||
26 | EE | Peter T. Popov, Lorenzo Strigini, Alexander B. Romanovsky: Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science. SAFECOMP 1999: 272-285 |
25 | Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Lorenzo Strigini: A Contribution to the Evaluation of the Reliability of Iterative-Execution Software. Softw. Test., Verif. Reliab. 9(3): 145-166 (1999) | |
1998 | ||
24 | Peter T. Popov, Lorenzo Strigini: Conceptual Models for the Reliability of Diverse Systems - New Results. FTCS 1998: 80-89 | |
23 | EE | M. Pizza, Lorenzo Strigini, Andrea Bondavalli, Felicita Di Giandomenico: Optimal Discrimination between Transient and Permanent Faults. HASE 1998: 214-223 |
22 | EE | Gerald Sonneck, Erwin Schoitsch, Lorenzo Strigini: A Holistic View on the Dependability of Software-Intensive Systems. SAFECOMP 1998: 369-379 |
21 | Lorenzo Strigini, Alistair G. Sutcliffe, David Wright: Assesing dependability of safety critical systems using diverse evidence. IEE Proceedings - Software 145(1): 35-40 (1998) | |
20 | EE | Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini: Evaluating Testing Methods by Delivered Reliability. IEEE Trans. Software Eng. 24(8): 586-601 (1998) |
19 | Antonia Bertolino, Lorenzo Strigini: Assessing the Risk due to Software Faults: Estimates of Failure Rate versus Evidence of Perfection. Softw. Test., Verif. Reliab. 8(3): 155-166 (1998) | |
1997 | ||
18 | EE | Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini: Choosing a Testing Method to Deliver Reliability. ICSE 1997: 68-78 |
17 | Lorenzo Strigini, Felicita Di Giandomenico, Alexander B. Romanovsky: Coordinated backward between client processes and data servers. IEE Proceedings - Software 144(2): 134-146 (1997) | |
1996 | ||
16 | EE | Lorenzo Strigini: Limiting the Dangers of Intuitive Decision Making. IEEE Software 13(1): 101-103 (1996) |
15 | EE | Antonia Bertolino, Lorenzo Strigini: On the Use of Testability Measures for Dependability Assessment. IEEE Trans. Software Eng. 22(2): 97-108 (1996) |
14 | Lorenzo Strigini: On Testing Process Control Software for Reliability Assessment: the Effects of Correlation between Successive Failures. Softw. Test., Verif. Reliab. 6(1): 33-48 (1996) | |
1995 | ||
13 | EE | Antonia Bertolino, Lorenzo Strigini: Using Testability Measures for Dependability Assessment. ICSE 1995: 61-70 |
1994 | ||
12 | Silvano Chiaradonna, Andrea Bondavalli, Lorenzo Strigini: On Performability Modeling and Evaluation of Software Fault Tolerant Structures. EDCC 1994: 97-114 | |
1993 | ||
11 | Bev Littlewood, Lorenzo Strigini: Validation of Ultrahigh Dependability for Software-Based Systems. Commun. ACM 36(11): 69-80 (1993) | |
1992 | ||
10 | Andrea Bondavalli, Lorenzo Strigini, Luca Simoncini: Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notations. SRDS 1992: 214-221 | |
9 | Andrea Bondavalli, Lorenzo Strigini, Matteo Sereno: Destination Stripping Dual Ring: A New Protocol for MANs. Computer Networks and ISDN Systems 24(1): 15-32 (1992) | |
1991 | ||
8 | Felicita Di Giandomenico, Lorenzo Strigini: Implementations and Extensions of the Conversation Concept. Fault-Tolerant Computing Systems 1991: 42-53 | |
7 | Andrea Bondavalli, Lorenzo Strigini: DSDR: A Fair and Efficient Access Protocol for Ring-Topology MANs. INFOCOM 1991: 1022-1030 | |
6 | Lorenzo Strigini, Felicita Di Giandomenico: Flexible Schemes for Application-Level Fault Tolerance. SRDS 1991: 86-95 | |
1990 | ||
5 | Felicita Di Giandomenico, Lorenzo Strigini: Adjudicators for Diverse-Redundant Components. SRDS 1990: 114-123 | |
1989 | ||
4 | Andrea Bondavalli, Marco Conti, Enrico Gregori, Luciano Lenzini, Lorenzo Strigini: MAC Protocols for High-Speed MANs: Performance Comparisons for a Family of Fasnet-Based Protocols. Computer Networks and ISDN Systems 18(2): 97-113 (1989) | |
1988 | ||
3 | Andres Albanese, Lorenzo Strigini, Luigi Fratta: A routing strategy for interconnecting high-speed metropolitan area networks. ICCC 1988: 303-309 | |
1984 | ||
2 | Paolo Corsini, Luca Simoncini, Lorenzo Strigini: The architecture and the fault-treatment of MuTEAM. Fehlertolerierende Rechensysteme 1984: 1-13 | |
1982 | ||
1 | G. Barigazzi, Augusto Ciuffoletti, Lorenzo Strigini: A Distributed algorithm for post-failure load redistribution. ICDCS 1982: 71-76 |