-
1
-
-
0022252695
-
The N-version approach to fault tolerant software
-
A. Avizienis, The N-version approach to fault tolerant software, IEEE Transactions on Software Engineering SE11 (12) (1985) 1491-1501.
-
(1985)
IEEE Transactions on Software Engineering
, vol.SE11
, Issue.12
, pp. 1491-1501
-
-
Avizienis, A.1
-
2
-
-
0022232712
-
A theoretical basis for the analysis of multiversion software subject to coincident errors
-
D.E. Echardt, L.D. Lee, A theoretical basis for the analysis of multiversion software subject to coincident errors, IEEE Transactions on Software Engineering 11 (12) (1985) 1511-1517.
-
(1985)
IEEE Transactions on Software Engineering
, vol.11
, Issue.12
, pp. 1511-1517
-
-
Echardt, D.E.1
Lee, L.D.2
-
3
-
-
0023348918
-
Fault-tolerant software reliability modeling
-
R.E. Scott, J.W. Gault, D.F. McAllister, Fault-tolerant software reliability modeling, IEEE Transactions on Software Engineering 13 (5) (1987) 582-592.
-
(1987)
IEEE Transactions on Software Engineering
, vol.13
, Issue.5
, pp. 582-592
-
-
Scott, R.E.1
Gault, J.W.2
McAllister, D.F.3
-
4
-
-
0009635818
-
Reliability modeling of the fault tolerant programs
-
Lugano, Switzerland
-
F. Belli, P. Jedrzejowicz, Reliability modeling of the fault tolerant programs, Proceedings of the fifth IASTED International Conference - Reliability and Quality Control, Lugano, Switzerland, 1989, pp. 53-56.
-
(1989)
Proceedings of the Fifth IASTED International Conference - Reliability and Quality Control
, pp. 53-56
-
-
Belli, F.1
Jedrzejowicz, P.2
-
6
-
-
0016522101
-
System structure for software fault tolerance
-
B. Randell, System structure for software fault tolerance, IEEE Transactions on Software Engineering 1 (2) (1975) 220-231.
-
(1975)
IEEE Transactions on Software Engineering
, vol.1
, Issue.2
, pp. 220-231
-
-
Randell, B.1
-
8
-
-
0017982984
-
Recovery techniques for data base systems
-
J.S.M. Verhofstad, Recovery techniques for data base systems, ACM Computing Surveys 10 (2) (1978) 167-195.
-
(1978)
ACM Computing Surveys
, vol.10
, Issue.2
, pp. 167-195
-
-
Verhofstad, J.S.M.1
-
9
-
-
0026116512
-
An approach to reliability optimization of software with redundancy
-
F. Belli, P. Jedrzejowicz, An approach to reliability optimization of software with redundancy, IEEE Transactions on Software Engineering 17 (3) (1991) 310-312.
-
(1991)
IEEE Transactions on Software Engineering
, vol.17
, Issue.3
, pp. 310-312
-
-
Belli, F.1
Jedrzejowicz, P.2
-
10
-
-
0026882123
-
Optimal design of large software systems considering reliability and cost
-
N. Ashrafi, O. Berman, Optimal design of large software systems considering reliability and cost, IEEE Transactions on Reliability 41 (2) (1992) 281-287.
-
(1992)
IEEE Transactions on Reliability
, vol.41
, Issue.2
, pp. 281-287
-
-
Ashrafi, N.1
Berman, O.2
-
11
-
-
0027698430
-
Optimization models for reliability of modular software systems
-
O. Berman, N. Ashrafi, Optimization models for reliability of modular software systems, IEEE Transactions on Software Engineering 19 (11) (1993) 1119-1123.
-
(1993)
IEEE Transactions on Software Engineering
, vol.19
, Issue.11
, pp. 1119-1123
-
-
Berman, O.1
Ashrafi, N.2
-
12
-
-
0028446146
-
Optimal design of large software systems using N-version programming
-
N. Ashrafi, O. Berman, M. Cutler, Optimal design of large software systems using N-version programming, IEEE Transactions on Reliability 43 (2) (1994) 344-350.
-
(1994)
IEEE Transactions on Reliability
, vol.43
, Issue.2
, pp. 344-350
-
-
Ashrafi, N.1
Berman, O.2
Cutler, M.3
-
15
-
-
0025400024
-
Modelling correlated failures and community error recovery in multiversion software
-
V.F. Nicola, A. Goyal, Modelling correlated failures and community error recovery in multiversion software, IEEE Transactions on Software Engineering 16 (3) (1990) 350-359.
-
(1990)
IEEE Transactions on Software Engineering
, vol.16
, Issue.3
, pp. 350-359
-
-
Nicola, V.F.1
Goyal, A.2
-
16
-
-
0027698703
-
Modelling correlation in software recovery blocks
-
L.A. Tomek, J.K. Muppala, K.S. Trivedi, Modelling correlation in software recovery blocks, IEEE Transactions on Software Engineering 19 (11) (1993) 1071-1086.
-
(1993)
IEEE Transactions on Software Engineering
, vol.19
, Issue.11
, pp. 1071-1086
-
-
Tomek, L.A.1
Muppala, J.K.2
Trivedi, K.S.3
|