Software Verification and System Assurance (2009)

Cached

Download Links

by John Rushby
Citations:8 - 3 self

Active Bibliography

8 Reasoning about the Reliability Of Diverse Two-Channel Systems In which One Channel is “Possibly Perfect” – Bev Littlewood, John Rushby - 2009
Of Diverse Two-Channel Systems In which One Channel is “Possibly Perfect” – Bev Littlewood, John Rushby - 2011
20 Modular Certification – John Rushby - 2002
Transactions on Software Engineering, – Bev Littlewood, Andrey Povyakalo
probability of failure on demand of a 1-out-of-2 software-based system in which one channel is – Bev Littlewood, Andrey Povyakalo
Diverse Real-Time Systems – A. Burns, B. Littlewood
A Practical Implementation of Maximum Likelihood Voting – Kalhee Kim, Mladen A. Vouk, David F. Mcallister
3 An Empirical Evaluation of Consensus Voting and Consensus Recovery Block Reliability in the Presence of Failure Correlation – David F. Mcallister, David E. Eckhardt, Kalhee Kim, Mladen A. Vouk, Mladen A. Vouk - 1993
University London. – Bev Littlewood, Andrey Povyakalo
“Forcing ” Diversity Based on a Large Population of Diverse Programs – Peter Popov, Vladimir Stankovic, Lorenzo Strigini
2 The Problems of Assessing Software Reliability ...When you really need to depend on it – Bev Littlewood - 2000
13 Assessment of the Reliability of Fault-Tolerant Software: a Bayesian Approach – Bev Littlewood , Peter Popov, Lorenzo Strigini - 2000
22 Software Fault Tolerance: A Tutorial – Wilfredo Torres-pomales - 2000
12 Estimating Bounds on the Reliability of Diverse Systems – Peter Popov, Lorenzo Strigini, John May, Silke Kuball - 1999
“possibly perfect”. IEEE Transactions on Software Engineering, – Bev Littlewood, Andrey Povyakalo
Common Failures? Insights from Probabilistic Modelling – Kizito Salako, Lorenzo Strigini
12 Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems – Peter Bishop, Robin Bloomfield, Ieee Computer Society, Bev Littlewood, Ieee Computer Society, Andrey Povyakalo, David Wright
7 An empirical study on testing and fault tolerance for software reliability engineering – Michael R. Lyu, Zubin Huang, Sam K. S, Sze Xia Cai - 2003
8 Analysis of Faults Detected in a Large-Scale Multi-Version Software Development Experiment – Mladen A. Vouk, Alper K. Caglayan, David E. Eckhardt, David F. McAllister, James L. Walker, Jr., John J. P, Kelly John Knight