Research Papers
Articles Published in Journals
Ultra-High Reliability Prediction for Fault-Tolerant Computer Systems, with R.M. Geist, IEEE Trans. on Computers, Vol. C-32, No. 12 (Dec. 1983), pp. 1118-1127. This paper has been very heavily referenced.
Decomposition in Reliability Analysis of Fault-Tolerant Systems, with R.M. Geist, IEEE Transactions on Reliability, Dec. 1983. The notion of behavioral decomposition was developed in this paper.
Hybrid Reliability Modeling for Fault-Tolerant Computer Systems, with R. Geist, M. Smotherman, and J. Bechta Dugan, Computers and Electrical Engineering, Vol. 11, No. 2/3, pp. 87-108, 1984. The notion of coverage as a Laplace transform was developed in this paper; this notion is the main idea behind HARP.
The Conservativeness of Reliability Estimates Based on Instantaneous Coverage,
IEEE Transactions on Computers, with J. McGough and M. Smotherman, Vol. C-34, No. 7, July 1985, pp.602-609.
An Aggregation Technique for the Transient Analysis of Stiff Markov Chains, with A. Bobbio, IEEE Transactions on Computers, Vol. C-35, No. 9, Sept. 1986, pp. 803-814.
Reliability Analysis of Life-Critical Systems,
R. Geist, M. Smotherman, K. S. Trivedi, J. Bechta Dugan,
Acta Informatica, Vol. 23, No. 6, Nov. 1986.
A Single Server Queue in a Hard-Real-Time Environment , with F. Baccelli, Operations Research Letters, Vol.4, No. 4, Dec. 1985, pp. 161-168.
The Hybrid Automated Reliability Predictor, with J. Bechta Dugan, R. Geist and M. Smotherman, AIAA Journal on Guidance, Control and Dynamics, Vol. 9, No. 3, May-June 1986, pp. 319-331.
Provably Conservative Approximations to Complex Reliability Models, with M. Smotherman and R. Geist, IEEE Transactions on Computers, Vol. C-35, No. 4, Apr. 1986, pp. 333-338.
Performance and Reliability Analysis Using Directed Acyclic Graphs,
with R. Sahner, IEEE Transactions on Software Engineering, Vol. SE-14, No. 10, pp. 1105-1114, Oct. 1987.
Analysis of Typical Fault-Tolerant Architectures using HARP, with S. Bavuso, J. Bechta Dugan, E. Rothmann and W. E. Smith, IEEE Transactions on Reliability, Vol. R-36, No. 2, June 1987, pp. 176-185.
Reliability Modeling using SHARPE, with R. Sahner, IEEE Transactions on Reliability, Vol. R-36, No. 2, June 1987, pp. 186-193. This paper has been heavily referenced.
Reliability Analysis of Systems with Limited Repairs, with A. Goyal, V. Nicola and A. Tantawi, IEEE Transactions on Reliability, Vol. R-36, No. 2, June 1987, pp. 202-207.
Computer-aided Reliability Analysis of Fault-Tolerant Systems, with J. Bechta Dugan Sadhana, Vol. 11, Parts 1 & 2, pp. 209-220, Indian Academy of Sciences, Oct. 1987.
The Use of Weibull Fault Processes in Modeling Fault Tolerant Systems, with R. Geist, M. Smotherman and J. Dugan, AIAA Journal on Guidance, Control and Dynamics, Vol. 11, No. 1, pp. 91-93, Jan.-Feb. 1988.
Multistage Interconnection Network Reliability, with J. Blake, IEEE Transactions on Computers, Vol. C-38, No. 11, pp. 1600-1604, Nov. 1989.
Markov Reliability Models of Flight Control Systems, with J. McGough and A. Reibman, AIAA Journal on Guidance, Control and Dynamics, Vol. 12, No. 2, pp. 209-219, Mar.-Apr. 1989.
Reliability Analysis of Interconnection Networks Using Hierarchical Composition,
with J. Blake, IEEE Transactions on Reliability, Vol. 38, No. 1, Apr. 1989, pp. 111-120.
Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems, with J. Bechta Dugan, IEEE Transactions on Computers, Vol. 38, No. 6, June 1989, pp. 775-787. This paper is highly regarded.
Reliability Estimation of Fault-Tolerant Systems: Tools and Techniques , with R. Geist, IEEE Computer, Vol. 23, No. 7, July 1990, pp. 52-61.
An Improved Algorithm for Symbolic Reliability Analysis, with M. Veeraraghavan, IEEE Transactions on Reliability, Vol. 40, No. 3, pp. 347-358, August 1991.
Reliability Analysis of Redundant Arrays of Inexpensive Disks,
Manish Malhotra and Kishor Trivedi, Journal
of Parallel and Distributed Computing, Vol. 17, pp. 146-151, 1993.
A Software Tool for Learning About Stochastic Models, with Robin Sahner, IEEE Transactions on Education, Vol. 36, No. 1, pp. 56-61, Feb. 1993.
Reliability Modeling of Life-Critical Real-Time Systems
, with Robert Geist, Varsha Mainkar and Lorrie Tomek, Proceedings of the IEEE, Vol. 82, No. 1, pp. 108-121, January 1994.
A Combinatorial Algorithm for Performance and Reliability Analysis using Multistate Models, with M. Veeraraghavan, IEEE Transactions on Computers, Vol. 43, No. 2, pp. 229-234, February 1994.
Power-Hierarchy of Dependability Model Types, with Manish Malhotra, IEEE Transactions on Reliability, Vol. 43, No. 2, pp. 493-502, Sept. 1994.
A Survey on Efficient Computation of Reliability Using Disjoint Products Approach , with Suresh Rai and Malathi Veeraraghavan, Networks, Vol. 25, No. 3 (1995), pp. 147-163.
Dependability Evaluation of the Double Counter-Rotating Ring with Concentrator Attachments, with D. Logothetis, ACM/IEEE Transactions on Networks, Vol. 2, No. 5, pp. 520-532, Oct. 1994
Stochastic Reward Nets for Reliability Prediction, with Jogesh Muppala and Gianfranco Ciardo, Communications in Reliability, Maintainability and Serviceability: An International Journal published by SAE International, Vol. 1, No. 2, pp. 9-20, July 1994.
Data integrity analysis of disk array systems with analytic modeling
of
coverage, with M. Malhotra, Performance Evaluation, Vol 22, No. 1, pp. 111-134, 1995.
Dependability Modeling Using Petri-Nets, with M. Malhotra, IEEE Transactions on Reliability, Vol. 44, No. 3, pp. 428-440, Sept., 1995.
Dependability Modeling of Real-Time Systems Using Stochastic Reward Nets, with Cristian Constantinescu, Microelectronics and Reliability, Vol. 35, No. 6, 1995, pp. 903-914.
Numerical Methods for Reliability Evaluation of Markovian Closed Fault-tolerant Systems, with Christoph Lindemann and Manish Malhotra, IEEE Transactions on Reliability, Vol. 44, No. 4, pp. 694-704, Dec. 1995.
Stochastic Petri Nets for the Reliability Analysis of Communication Network Applications with Alternate-Routing , with M. Balakrishnan, Reliability Engineering and System Safety, special issue on Reliability and Safety Analysis of Dynamic Process Systems, Vol. 52, No. 3, pp. 243-259, 1996.
Accelerating Mean Time to Failure Computations, with P. Heidelberger and J. Muppala, Performance Evaluation, Vol. 27 & 28, October 1996, North-Holland, pp. 627-645.
The Effect of Detection and Restoration Times for Error Recovery in Communication Networks , with D. Logothetis, Journal of Network and Systems Management, vol. 5, no. 2, pp.173-195, June 1997.
Analysis of Conditional MTTF of Fault-Tolerant Systems, with H. Choi and W. Wang, Microelectronics and Reliability,
Vol. 38, No. 3, pp. 393-401, 1998.
An Improved Algorithm for Coherent System Reliability, with Tong Luo, IEEE Trans. on Reliability, Vol. 47, No. 1, pp. 73-78, March 1998.
An Algorithm for Reliability Analysis of Phased-Mission Systems , with Yue Ma, Reliability Engineering and System Safety, Vol 66, No. 2, pp. 157-170, 1999.
A BDD-based Algorithm for Reliability Analysis of Phased-Mission Systems, with Hairong Sun and Xinyu Zang, IEEE Transactions on Reliability, Vol. 48, No. 1, pp. 50-60, March 1999.
An Integrated Reliability Modeling Environment, with A. Ramesh, A. Somani, D. Twigg, U. Sandadi, and T. Sharma, Reliability Engineering and System Safety , Elsevier, Vol. 65, pp. 55-75, 1999.
Hierarchical composition and aggregation of state-based
availability and performability models,
M. Lanus; Liang Yin; Kishor Trivedi,
IEEE Transactions on Reliability, Vol. 52, Issue 1, pp. 44-52, March 2003.
A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components,
with X. Zang, D. Wang, and H. Sun,
IEEE Transactions on Computers, Vol. 52, No. 12, pp.
1608-1618,
December 2003.
Model-Based Evaluation: From Dependability to Security,
D. Nicol; W. Sanders; Kishor Trivedi, IEEE Transactions on Dependable and
Secure Computing, Vol. 1, No. 1, pp.
48--65, Jan.-March 2004. Invited paper, inaugural issue.
Computing Steady-State Mean Time to Failure for Non-Coherent Repairable
Systems
D. Wang and K. S. Trivedi, IEEE Transactions on Reliability,
Vol. 54, No. 3 , pp. 506--516, 2005.
Performance and Reliability of Tree-Structured Grid Services
Considering Data Dependence and Failure Correlation,
with Y. Dai and G. Levitin, IEEE Transactions on Computers,
Vol. 56, No. 7, pp. 925--936, July 2007.
Chapters of Books
Reliability Evaluation for Fault-Tolerant Systems, invited paper, in: Mathematical Computer Performance and Reliability, G. Iazeolla , P. J. Courtois and A. Hordijk (eds.), Elsevier Science Publishers B.V. (North-Holland), 1984, pp. 403-414 (invited).
Modeling and Analysis of Fault-Tolerant Systems, invited paper, in: Modelling Techniques and Tools for Performance Analysis, D. Potier (ed.), North-Holland, Amsterdam, 1985, pp. 463-482 (invited).
Issues in Reliability Modeling of Fault-Tolerant Systems, with J. Bechta Dugan, R. M. Geist, and M. Smotherman, in: Informatik-Fachberichte, Vol. 84: Fehlertolerierende Rechensysteme, K. -E. Grosspietsch and M. Dal Cin (eds.), Springer-Verlag, Berlin, 1984, pp. 228-239.
Modeling and Analysis of Fault Tolerant Multiple Processor Systems, with R. Geist, in: Handbook of Advanced Semiconductor Technology and Computer Systems,G. Rabbat (ed.), Van Nostrand Reinhold, New York, 1988, pp. 776-796.
Hierarchical Modeling for Reliability and Performance Measures, with M. Veeraraghavan, in: Concurrent Computations: Algorithms, Architecture and Technology, S. K. Tewksbury, B. W. Dickson and S. C. Schwartz (eds.), Plenum Press, New York, 1988.
Availability and Reliability Modeling for Computer Systems, with D. Heimann and N. Mittal, in: Advances in Computers,, M. Yovitts (Ed.), Vol. 31, pp. 175-233, Academic Press, San Diego, 1990.
Efficient Multiple Variable Inversion Techniques for Two-Terminal Network Reliability Evaluation, with Malathi Veeraraghavan, in: New Trends in System Reliability Evaluation, (invited) K. Misra (ed.), pp. 39-74, Elsevier Science Publishers, Amsterdam, 1993.
Reliability Modeling with Computer-Based Tools, with Manish Malhotra, Sandy Wang and Malathi Veeraraghavan, in: Quality & Reliability in Computer-Based Medical Products, (invited) H. Troy Nagle and Roger Schneider (eds.), IEEE Press, 1993, to appear.
Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives, with B. Haverkort, A. Rindos and V. Mainkar, Computer Performance Evaluation: Modelling Techniques and Tools, (invited) Lecture Notes in Computer Science 794, G. Haring and G. Kotsis (eds.), Springer Verlag, pp. 1-24, 1994.
A BDD Approach to Dependability Analysis of Distributed Computer Systems with Imperfect Coverage, with X. Zang and H. Sun, in Dependable Network Computing, D. R. Avresky (ed.), pp. 167-190, Kluwer Academic Publishers, The Netherlands, 1999.
Techniques for System Dependability Evaluation, with J. Muppala and R. Fricks, in Computational Probability, W. Grassman (ed.), pp. 445-480, Kluwer Academic Publishers, The Netherlands, 2000.
Stochastic Modeling Formalisms for Dependability, Performance and Performability, with K. Goseva - Popstojanova, in Performance Evaluation - Origins and Directions, Lecture Notes in Computer Science, G. Haring, C. Lindemann, M. Reiser (eds.), pp. 385-404, Springer Verlag, 2000.
Articles in Symposia Proceedings
A Validation Prototype of System Reliability in Life-Critical Applications, with J.W. Gault and J.B. Clary, Proc. 19th Annual Tech. Symp. on Pathways to System Integrity, June 1980(won the best paper award).
Hybrid Modeling Techniques and Their Applications to Fault Tolerant Computer Systems, with R. M. Geist, Proc. Fifteenth Annual Pittsburgh Conference on Modeling and Simulation, Pittsburgh, Pa., Apr. 1984.
Modeling Imperfect Coverage in Fault-Tolerant Systems, with R. Geist, J. Dugan, and M. Smotherman, Proc. Fourteenth Int. Symp. on Fault-Tolerant Computing, Orlando, Florida, June 1984.
The Design of a Unified Package for the Solution of Stochastic Petri Net Models, with J. Bechta Dugan, A. Bobbio, and G. Ciardo, Proc. International Workshop on Timed Petri Nets, Torino, Italy, July 1985.
Dependability Prediction: Comparison of Tools and Techniques, with M. Mulazzani, Proc. IFAC SAFECOMP, France, 1986.
A Hierarchical Combinatorial-Markov Method of Solving Complex Reliability Models, Proceedings, ACM/IEEE Fall Joint Computer Conference, Dallas, Texas, Nov. 1986.
Reliability and Performance Analysis of a Ringnet, with P. Yu and W. E. Smith, Local Communication Systems: LAN and PBX, J. P. Cabanel, G. Pujolle and A. Danthine (eds.), Elsevier Science Publishers B.V. (North-Holland), 1987, pp. 111-123.
Reliability of the Shuffle-Exchange Network and Its Variants, with J. Blake, 21st Annual Hawaii Conference on System Sciences, Jan. 1988.
Sensitivity Analysis of Reliability and Performability for Multiprocessor Systems, with J. Blake and A. Reibman, Proc. 1988 ACM SIGMETRICS Conference,Santa Fe, New Mexico, pp. 177-186, May 1988.
Reliabilities of Two Fault-Tolerant Interconnection Networks, with J. Blake, Proc. Eighteenth International Symposium on Fault-Tolerant Computing,Tokyo, Japan, June 1988.
On Reliability Modelling of Fault-Tolerant Distributed Systems, with P. Thambidurai and Y.-K. Park, Proc. The 9th Int. Conf. on Distributed Computing Systems,Newport Beach, CA, June 1989.
Transient Overloads in Fault-Tolerant Real-Time Systems, with P. Thambidurai, IEEE Tenth Real-Time Systems Symposium, December 1989.
An Improved Algorithm for the Symbolic Reliability Analysis of Networks, with M. Veeraraghavan, Ninth Symposium on Reliable Distributed Systems, Huntsville, Oct. 1990, pp. 34-43.
Reliability Modeling of the MARS System: A Case Study in the Use of Different Tools and Techniques, with H. Kantz, International Conference on Petri Nets and Performance Models, Melbourne, Australia, December 1991.
Reliability Analysis of the FDDI Token Ring, with D. Logothetis, Proceedings of the 16th Conference on Local Computer Networks , pp. 41 - 51, Minneapolis, MN, October 14 - 17, 1991.
Reliability Modeling of Disk Array Systems, with Manish Malhotra, Sixth International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Edinburgh, Scotland, Sept. 16-18, 1992.
Conditional MTTF and its Computation in Markov Reliability Models, with H. Choi, Annual Reliability and Maintainability Symposium, Atlanta, GA, January 25-28, 1993.
Reliability Analysis of Various Station Attachment Schemes in a FDDI Token Ring, with D. Logothetis, Proceedings of the IEEE INFOCOM 93, San Francisco, CA, March 1993.
An Analytic Treatment of the Reliability and Performance of Mirrored Disk Subsystems, with Robert Geist, Proc. Twenty-third International Symposium on Fault-Tolerant Computing, Toulouse, France, June 1993.
A Combinatorial Algorithm for Performance and Reliability Analysis using Multistate Models, with M. Veeraraghavan, Twelveth Symposium on Reliable Distributed Systems, Holmdel, Oct. 1993.
A Methodology for Formal Expression of Hierarchy in Model Solution, with Manish Malhotra, Proc. Fifth Int. Workshop on Petri Nets and Performance Models (PNPM93), Toulouse, pp. 258-267, October 1993.
Reliability and Performability Techniques and Tools: A Survey (invited paper), with Manish Malhotra, Proc. 7th ITG/GI Conference on Measurement, Modelling and Evaluation of Computer and Communication Systems, Aachen University of Technology, pp. 27-48, Sept. 1993.
Phased-Mission System Analysis Using Boolean Algebraic Methods, with Arun K. Somani, Proc. 1994 ACM SIGMETRICS Conference, Nashville, TN, pp. 98-107, May 1994.
Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives, with Boudewijn R. Haverkort, Andy Rindos and Varsha Mainkar, Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Vienna, Austria, May 1994 (invited paper).
Markov reward approach to performability and reliability analysis, with M. Malhotra and R.M. Fricks, Proc. MASCOTS 1994, the Second International Workshop. pp. 7-11 1994
The Impact of Fault Expansion on the Interval Estimate for Fault Detection Coverage, with Wei Wang, B. Shah and Joe Profeta, Proc. Twenty-fourth International Symposium on Fault-Tolerant Computing, Austin, Texas, June 1994.
Componentwise Decomposition for an Efficient Reliability Computation of Systems with Repairable Components, with M. Balakrishnan, Proc. Twenty-fifth International Symposium on Fault-Tolerant Computing, Pasadena, CA, pp. 259-268, July 1995.
A User-Friendly Dependability Evaluation Tool, with Herbert Hecht, Ann T. Tai and Andrew J. Chruscicki, Proc. IEEE NAECON, Dayton, Ohio, May 1996.
IDEA: Integrated Design Environment for Assessment of ATM Networks, with R. Fricks, S. Hunter, and S. Garg, Proc. Second IEEE International Conference on Engineering of Complex Computer Systems, Montreal, October 21-25, 1996, pp. 27-34.
Modeling Failure Dependencies in Reliability Analysis Using Stochastic Petri Nets, with R. Fricks, Proc. European Simulation Multi-conference (ESM '97), Istanbul, Jun. 1997.
The Development of an Integrated Modeling Environment, with R. Fricks, C. Hirel, and S. Wells, Proc. World Congress on Systems Simulation (WCSS '97), (2nd Joint Conference of International Simulation Societies), Singapore, Sept. 1-3, 1997, pp. 471-476.
An Improved Multiple Variable Inversion Algorithm for Reliability Calculation, with T. Luo, 10th International Conference for Computer Performance Evaluation, TOOLS'98, Palma, Spain, Sept. 98.
Dependability Modeling and Evaluation of Phased Mission Systems: a DSPN Approach, with Ivan Mura, Andrea Bondavalli and Xinyu Zang, Proc. of Dependable Computing for Critical Applications (DCCA) 7, Jan. 1999, San Jose.
Dependability Analysis of Distributed Computer Systems with Imperfect Coverage, with Hairong Sun and Xinyu Zang, Proc. Twenty-Ninth International Symposium on Fault-Tolerant Computing (FTCS-29), June 1999.
Dependability Modeling and Senisitivity Analysis of Scheduled Maintenance Systems, with A. Bondavalli and I. Mura, Proc. Third European Dependability Computing Conference EDCC 3, Prague, Czech Republic, Sept. 1999.
Building a Reliable Message Delivery System Using the CORBA Event Service, with S. Ramani and B. Dasarathy, Proc. of IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems, Lecture Notes in Computer Science, No. 1800, May 1-5 2000, Cancun, Mexico.
Ten Fallacies of Availability and Reliability Analysis, with M. Grottke, H. Sun, and R. M. Fricks. Proc. 5th International Service Availability Symposium, Tokyo, Japan, pp. 187-206, May 2008.
Last updated on 12 June 2008