| 2008 |
|---|
| 48 | 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 |
|---|
| 47 | 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 |
|---|
| 46 | EE | Jeremy Bryans,
Bev Littlewood,
Peter Y. A. Ryan,
Lorenzo Strigini:
E-voting: Dependability Requirements and Design for Dependability.
ARES 2006: 988-995 |
| 2005 |
|---|
| 45 | EE | Meine van der Meulen,
Steve Riddle,
Lorenzo Strigini,
Nigel Jefferson:
Protective Wrapping of Off-the-Shelf Components.
ICCBSS 2005: 168-177 |
| 44 | EE | Meine van der Meulen,
Lorenzo Strigini,
Miguel A. Revilla:
On the Effectiveness of Run-Time Checks.
SAFECOMP 2005: 151-164 |
| 2004 |
|---|
| 43 | EE | Ilir Gashi,
Peter T. Popov,
Lorenzo Strigini:
Fault Diversity among Off-The-Shelf SQL Database Servers.
DSN 2004: 389-398 |
| 42 | | Michael D. Harrison,
Lorenzo Strigini:
Workshop on Interdisciplinary Approaches to Achieving and Analysing System Dependability.
DSN 2004: 899 |
| 41 | EE | Bev Littlewood,
Lorenzo Strigini:
Redundancy and Diversity in Security.
ESORICS 2004: 423-438 |
| 40 | 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 |
|---|
| 39 | | 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 |
| 38 | EE | Lorenzo Strigini,
Andrey Povyakalo,
Eugenio Alberdi:
Human-Machine Diversity in the Use of Computerised Advisory Systems: A Case Study.
DSN 2003: 249-258 |
| 37 | 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 |
| 36 | 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 |
|---|
| 35 | EE | Peter T. Popov,
Lorenzo Strigini:
The Reliability of Diverse Systems: A Contribution Using Modelling of the Fault Creation Process.
DSN 2001: 5-14 |
| 34 | EE | Peter T. Popov,
Lorenzo Strigini,
Steve Riddle,
Alexander B. Romanovsky:
On Systematic Design of Protectors for Employing OTS Items.
EUROMICRO 2001: 22-29 |
| 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.
Symposium on Reliable Distributed Systems 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 |
