-
1
-
-
12344308304
-
Basic Concepts and Taxonomy of Dependable and Secure Computing
-
A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr, "Basic Concepts and Taxonomy of Dependable and Secure Computing," IEEE Transactions on Dependable and Secure Computing 1, No. 1, 11-33, 2004.
-
(2004)
IEEE Transactions on Dependable and Secure Computing
, vol.1
, Issue.1
, pp. 11-33
-
-
Avizienis, A.1
Laprie, J.-C.2
Randell, B.3
Landwehr, C.4
-
2
-
-
0003018691
-
High-Availability Computer Systems
-
J. Gray and D. P. Siewiorek, "High-Availability Computer Systems," Computer 24, No. 9, 39-48, 1991.
-
(1991)
Computer
, vol.24
, Issue.9
, pp. 39-48
-
-
Gray, J.1
Siewiorek, D.P.2
-
4
-
-
65649122850
-
-
G. Pfister, In Search of Clusters: The Ongoing Battle in Lowly Parallel Computing, Prentice Hall, Upper Saddle River, NJ (1997).
-
G. Pfister, In Search of Clusters: The Ongoing Battle in Lowly Parallel Computing, Prentice Hall, Upper Saddle River, NJ (1997).
-
-
-
-
7
-
-
0001976927
-
Dependability Modeling of a Heterogeneous VaxCluster System Using Stochastic Reward Nets
-
D. R. Avresky, Ed, Ellis Horwood, New York
-
J. K. Muppala, A. Sathaye, R. Howe, and K. S. Trivedi, "Dependability Modeling of a Heterogeneous VaxCluster System Using Stochastic Reward Nets," Hardware and Software Fault Tolerance in Parallel Computing Systems, D. R. Avresky, Ed., 33-59, Ellis Horwood, New York (1992).
-
(1992)
Hardware and Software Fault Tolerance in Parallel Computing Systems
, pp. 33-59
-
-
Muppala, J.K.1
Sathaye, A.2
Howe, R.3
Trivedi, K.S.4
-
8
-
-
12344275676
-
Model-based Evaluation: From Dependability to Security
-
D. M. Nicol, W. H. Sanders, and K. S. Trivedi, "Model-based Evaluation: From Dependability to Security," IEEE Transactions on Dependable and Secure Computing 1, No. 1, 48-65 (2004).
-
(2004)
IEEE Transactions on Dependable and Secure Computing
, vol.1
, Issue.1
, pp. 48-65
-
-
Nicol, D.M.1
Sanders, W.H.2
Trivedi, K.S.3
-
9
-
-
0036930027
-
Automatic Generation of Availability Models in RAScad
-
Bethesda, MD, pp
-
D. Tang, J. Zhu, and R. Andrada, "Automatic Generation of Availability Models in RAScad," Proceedings of the International Conference on Dependable Systems and Networks (DSN'02), Bethesda, MD, pp. 488-492 (2002).
-
(2002)
Proceedings of the International Conference on Dependable Systems and Networks (DSN'02)
, pp. 488-492
-
-
Tang, D.1
Zhu, J.2
Andrada, R.3
-
10
-
-
0032257078
-
MEADEP: A Dependability Evaluation Tool for Engineers
-
D. Tang, M. Hecht, J. Miller, and J. Handal, "MEADEP: A Dependability Evaluation Tool for Engineers," IEEE Transactions on Reliability 47, No. 4, 443-450 (1998).
-
(1998)
IEEE Transactions on Reliability
, vol.47
, Issue.4
, pp. 443-450
-
-
Tang, D.1
Hecht, M.2
Miller, J.3
Handal, J.4
-
11
-
-
40349116463
-
Modeling High Availability Systems
-
University of California, Riverside, CA, pp
-
K. S. Trivedi, R. Vasireddy, D. Trindade, S. Nathan, and R. Castro, "Modeling High Availability Systems," Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'06), University of California, Riverside, CA, pp. 154-164 (2006).
-
(2006)
Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'06)
, pp. 154-164
-
-
Trivedi, K.S.1
Vasireddy, R.2
Trindade, D.3
Nathan, S.4
Castro, R.5
-
12
-
-
0034832697
-
Analysis and Implementation of Software Rejuvenation in Cluster Systems
-
Cambridge, MA, pp
-
K. Vaidyanathan, R. E. Harper, S. W. Hunter, and K. S. Trivedi, "Analysis and Implementation of Software Rejuvenation in Cluster Systems," Proceedings of the Joint International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS'01), Cambridge, MA, pp. 62-71 (2001).
-
(2001)
Proceedings of the Joint International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS'01)
, pp. 62-71
-
-
Vaidyanathan, K.1
Harper, R.E.2
Hunter, S.W.3
Trivedi, K.S.4
-
13
-
-
65649115259
-
A New Reliability and Availability Strategy for Communications Servers in Next Generation Networks
-
Motorola, Inc, July
-
H. Weber, "A New Reliability and Availability Strategy for Communications Servers in Next Generation Networks," White paper, Motorola, Inc., (July 2005).
-
(2005)
White paper
-
-
Weber, H.1
-
14
-
-
65649144045
-
-
G. Ciardo, A. Blakemore, P. F. Chimento, Jr., J. K. Muppala, and K. S. Trivedi, Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets, Linear Algebra, Markov Chains, and Queueing Models, Carl Meyer and R.J. Plemmons, Eds., IMA in Mathematics and its Applications 48, pp. 145-191, Springer-Verlag, Heidelberg (1993).
-
G. Ciardo, A. Blakemore, P. F. Chimento, Jr., J. K. Muppala, and K. S. Trivedi, "Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets," Linear Algebra, Markov Chains, and Queueing Models, Carl Meyer and R.J. Plemmons, Eds., IMA Volumes in Mathematics and its Applications 48, pp. 145-191, Springer-Verlag, Heidelberg (1993).
-
-
-
-
15
-
-
0036821893
-
The Möbius Framework and Its Implementation
-
D. D. Deavours, G. Clark, T. Courtney, D. Daly, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. G. Webster, "The Möbius Framework and Its Implementation," IEEE Transactions on Software Engineering 28, No. 10, 956-969 (2002).
-
(2002)
IEEE Transactions on Software Engineering
, vol.28
, Issue.10
, pp. 956-969
-
-
Deavours, D.D.1
Clark, G.2
Courtney, T.3
Daly, D.4
Derisavi, S.5
Doyle, J.M.6
Sanders, W.H.7
Webster, P.G.8
-
16
-
-
33947495454
-
Fighting Bugs: Remove, Retry, Replicate, and Rejuvenate
-
M. Grottke and K. S. Trivedi, "Fighting Bugs: Remove, Retry, Replicate, and Rejuvenate," Computer 40, No. 2, 107-109 (2007).
-
(2007)
Computer
, vol.40
, Issue.2
, pp. 107-109
-
-
Grottke, M.1
Trivedi, K.S.2
-
17
-
-
65649130613
-
-
Relex Software Corporation
-
Relex Markov: Markov Analysis Software, Relex Software Corporation, http://www.relexsoftware.com/products/markov.asp.
-
Relex Markov: Markov Analysis Software
-
-
-
19
-
-
0029407839
-
The UltraSAN Modeling Environment
-
W. H. Sanders, W. D. Obal II, M. A. Qureshi, and F. K. Widjanarko, "The UltraSAN Modeling Environment," Performance Evaluation 24, No. 1-2, 89-115 (1995).
-
(1995)
Performance Evaluation
, vol.24
, Issue.1-2
, pp. 89-115
-
-
Sanders, W.H.1
Obal II, W.D.2
Qureshi, M.A.3
Widjanarko, F.K.4
-
20
-
-
0027289814
-
New Algorithms for Fault Trees Analysis
-
A. Rauzy, "New Algorithms for Fault Trees Analysis," Reliability Engineering & System Safety 40, No. 3, 203-211 (1993).
-
(1993)
Reliability Engineering & System Safety
, vol.40
, Issue.3
, pp. 203-211
-
-
Rauzy, A.1
-
21
-
-
0028508088
-
Power-hierarchy of Dependability-Model Types
-
M. Malhotra and K. S. Trivedi, "Power-hierarchy of Dependability-Model Types," IEEE Transactions on Reliability 43, No. 3, 493-502 (1994).
-
(1994)
IEEE Transactions on Reliability
, vol.43
, Issue.3
, pp. 493-502
-
-
Malhotra, M.1
Trivedi, K.S.2
-
22
-
-
0012987991
-
Markov Dependability Models of Complex Systems: Analysis Techniques
-
S. Ozekici, Ed, Springer, Berlin, Germany
-
J. K. Muppala, M. Malhotra, and K. S. Trivedi, "Markov Dependability Models of Complex Systems: Analysis Techniques," in Reliability and Maintenance of Complex Systems, S. Ozekici, Ed., Springer, Berlin, Germany, 442-486 (1996).
-
(1996)
Reliability and Maintenance of Complex Systems
, pp. 442-486
-
-
Muppala, J.K.1
Malhotra, M.2
Trivedi, K.S.3
-
24
-
-
4544311575
-
Hierarchical Computation of Interval Availability and Related Metrics
-
Florence, Italy, pp
-
D. Tang and K. S. Trivedi, "Hierarchical Computation of Interval Availability and Related Metrics," Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN'04), Florence, Italy, pp. 693-700 (2004).
-
(2004)
Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN'04)
, pp. 693-700
-
-
Tang, D.1
Trivedi, K.S.2
-
25
-
-
40349112529
-
Fixed-Point Iteration in Availability Modeling
-
Springer-Verlag, London, pp
-
L. A. Tomek and K. S. Trivedi, "Fixed-Point Iteration in Availability Modeling," Proceedings of the 5th International GI /ITG/GMA Conference on Fault-Tolerant Computing Systems, Tests, Diagnosis, Fault Treatment, Springer-Verlag, London, pp. 229-240 (1991).
-
(1991)
Proceedings of the 5th International GI /ITG/GMA Conference on Fault-Tolerant Computing Systems, Tests, Diagnosis, Fault Treatment
, pp. 229-240
-
-
Tomek, L.A.1
Trivedi, K.S.2
-
26
-
-
0003435470
-
-
Second Edition, John Wiley, New York
-
K. S. Trivedi, Probability and Statistics with Reliability, Queueing and Computer Science Applications, Second Edition, John Wiley, New York, 2001.
-
(2001)
Probability and Statistics with Reliability, Queueing and Computer Science Applications
-
-
Trivedi, K.S.1
-
27
-
-
65649123603
-
-
R. Credle, D. Brown, L. Davis, D. Robertson, T. Ternau, and D. Green, The Cutting Edge: IBM eServer BladeCenter, IBM Redpaper REDP-3581-01, IBM Corporation (November 24, 2003).
-
R. Credle, D. Brown, L. Davis, D. Robertson, T. Ternau, and D. Green, The Cutting Edge: IBM eServer BladeCenter, IBM Redpaper REDP-3581-01, IBM Corporation (November 24, 2003).
-
-
-
-
29
-
-
84958752836
-
Reliability and Performability Modeling Using SHARPE 2000
-
C. Hirel, R. A. Sahner, X. Zang, and K. S. Trivedi, "Reliability and Performability Modeling Using SHARPE 2000," Proceedings of the 11th International Conference on Computer Performance (TOOLS2000), pp. 345-349 (2000).
-
(2000)
Proceedings of the 11th International Conference on Computer Performance (TOOLS2000)
, pp. 345-349
-
-
Hirel, C.1
Sahner, R.A.2
Zang, X.3
Trivedi, K.S.4
-
31
-
-
85025253957
-
A Survey on Efficient Computation of Reliability Using Disjoint Products Approach
-
S. Rai, M. Veeraraghavan, and K. S. Trivedi, "A Survey on Efficient Computation of Reliability Using Disjoint Products Approach," Networks 25, No. 3, 147-163 (1995).
-
(1995)
Networks
, vol.25
, Issue.3
, pp. 147-163
-
-
Rai, S.1
Veeraraghavan, M.2
Trivedi, K.S.3
-
32
-
-
0032669754
-
A BDD-based Algorithm for Reliability Analysis of Phased-mission Systems
-
X. Zang, H. Sun, and K. S. Trivedi, "A BDD-based Algorithm for Reliability Analysis of Phased-mission Systems," IEEE Transactions on Reliability 48, No. 1, 50-60 (1999).
-
(1999)
IEEE Transactions on Reliability
, vol.48
, Issue.1
, pp. 50-60
-
-
Zang, X.1
Sun, H.2
Trivedi, K.S.3
-
35
-
-
0036599965
-
System Availability with Non-exponentially Distributed Outages
-
Y. Cao, H. Sun, K. S. Trivedi, and J. J. Han, "System Availability with Non-exponentially Distributed Outages," IEEE Transactions on Reliability 51, No. 2, 193-198 (2002).
-
(2002)
IEEE Transactions on Reliability
, vol.51
, Issue.2
, pp. 193-198
-
-
Cao, Y.1
Sun, H.2
Trivedi, K.S.3
Han, J.J.4
-
36
-
-
0035334460
-
Bound Computation of Dependability and Performance Measures
-
S. Mahévas and G. Rubino, "Bound Computation of Dependability and Performance Measures," IEEE Transactions on Computers 50, No. 5, 399-413 (2001).
-
(2001)
IEEE Transactions on Computers
, vol.50
, Issue.5
, pp. 399-413
-
-
Mahévas, S.1
Rubino, G.2
-
37
-
-
0024928611
-
-
R. R. Muntz, E. De Souza e Silva, and A. Goyal, Bounding Availability of Repairable Systems, IEEE Transactions on Computers 38, No. 12, 1714-1723 (1989).
-
R. R. Muntz, E. De Souza e Silva, and A. Goyal, "Bounding Availability of Repairable Systems," IEEE Transactions on Computers 38, No. 12, 1714-1723 (1989).
-
-
-
-
38
-
-
38349031218
-
Dealing with Non-Exponential Distributions in Dependability Models
-
G. Kotsis, Ed, Oesterreichische Computer Gesellschaft, pp
-
D. Wang, R. M. Fricks, and K. S. Trivedi, "Dealing with Non-Exponential Distributions in Dependability Models," Symposium on Performance Evaluation - Stories and Perspectives, G. Kotsis, Ed., Oesterreichische Computer Gesellschaft, pp. 273-302, 2003.
-
(2003)
Symposium on Performance Evaluation - Stories and Perspectives
, pp. 273-302
-
-
Wang, D.1
Fricks, R.M.2
Trivedi, K.S.3
-
39
-
-
40849129834
-
-
Wolfram Research, Inc
-
Wolfram Mathematica 6, Wolfram Research, Inc., http:// www.wolfram.com/products/mathematica/index.html.
-
Wolfram Mathematica 6
-
-
|