-
1
-
-
84964998770
-
Software consideration in airborne systems and equipment certification
-
DO-178B/ED12B Dec.
-
DO-178B/ED12B, "Software Consideration in Airborne Systems and Equipment Certification," RTCA and EUROCAE, Dec. 1992.
-
(1992)
RTCA and EUROCAE
-
-
-
2
-
-
77953119539
-
Air navigation system safety assessment methodology (v2-0)
-
SAF.ET1.ST03.1000-MAN-01 Apr.
-
SAF.ET1.ST03.1000-MAN-01, "Air Navigation System Safety Assessment Methodology (v2-0)," EUROCONTROL EATMP Safety Management, Apr. 2004.
-
(2004)
EUROCONTROL EATMP Safety Management
-
-
-
3
-
-
4544265514
-
Reliability optimization models for embedded systems with multiple applications
-
Sept.
-
N. Wattanapongsakorn and S.P. Levitan, "Reliability Optimization Models for Embedded Systems with Multiple Applications," IEEE Trans. Reliability, vol.53, no.3, pp. 406-416, Sept. 2004.
-
(2004)
IEEE Trans. Reliability
, vol.53
, Issue.3
, pp. 406-416
-
-
Wattanapongsakorn, N.1
Levitan, S.P.2
-
4
-
-
34047116848
-
Solving the redundancy allocation problem with a mix of components using the improved surrogate constraint method
-
Mar.
-
J. Onishi, S. Kimura, R.J.W. James, and Y. Nakagawa, "Solving the Redundancy Allocation Problem with a Mix of Components Using the Improved Surrogate Constraint Method," IEEE Trans. Reliability, vol.56, no.1, pp. 94-101, Mar. 2007.
-
(2007)
IEEE Trans. Reliability
, vol.56
, Issue.1
, pp. 94-101
-
-
Onishi, J.1
Kimura, S.2
James, R.J.W.3
Nakagawa, Y.4
-
5
-
-
0032670871
-
Simplifying the solution of redundancy allocation problems
-
F.W. Rice, C.R. Cassady, and R.T. Wise, "Simplifying the Solution of Redundancy Allocation Problems," Proc. Ann. Reliability and Maintainability Symp., pp. 190-194, 1999.
-
(1999)
Proc. Ann. Reliability and Maintainability Symp.
, pp. 190-194
-
-
Rice, F.W.1
Cassady, C.R.2
Wise, R.T.3
-
6
-
-
0036599692
-
Optimal allocation of test resources for software reliability growth modeling in software development
-
June
-
M.R. Lyu, S. Rangarajan, and A.P.A. van Moorsel, "Optimal Allocation of Test Resources for Software Reliability Growth Modeling in Software Development," IEEE Trans. Reliability, vol.51, no.2, pp. 183-192, June 2002.
-
(2002)
IEEE Trans. Reliability
, vol.51
, Issue.2
, pp. 183-192
-
-
Lyu, M.R.1
Rangarajan, S.2
Moorsel Van, A.A.P.3
-
7
-
-
0030386241
-
Efficient allocation of testing resources for software module testing based on the hyper-geometric distribution software reliability growth model
-
Oct./Nov.
-
R.H. Hou, S.Y. Kuo, and Y.P. Chang, "Efficient Allocation of Testing Resources for Software Module Testing Based on the Hyper-Geometric Distribution Software Reliability Growth Model," Proc. Seventh Int'l Symp. Software Reliability Eng., pp. 289-298, Oct./Nov. 1996.
-
(1996)
Proc. Seventh Int'l Symp. Software Reliability Eng.
, pp. 289-298
-
-
Hou, R.H.1
Kuo, S.Y.2
Chang, Y.P.3
-
8
-
-
0019582998
-
Surrogate constraints algorithm for reliability optimization problems with two constraints
-
Y. Nakagawa and S. Miyazaki, "Surrogate Constraints Algorithm for Reliability Optimization Problems with Two Constraints," IEEE Trans. Reliability, vol.30, no.2, pp. 175-181, 1981.
-
(1981)
IEEE Trans. Reliability
, vol.30
, Issue.2
, pp. 175-181
-
-
Nakagawa, Y.1
Miyazaki, S.2
-
9
-
-
0029324878
-
Genetic algorithms in optimization of system reliability
-
June
-
L. Painton and J. Campbell, "Genetic Algorithms in Optimization of System Reliability," IEEE Trans. Reliability, vol.44, no.2, pp. 172-178, June 1995.
-
(1995)
IEEE Trans. Reliability
, vol.44
, Issue.2
, pp. 172-178
-
-
Painton, L.1
Campbell, J.2
-
10
-
-
0017525232
-
DETERMINING COMPONENT RELIABILITY AND REDUNDANCY FOR OPTIMUM SYSTEM RELIABILITY.
-
F.A. Tillman, C.L. Hwang, and W. Kuo, "Determining Component Reliability and Redundancy for Optimum System Reliability," IEEE Trans. Reliability, vol.R-26, pp. 162-165, 1977. (Pubitemid 8550408)
-
(1977)
IEEE Transactions on Reliability
, vol.R-26
, Issue.3
, pp. 162-165
-
-
Tillman Frank, A.1
Hwang Ching-Lai2
Kuo Way3
-
11
-
-
0037333206
-
Reliability allocation through cost minimization
-
Mar.
-
A.O.C. Elegbede, C. Chu, K.H. Adjallah, and F. Yalaoui, "Reliability Allocation through Cost Minimization," IEEE Trans. Reliability, vol.52, no.1, pp. 106-111, Mar. 2003.
-
(2003)
IEEE Trans. Reliability
, vol.52
, Issue.1
, pp. 106-111
-
-
Elegbede, A.O.C.1
Chu, C.2
Adjallah, K.H.3
Yalaoui, F.4
-
13
-
-
0033905899
-
Reliability allocation and optimization for complex systems
-
A. Mettas, "Reliability Allocation and Optimization for Complex Systems," Proc. Ann. Reliability and Maintainability Symp., pp. 216-221, 2000.
-
(2000)
Proc. Ann. Reliability and Maintainability Symp.
, pp. 216-221
-
-
Mettas, A.1
-
14
-
-
0031355316
-
Optimization of reliability allocation and testing schedule for software systems
-
M.R. Lyu, S. Rangarajan, and A.P.A. van Moorsel, "Optimization of Reliability Allocation and Testing Schedule for Software Systems," Proc. Eighth Int'l Symp. Software Reliability Eng., pp. 336-347, 1997.
-
(1997)
Proc. Eighth Int'l Symp. Software Reliability Eng.
, pp. 336-347
-
-
Lyu, M.R.1
Rangarajan, S.2
Moorsel Van, A.A.P.3
-
15
-
-
0006565375
-
Planning models for software reliability and cost
-
June
-
M.E. Helander, M. Zhao, and N. Ohisson, "Planning Models for Software Reliability and Cost," IEEE Trans. Software Eng., vol.24, no.6, pp. 420-434, June 1998.
-
(1998)
IEEE Trans. Software Eng.
, vol.24
, Issue.6
, pp. 420-434
-
-
Helander, M.E.1
Zhao, M.2
Ohisson, N.3
-
17
-
-
0035400468
-
Architecture-based approach to reliability assessment of software systems
-
DOI 10.1016/S0166-5316(01)00034-7, PII S0166531601000347
-
K. Goseva-Popstojanova and K.S. Trivedi, "Architecture-Based Approach to Reliability Assessment of Software Systems," Performance Evaluation, vol.45, nos. 2/3, pp. 179-204, 2001. (Pubitemid 32529469)
-
(2001)
Performance Evaluation
, vol.45
, Issue.2-3
, pp. 179-204
-
-
Goseva-Popstojanova, K.1
Trivedi, K.S.2
-
18
-
-
6444231796
-
An analytical approach to architecture-based software performance and reliability prediction
-
S.S. Gokhale, W.E. Wong, J.R. Horganc, and K.S. Trivedi, "An Analytical Approach to Architecture-Based Software Performance and Reliability Prediction," Performance Evaluation, vol.58, no.4, pp. 391-412, 2004.
-
(2004)
Performance Evaluation
, vol.58
, Issue.4
, pp. 391-412
-
-
Gokhale, S.S.1
Wong, W.E.2
Horganc, J.R.3
Trivedi, K.S.4
-
19
-
-
0035685350
-
Comparison of architecture-based software reliability models
-
K. Goseva-Popstojanova, A.P. Mathur, and K.S. Trivedi, "Comparison of Architecture-Based Software Reliability Models," Proc. 12th Int'l Symp. Software Reliability Eng., pp. 22-31, 2001. (Pubitemid 34080692)
-
(2001)
Proceedings of the International Symposium on Software Reliability Engineering, ISSRE
, pp. 22-31
-
-
Goseva-Popstojanova, K.1
Mathur, A.P.2
Trivedi, K.S.3
-
20
-
-
33745187612
-
Incorporating fault debugging activities into software reliability models: A simulation approach
-
June
-
S. Gokhale, M.R. Lyu, and K.S. Trivedi, "Incorporating Fault Debugging Activities into Software Reliability Models: A Simulation Approach," IEEE Trans. Reliability, vol.55, no.2, pp. 281-292, June 2006.
-
(2006)
IEEE Trans. Reliability
, vol.55
, Issue.2
, pp. 281-292
-
-
Gokhale, S.1
Lyu, M.R.2
Trivedi, K.S.3
-
22
-
-
0033274950
-
Time/structure based software reliability model
-
S. Gokhale and K.S. Trivedi, "Time/Structure Based Software Reliability Model," Annals of Software Eng., vol.8, pp. 85-121, 1999.
-
(1999)
Annals of Software Eng.
, vol.8
, pp. 85-121
-
-
Gokhale, S.1
Trivedi, K.S.2
-
23
-
-
0023825824
-
Numerical transient analysis of markov models
-
A. Reibman and K.S. Trivedi, "Numerical Transient Analysis of Markov Models," Computers and Operations Research, vol.15, no.1, pp. 19-36, 1988.
-
(1988)
Computers and Operations Research
, vol.15
, Issue.1
, pp. 19-36
-
-
Reibman, A.1
Trivedi, K.S.2
-
27
-
-
34250328268
-
An assessment of testing-effort dependent software reliability growth models
-
June
-
C. Huang, S. Kuo, and M.R. Lyu, "An Assessment of Testing-Effort Dependent Software Reliability Growth Models," IEEE Trans. Reliability, vol.56, no.2, pp. 198-211, June 2007.
-
(2007)
IEEE Trans. Reliability
, vol.56
, Issue.2
, pp. 198-211
-
-
Huang, C.1
Kuo, S.2
Lyu, M.R.3
-
28
-
-
33847320524
-
Quantifying software performance, reliability and security: An architecture-based approach
-
Apr.
-
V.S. Sharma and K.S. Trivedi, "Quantifying Software Performance, Reliability and Security: An Architecture-Based Approach," J. Systems and Software, vol.80, no.4, pp. 493-509, Apr. 2007.
-
(2007)
J. Systems and Software
, vol.80
, Issue.4
, pp. 493-509
-
-
Sharma, V.S.1
Trivedi, K.S.2
-
29
-
-
0022705483
-
Software reliability growth models with testing effort
-
Apr.
-
S. Yamada, H. Ohtera, and H. Narihisa, "Software Reliability Growth Models with Testing Effort," IEEE Trans. Reliability, vol.35, no.1, pp. 19-23, Apr. 1986.
-
(1986)
IEEE Trans. Reliability
, vol.35
, Issue.1
, pp. 19-23
-
-
Yamada, S.1
Ohtera, H.2
Narihisa, H.3
-
30
-
-
29344475235
-
Optimal release time for software systems considering cost, testing-effort, and test efficiency
-
Dec.
-
C. Huang and M.R. Lyu, "Optimal Release Time for Software Systems Considering Cost, Testing-Effort, and Test Efficiency," IEEE Trans. Reliability, vol.54, no.4, pp. 583-591, Dec. 2005.
-
(2005)
IEEE Trans. Reliability
, vol.54
, Issue.4
, pp. 583-591
-
-
Huang, C.1
Lyu, M.R.2
-
31
-
-
0030417573
-
Sensitivity of reliability-growth models to operational profile errors vs testing accuracy
-
A. Pasquini, A.N. Crespo, and P. Matrella, "Sensitivity of Reliability-Growth Models to Operational Profile Errors vs Testing Accuracy," IEEE Trans. Reliability, vol.45, no.4, pp. 531-540, 1996.
-
(1996)
IEEE Trans. Reliability
, vol.45
, Issue.4
, pp. 531-540
-
-
Pasquini, A.1
Crespo, A.N.2
Matrella, P.3
-
32
-
-
0011711452
-
Regression tree modeling for the prediction of software quality
-
Mar.
-
S. Gokhale and M.R. Lyu, "Regression Tree Modeling for the Prediction of Software Quality," Proc. Third ISSAT Int'l Conf. Reliability, pp. 31-36, Mar. 1997.
-
(1997)
Proc. Third ISSAT Int'l Conf. Reliability
, pp. 31-36
-
-
Gokhale, S.1
Lyu, M.R.2
-
33
-
-
0020151664
-
Number of faults per line of code
-
July
-
M. Lipow, "Number of Faults Per Line of Code," IEEE Trans. Software Eng., vol.8, no.4, pp. 437-439, July 1982.
-
(1982)
IEEE Trans. Software Eng.
, vol.8
, Issue.4
, pp. 437-439
-
-
Lipow, M.1
-
34
-
-
36349031120
-
Using software reliability growth models in practice
-
Nov./Dec.
-
V. Almering, M. Van Genuchten, G. Cloudt, and P.J.M. Sonnemans, "Using Software Reliability Growth Models in Practice," IEEE Software, vol.24, no.6, pp. 82-88, Nov./Dec. 2007.
-
(2007)
IEEE Software
, vol.24
, Issue.6
, pp. 82-88
-
-
Almering, V.1
Van Genuchten, M.2
Cloudt, G.3
Sonnemans, P.J.M.4
-
36
-
-
10244229097
-
A scenario-based reliability analysis approach for component-based software
-
Dec.
-
S. Yacoub, B. Cukic, and H.H. Ammar, "A Scenario-Based Reliability Analysis Approach for Component-Based Software," IEEE Trans. Reliability, vol.53, no.4, pp. 465-480, Dec. 2004.
-
(2004)
IEEE Trans. Reliability
, vol.53
, Issue.4
, pp. 465-480
-
-
Yacoub, S.1
Cukic, B.2
Ammar, H.H.3
-
37
-
-
0030401545
-
Unification of finite failure non-homogeneous poisson process models through test coverage
-
S.S. Gokhale, T. Philip, P.N. Marinos, and K.S. Trivedi, "Unification of Finite Failure Non-Homogeneous Poisson Process Models through Test Coverage," Proc. Seventh Int'l Symp. Software Reliability Eng., 1996.
-
(1996)
Proc. Seventh Int'l Symp. Software Reliability Eng.
-
-
Gokhale, S.S.1
Philip, T.2
Marinos, P.N.3
Trivedi, K.S.4
-
38
-
-
0036891786
-
An empirical method for selecting software reliability growth models
-
C. Stringfellow and A.A. Andrews, "An Empirical Method for Selecting Software Reliability Growth Models," Empirical Software Eng., vol.7, no.4, pp. 297-318, 2002.
-
(2002)
Empirical Software Eng.
, vol.7
, Issue.4
, pp. 297-318
-
-
Stringfellow, C.1
Andrews, A.A.2
-
39
-
-
0034140205
-
SREPT: Software reliability estimation and prediction tool
-
S. Ramani, S. Gokhale, and K. Trivedi, "SREPT: Software Reliability Estimation and Prediction Tool," Performance Evaluation, Special Issue on Tools for Performance Evaluation, vol.39, no.1, pp. 37-60, 2000.
-
(2000)
Performance Evaluation, Special Issue on Tools for Performance Evaluation
, vol.39
, Issue.1
, pp. 37-60
-
-
Ramani, S.1
Gokhale, S.2
Trivedi, K.3
-
40
-
-
51649147836
-
NLQPL: A FORTRAN-subroutine solving constrained nonlinear programming problems
-
K. Schittkowski, "NLQPL: A FORTRAN-Subroutine Solving Constrained Nonlinear Programming Problems," Annals of Operations Research, vol.5, pp 485-500, 1985.
-
(1985)
Annals of Operations Research
, vol.5
, pp. 485-500
-
-
Schittkowski, K.1
|