You are here

Publications

 

Books | Book Chapters | Editorships | Journal Articles | Conference Proceedings | Invited Presentations | Research Reports | Patents

Books

  1. Statistical Distribution Functions and Tables in Reliability Engineering W.M. Webb, M. Modarres, A. Mosleh, and C.S. Smidts Center for Reliability Engineering, University of Maryland, College Park, Maryland, 2004. ISBN: 978-0-96-526691-8
  2. A Large Scale Validation of a Methodology for Assessing Software Reliability C. Smidts, Y. Shi, M. Li, W. Kong, and J. Dai. Office of Nuclear Regulatory Research, NUREG/CR-7042, Jul. 2011

Back to Top

Book Chapters

  1. Software Reliability C. Smidts, Kowalski, R. Reliability, Maintainability and System Effectiveness Handbook, CRC Press, Inc., ISBN 0-8493-9457-0, 1995.
  2. Software Reliability: Current Approaches, New Directions C. Smidts The Electronics Handbooks, CRC Press Publication, ISBN 0-8493-8345-5, 1997.
  3. Software Reliability Models C. Smidts, Li, B., M. Li, and Li, Z. The Encyclopedia of Software Engineering, Vol. 2, 2nd ed., New York: John Wiley & Sons Inc., 2002, pp. 1594–1610.
  4. Nuclear Reactor Instrumentation and Control Systems C. Smidts, and Arndt, S. Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., 2004.
  5. Operational Profile Testing C. Smidts, McGill, J., Lakey, P., Rodriguez, M. Encyclopedia of Software Engineering, Vol. 1, Taylor & Francis Group, ISBN 1-4200-5977-7, 2010.
  6. Software Dependability for the Healthcare and Nuclear Power Industries R.M. Gardner, K.D. Thomas, and C. Smidts Risk and Reliability in Healthcare and Nuclear Power: Learning from Each Other, AAMI Publication, 2012.

Back to Top

Editorships

  1. Model Uncertainty: Its Characterization and Quantification A. Mosleh, N. Siu, C. Smidts, and C. Lui International Workshop Series on Advanced Topics in Reliability and Risk Analysis, Center of Reliability Engineering Publication, 1996.
  2. Dynamic Reliability: Future Directions Editors: C. Smidts, J. Devooght, and P.E. Labeau International Workshop Series on Advanced Topics in Reliability and Risk Analysis, Center of Reliability Engineering Publication, August 2000. ISBN: 978-0-96-526693-2
  3. Eleventh IEEE International Symposium on High Assurance Systems Engineering Editors: X. Li, C. Smidts, and J. Xu IEEE Computer Society, December 2008, ISBN 978-0-7695-3482-4.
  4. Report from the light water reactor sustainability workshop on advanced instrumentation, information, and control systems and human-system interface technologies Editors: B. Hallbert, J. J. Persensky, C. Smidts, T. Aldemir, and J. Naser Idaho National Laboratory INL/EXT-09-16631, August 2009, Held March (2009): 20-21.
  5. Proceedings of the International Workshop on Dynamic Reliability Editors: T. Aldemir and C. Smidts Center for Risk and Reliability, University of Maryland, October 2007.
  6. Failure Modes Taxonomy for Reliability Assessment of Digital Instrumentation and Control Systems for PRA Editors: Holmberg, Jan-Erik et al Nuclear Safety NEA/CSNI/R (2014)16, Feb., 2015. JT03370601. Accepted: 2014.

Back to Top

Journal Articles

  1. Recent Progress in Human Reliability Models for Nuclear Power Safety H. Bersini, J. Devooght, and C. Smidts Nuclear Europe, 1988
  2. Suboptimal Inspection Policies for Imperfectly Observed Realistic Systems J. Devooght, A. Dubus, and C. Smidts European Journal of Operational Research, vol. 46, 203–218, 1988 DOI: 10.1016/0377-2217(90)90185-E
  3. Probabilistic Reactor Dynamics I: The Theory of Continuous Event Trees J. Devooght and C. Smidts Nuclear Science and Engineering, vol. 111, pp. 229–240, 1992
  4. Probabilistic Reactor Dynamics II: A Monte Carlo Study of a Fast Reactor Transient C. Smidts and J. Devooght Nuclear Science and Engineering, vol. 111, pp. 241–256, 1992
  5. Probabilistic Reactor Dynamics III: A Framework for Time Dependent Interaction Between Operator and Reactor during a Transient Involving Human Error J. Devooght and C. Smidts Nuclear Science and Engineering, vol. 112, pp. 101–113, 1992
  6. Probabilistic Reactor Dynamics IV: An Example of Man Machine Interaction C. Smidts Nuclear Science and Engineering, vol. 112, 114–126, 1992
  7. Study of the Influence of the Electron Capture and Loss Process of the Secondary Electron Emission Induced by Protons in Aluminum C. Smidts, A. Dubus, J.C. Dehaes, A. Hafni, and J.P. Ganachaud Nuclear Instruments and Methods in Physics Research Section B: Beam Interactions with Materials and Atoms, vol. 67, pp. 646–649, 1992 DOI: 10.1016%2f0168-583X(92)95891-T
  8. Probabilistic Dynamics: A Numerical Comparison between a Continuous Event Tree and a Dylam Type Event Tree C. Smidts Reliability Engineering & System Safety, vol. 44, pp. 189–206, 1994 DOI: 10.1016/0951-8320(94)90011-6
  9. Probabilistic Dynamics as a Tool for Dynamic PSA J. Devooght and C. Smidts Reliability Engineering & System Safety, vol. 52(3), pp. 185–196, 1996 DOI: 10.1016/0951-8320(95)00135-2
  10. A Comparison of Software Testing Methodologies within the Software Engineering Laboratory D. Sova and C. Smidts Empirical Software Engineering, vol. 1, pp. 165–188, 1996 DOI: 10.1109/RAMS.1995.513287
  11. The IDA Cognitive Model for the Analysis of Nuclear Power Plant Operator Response under Accident Conditions. Part I: Problem Solving and Decision Making Model C. Smidts, S-H. Shen, and A. Mosleh Reliability Engineering & System Safety, vol. 55, pp. 51–71, 1997 DOI: 10.1016/S0951-8320(96)00104-4
  12. A Methodology for Collection and Analysis of Human Error Data Based on a Cognitive Model: IDA S.H. Shen, C. Smidts, and A. Mosleh Nuclear Engineering and Design, vol. 172, pp. 157–186, 1997 DOI: 10.1016%2fS0029-5493(97)00002-2
  13. The Cassini Mission Probabilistic Risk Analysis: Comparison of Two Probabilistic Dynamic Methodologies S. S. Swaminathan Bell, J.Y. van Halle, C. Smidts, B. Mulvihill, A. Mosleh, K. Rudolph, and B. Bream Reliability Engineering & System Safety, vol. 58, pp. 1–14, 1997 DOI: 10.1016%2fS0951-8320(97)00052-5
  14. Software Reliability Models: An Approach to Early Reliability Prediction C. Smidts, R.W. Stoddard, and M. Stutzke IEEE Transactions on Reliability, vol. 47, pp. 268–278, 1998 DOI: 10.1109%2f24.740500
  15. Backward Monte Carlo for Probabilistic Dynamics B. Tombuyses, P. Deluca, and C. Smidts Mathematics and Computers in Simulation, vol. 47, pp. 493–505, 1998 DOI: 10.1016/S0378-4754(98)00131-1
  16. The Event Sequence Diagram Framework for Dynamic Probabilistic Risk Assessment S. Swaminathan and C. Smidts Reliability Engineering & System Safety, vol. 63, pp. 73–91, 1998 DOI: 10.1016/S0951-8320(98)00027-1
  17. An Architectural Model for Software Reliability Quantification: Sources of Data C. Smidts and D. Sova Reliability Engineering & System Safety, vol. 64, pp. 279–290, 1999 DOI: 10.1016/S0951-8320(98)00068-4
  18. The Mathematical Formulation for the ESD Framework S. Swaminathan and C. Smidts Reliability Engineering & System Safety, vol. 65, pp. 103–118, 1999 DOI: 10.1016/S0951-8320(98)00092-1
  19. Performance Based Fire Safety Regulation Under Intentional Uncertainty V. Brannigan and C. Smidts Fire and Materials, vol. 23, pp. 341–347, 1999 DOI: 10.1002/(SICI)1099-1018(199911/12)23:6<341::AID-FAM709>3.0.CO;2-1
  20. Identification of Missing Scenarios in ESDs Using Probabilistic Dynamics S. Swaminathan and C. Smidts Reliability Engineering & System Safety, vol. 66, pp. 275–279, 1999 DOI: 10.1016/S0951-8320(99)00024-1
  21. Towards an Integrated Platform for Dynamic Probabilistic Risk Assessment P.E. Labeau, C. Smidts, and S. Swaminathan Reliability Engineering & System Safety, vol. 68, pp. 219–254, 2002 DOI: 10.1016/S0951-8320(00)00017-X
  22. A Stochastic Model of Human Error During Software Development M. Stutzke and C. Smidts IEEE Transactions on Reliability, vol. 50, pp. 184–193, 2001 DOI: 10.1109/ISSRE.1999.809314
  23. Producing Reliable Software: An Experiment C. Smidts, J. Widmaier, and X. Huang Journal of Systems and Software, vol. 61, pp. 213–224, 2002 DOI: 10.1016/S0164-1212(01)00149-2
  24. A Ranking of Software Engineering Measures Based On Expert Opinion M. Li and C. Smidts IEEE Transactions on Software Engineering, vol. 29, pp. 811–24, 2003 DOI: 10.1109/TSE.2003.1232286
  25. Integrating Software into PRA: A Test Based Approach B. Li, M. Li, and C. Smidts Risk Analysis, vol. 25, pp. 1061–1077, 2005 DOI: 10.1111/j.1539-6924.2005.00638.x
  26. QRAS - The Quantitative Risk Assessment System F. Groen, C. Smidts, and A. Mosleh Reliability Engineering & System Safety, vol. 96, pp. 292–304, 2006 DOI: 10.1016/j.ress.2005.01.008
  27. An Experimental Evaluation of Higher-Ordered-Typed Functional Specification Based Test Generation Technique A. Sinha and C. Smidts Empirical Software Engineering, vol. 11, pp. 173–202, 2006 DOI:10.1007/s10664-006-6401-9
  28. How Should Software Reliability Engineering (SRE) Be Taught? M. Garzia, J. Hudepohl, W. Snipes, M. Lyu, J. Musa, C. Smidts, and L. Williams Software Engineering Notes, vol. 31, pp. 1–5, 2006 DOI:10.1145/1142958.1142961
  29. The Information Assurance Laboratory at the University of Maryland: An Overview of Research Activities M. Cukier and C. Smidts RIAC Journal, pp. 16–18, 2006 PDF:RIAC Journal
  30. Integrating Software into PRA: A Software-Related Failure Mode Taxonomy B. Li, M. Li, K. Chen, and C. Smidts Risk Analysis, vol. 26, pp. 997–1012, 2006 DOI:10.1111/j.1539-6924.2006.00795.x
  31. HOTTest: A Model-Based Test Design Technique for Enhanced Testing of Domain-Specific Applications A. Sinha and C. Smidts ACM Transactions on Software Engineering and Methodology, vol. 15, pp. 242–278, 2006 DOI:10.1145/1151695.1151697
  32. A Framework to Integrate Software Behavior into Dynamic Probabilistic Risk Assessment D. Zhu, C. Smidts, and A. Mosleh Reliability Engineering & System Safety, vol. 92, pp. 1733–1755, 2007 DOI:10.1016/j.ress.2006.09.024
  33. A Test Coverage-Based Model for Predicting Software Fault Content and Location During Multi-phase Functional Testing C. Smidts, Y. Shi, and A. Mosleh Communications in Computer and Information Science, vol. 59, pp. 321–329, 2009
    DOI: 10.1007/978-3-642-10619-4_39
  34. Probabilistic Risk Assessment Framework for Software Propagation Analysis of Failures Y. Wei, M. Rodriguez, and C. Smidts Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, vol. 224, pp. 113–135, 2010
    DOI: 10.1243/1748006XJRR241
  35. Predicting the Types and Locations of Faults Introduced During an Imperfect Repair Process and Their Impact on Reliability Y. Shi and C. Smidts International Journal of Systems Assurance Engineering and Management, vol. 1, pp. 36–43, 2010
    DOI: 10.1007/s13198-010-0009-6
  36. Predicting the Types and Locations of Faults Introduced During an Imperfect Repair Process and their Impact on Reliability Y. Shi and C. Smidts International Journal of Systems Assurance Engineering and Management, vol. 1, pp. 36–43, 2010
    DOI: 10.1007/s13198-010-0009-6
  37. Dynamic Reliability of Digital-based Transmitters F. Brissaud, C. Smidts, A. Barros, and C. Bérenguer Reliability Engineering & System Safety, col. 96, pp. 793–813, 2011
    DOI: 10.1016/j.ress.2010.12.014
  38. Hardware Error Likelihood Induced by the Operation of Software B. Huang, M. Rodriguez, M. Li, J.B. Bernstein, and C. Smidts IEEE Transactions on Reliability, vol. 60, pp. 622–639, 2011
    DOI: 10.1109/TR.2011.2161699
  39. Integrated Design-Stage Failure Analysis of Software-Driven Hardware Systems I.Y. Tumer and C. Smidts IEEE Transactions on Computers, vol. 60, pp. 1072–1084, 2011
    DOI: 10.1109/TC.2010.245
  40. Human Reliability Modeling for the Next Generation System Code R. Sundaramurthi and C. Smidts Annals of Nuclear Energy, vol. 52, pp. 137–156, 2013
    DOI: 10.1016/j.anucene.2012.07.027
  41. An Integrated Multidomain Functional Failure and Propagation Analysis Approach for Safe System Design C. Mutha, D. Jensen, I. Tumer, and C. Smidts Artificial Intelligence for Engineering Design, Analysis and Manufacturing, pp. 1–32, 2013
    DOI: 10.1017/S0890060413000152
  42. Predicting residual software fault content and their location during multi–phase functional testing using test coverage C. Smidts and Ying Shi International Journal of Reliability and Safety 7, No. 1, pp. 32–57, 2013
  43. Three Suggestions on the definition of Terms for the safety and reliability analysis of digital systems M. C. Kim and C. Smidts Reliability Engineering & System Safety, Vol. 135, pp. 81–91, March 2015
  44. Software testing with an operational profile: OP definition C. Smidts, C. Mutha, M. Rodríguez, and M. J. Gerber ACM Computing Surveys (CSUR) 46, no. 3, pp. 39, 2014
  45. Hazard and operability (HAZOP) analysis of safety-related scientific software C. Smidts, X. Li, J. Gutpa, M. Allocco, and G. McCartor . International Journal of Reliability, Quality and Safety Engineering., Accepted: 11/21/2014
  46. Validating THERP: Assessing the scope of a full-scale validation of the Technique for Human Error Rate Prediction S. R. Benish, C. Smidts, M. Li, and A. Gupta Annals of Nuclear Energy 77, pp. 194–211, 2015

Back to Top

Conference Proceedings

  1. Methodological Progress in Markovian Availability Analysis and Applications Cantarella, J., J. Devooght, and C. Smidts Proceedings of Probabilistic Safety Assessment and Risk Management PSA ‘87, vol. 1, pp. 72–178, Zürich 1987.
  2. Sub-optimal Inspection Policies for Imperfectly Observed Realistic Systems C. Smidts, Dubus, A., and J. Devooght Proceedings of EURO/TIMS Conference, Paris 1988.
  3. Recent Progress in Human Reliability Models for Nuclear Power Safety B. Huang, X. M. Li Li, J. Bernstein, C. Smidts. Nuclear Europe 10, 13 et. 14 (1988).
  4. A Framework for Time Dependent Interaction between Operator and Reactor During a Transient Involving Human Error J. Devooght, and C. Smidts Proceedings of PSA ‘89 International Topical Meeting, Probability, Reliability and Safety Assessment, vol. 2, pp. 936–942, Pittsburgh 1989.
  5. Reliability Analysis of Large Systems by the Markovian Technique - Development of the CAMERA Software Arien, B., Lamy, D., J. Devooght, and C. Smidts Proceedings of PSA ‘91, 1991.
  6. Probabilistic Reactor Dynamics I: The Theory of Continuous Event Trees J. Devooght, and C. Smidts Proceedings of Adv. In Math. Compu. And React. Phys. Int. Conf. Pittsburgh, 1991.
  7. Probabilistic Reactor Dynamics II: A Monte Carlo Study of a Fast Reactor Transient J. Devooght, and C. Smidts Proceedings of Adv. in Math. Compu. and React. Phys. Int. Conf. Pittsburgh, 1991.
  8. Probabilistic Reactor Dynamics: Comparative Models J. Devooght, and C. Smidts Proceedings of the American Nuclear Society Winter Meeting, San Francisco, November 1991.
  9. Probabilistic Dynamics: Need and Methods C. Smidts, and J. Devooght Proceedings of SCS Simulation Multi-conference. Washington, May 1993.
  10. The Use of Component Influence Graphs to Reduce the Size of Markovian Reliability Problems J. Devooght, Tombuyses, B., and C. Smidts Proceedings of ESREL, 1993.
  11. Probabilistic Dynamics: The Mathematical and Computing Problems Ahead J. Devooght, and C. Smidts Proceedings of AWR NATO ASI Series F, Springer Verlag, Turkey 1994. (Invited) DOI: 10.1007/978-3-662-03041-7_7
  12. A Theoretical Analysis of Dylam-Type Event Tree Sequences J. Devooght, and Smidts, C Proceedings of PSAM-II International Conference, California, 1994.
  13. A Numerical Comparison Between a Continuous Event Tree and a Dylam-Type Event Tree C. Smidts, and J. Devooght Proceedings of PSAM-II International Conference, California, 1994.
  14. A Model for Operator Problem Solving and Decision Making in Abnormal Conditions S-H. Shen, C. Smidts, and A. Mosleh Proceedings of PSAM-II International Conference, California, 1994.
  15. A Comparison of Software Testing Methodologies C. Smidts, and D. Sova Proceedings of The Annual Reliability and Maintainability Symposium, Washington, January 1995.
    DOI: 10.1109/RAMS.1995.513287
  16. A Taxonomy and Root Cause Analysis of Human Cognitive Behavior Based on a Cognitive Model S-H. Shen, C. Smidts, and A. Mosleh Proceedings of Annual Reliability and Maintainability Symposium, Washington, January 1995.
    DOI: 10.1109/RAMS.1995.513262
  17. Application of a Model-Based Human Error Taxonomy to the Analysis of Reactor Operating Events S-H. Shen, C. Smidts, and A. Mosleh Proceedings of the International Topical Meeting on Computer-Based Human Support systems: Technology, Methods and Future. Philadelphia, June 1995.
  18. Use of Precursors in Risk Based Regulation: Regulatory Effectiveness Analysis V. Brannigan and C. Smidts Proceedings of the International Workshop on Precursors. Madison, Wisconsin, 1995.
  19. Requirements for Risk Based Regulation Using Mathematical Risk Models V. Brannigan and C. Smidts Proceedings of PSAM-III International Conference on Probabilistic Safety Assessment and Management. Crete, 1996.
  20. Probabilistic Dynamics: Development of Quasi-Optimal Monte Carlo Strategies Deluca, P., and C. Smidts Proceedings of PSAM- III International Conference on Probabilistic Safety Assessment and Management. Crete, 1996
  21. Regulatory Requirements for Performance Based Codes: Risk Based Regulation V. Brannigan, C. Smidts, and Kilpatrick, A. Proceedings of Interflam. Cambridge, 1996.
  22. Application of Two Different Methods to Accident Probabilistic Analysis of the Cassini Mission Bell, S., Rudolph, K., Bream, B., Mulvihill, B., C. Smidts, A. Mosleh, S. Swaminathan, and Van Halle, J.Y. Proceedings of PSA ’96. Utah, September 1996.
  23. Software Reliability Models: An Approach to Early Reliability Prediction C. Smidts, Stoddard, R.W., and Stutzke, M. Proceedings of ISSRE ‘96. New Jersey, November 1996. (Acceptance rate 30%). DOI: 10.1109/ISSRE.1996.558733
  24. Software Failure Modes and Effects Analysis of Fault Tolerant Software Strategies A. Clark, and C. Smidts Proceedings of PSAM-II International Conference, California, 1994.
  25. Risk Based Regulation Using Probabilistic Risk Assessment in Undefined Environments C. Smidts, and V. Brannigan Proceedings of PSA ’96. Utah, September 1996.
  26. Improvements to Dynamic Methodologies S. Swaminathan, and C. Smidts Proceedings of PSA ’96. Utah, September 1996. (Invited)
  27. A Software Reliability Quantification Framework for Verification and Validation C. Smidts, and D. Sova Proceedings of the 3rd ISSAT Conference. Los Angeles, California, March 1997. (Invited)
  28. Risk Models Involving Human Decisions: Intentional Uncertainty and the Need for Regulation V. Brannigan, C. Smidts, and Kilpatrick, A. Proceedings of NIST Conference on Fire Risk. Washington, D.C., 1997.
  29. An Architectural Model for Software Reliability Quantification C. Smidts, D. Sova, and Mandela, G. Proceedings of ISSRE ’97. Albuquerque, New Mexico, 1997. (Acceptance rate 30%). DOI: 10.1109/ISSRE.1997.630880
  30. Risk-Based Regulation: Intentional Uncertainty V. Brannigan, and C. Smidts Proceedings of Society for Risk Analysis International Meeting. Washington, D.C., 1998.
  31. A Stochastic Model of Human Error in Software Development Stutzke, M., Argarwal, M., and C. Smidts Proceedings of PSAM 4. New York, 1998.
  32. Identification and Quantification of Software Dependencies in Reliability Models E.L. Droguett, A. Mosleh, and C. Smidts Proceedings of PSAM'4. New York, 1998.
  33. Risk-Based Regulation Under Intentional Uncertainty Droguett, E.L., A. Mosleh, and C. Smidts Proceedings of PSAM’4. New York, 1998.
  34. Regulatory Requirements for Performance Based Codes: Risk Based Regulation V. Brannigan, C. Smidts Proceedings of PSAM’4. New York, 1998
  35. Capturing Dynamic Scenarios Using the Event Sequence Diagram Framework Swaminathan., S., and Smidts, C Proceedings of PSAM’4. New York, 1998.
  36. A Framework for Assessing Confidence in Design in Simulation-Based Design Under Uncertainty Swaminathan., S., and Smidts, C Proceedings of RAMS ‘99, Annual Reliability and Maintainability Symposium. Washington, D.C., 1999. DOI: 10.1109/RAMS.1999.744118
  37. Function Point Analysis: An Application to a Nuclear Reactor Protection System Kececi, N., Ming, L., and C. Smidts Proceedings of PSA ’99. Washington, D.C., 1999.
  38. Probabilistic Risk Assessment as a Forensic Science: The Effect of Daubert and Kumho Tire on PRAs as Evidence V. Brannigan, and C. Smidts Proceedings of PSA ’99. Washington, D.C., 1999.
  39. A Stochastic Model of Human Error in Software Development: Impact of Repair Times C. Smidts Published in the Proceedings of ISSRE ‘99, International Symposium on Software Reliability Engineering. Boca Raton, Florida, 1999. (Acceptance rate 30%). DOI: 10.1109/ISSRE.1999.809314
  40. Semi Analytical Solutions to Dynamic Reliability Problems using ESDs: A Study of a Fast Reactor Transient S. Swaminathan, Capel, P., and C. Smidts Proceedings of International Workshop on Dynamic Methodologies. Washington, D.C., 1998.
  41. System-Software Interfaces for Safety-Related Digital I and C Systems Kececi, N., C. Smidts, Modarres, M., and Hu, Y-S. Published in the Proceedings of the European Safety and Reliability Conference. Munich-Garching, Germany, 1999.
  42. An ESD-Probabilistic Dynamics Hybrid Approach for Scenario Generation C. Smidts, and S. Swaminathan Published in the Proceedings of M&C ‘99, International Conference on Mathematics and Computation, Reactor Physics and Environmental Analysis in Nuclear Applications. Madrid, 1999. (Invited)
  43. From Measure To Reliability C. Smidts, M. Li, and Brill, B. Proceedings of the International Topical Meeting on Nuclear Power Plant Instrumentation, Controls, and Human-Machine Interface Technologies (NPIC & HMIT 2000). Washington D.C., 2000.
  44. Ranking Software Engineering Measures Related to Reliability Using Expert Opinion M. Li, and C. Smidts Proceedings of PSAM ‘5. Osaka, 2000. DOI: 10.1109/ISSRE.2000.885876
  45. An Application of the ESD Framework to the Probabilistic Risk Assessment of Dynamic Systems S. Swaminathan and C. Smidts Proceedings of PSAM ‘5. Osaka, 2000.
  46. Producing More Reliable Software: Mature Software Engineering Process vs. State of the Art Technology Widmaier, J., C. Smidts, and Huang, X. Proceedings of the 22nd International Conference on Software Engineering. Limerick, 2000. (Acceptance rate 18%). DOI: 10.1109/ICSE.2000.870400
  47. Ranking Software Engineering Measures Related to Reliability Using Expert Opinion M. Li, and C. Smidts Proceedings of the 11th International Symposium on Software Reliability Engineering. San Jose, 2000. (Acceptance rate 30%).
  48. QRAS: Quantitative Risk Assessment System Groen, F., C. Smidts, A. Mosleh, and S. Swaminathan Proceedings of RAMS 2002, Annual Reliability and Maintainability Symposium. 2002. DOI: 10.1109/RAMS.2002.981666
  49. Integrating Software into PRA: A Taxonomy of Software Related Failures Li, B., M. Li, and C. Smidts Proceedings of 6th IEEE International Symposium on High Assurance Systems Engineering, Fast Abstracts. Boca Raton, Florida, October, 2001.
  50. Automated Modeling and Analysis of Common Cause Failure with QRAS Groen, F., A. Mosleh, and C. Smidts Proceedings of the 20th International System Safety Conference 2002, pp. 38–44. Denver, Colorado, August 5–9, 2002.
  51. Concurrent Modeling of High Assurance Software Sinha, A., Nejad, H., C. Smidts, Moran, A. and Widmaier, J. Proceedings of Dependable Systems and Networks 2002, Supplemental Volume, pp. B 50–B 51. Washington, 2002.
  52. Using Bayesian Theory for Estimating Dependability Benchmark Measures M. Cukier, and C. Smidts Proceedings of Dependable Systems and Networks 2002, Supplemental Volume, pp. F 17–F 18. Washington, 2002.
  53. A Test Automation Approach Based on Functional Modeling of Software Anant, A., Gupta, A., Sinha, A. and C. Smidts Published in the Proceedings of the Seventh International Workshop on Functional Modeling, 2002, University of Maryland, Maryland, USA.
  54. Software Reliability Corroboration C. Smidts, Cukic, B., Gunel, E., M. Li, Singh, H., and Guo, L Published in the Proceedings of the 27th Annual NASA/IEEE Software Engineering Workshop. Greenbelt, Maryland, December 4–6, 2002. (Invited) DOI: 10.1109/SEW.2002.1199453
  55. Accounting for Interface Requirements in Test Automation of Database Application Sinha, A., and C. Smidts Fast Abstract, Proceedings of DSN 2003, pp. B70–B71.
  56. Predicting The Location of Software Errors Nejad, H, M. Li, and C. Smidts Fast Abstract, Proceedings of DSN 2003, pp. B68–B69.
  57. Integrating Software into PRA Li, B., M. Li, Ghose, S., and C. Smidts Proceedings of ISSRE, pp. 246–258. Denver, Colorado, November 17–20, 2003. (Acceptance rate 30%).
  58. Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications Sinha, A., C. Smidts, and Moran, A. Proceedings of ISSRE 2003, pp. 181–190. (Acceptance rate 30%). DOI: 10.1109/ISSRE.2003.1251041
  59. Validation of a Methodology for Assessing Software Reliability M. Li, Wei, Y., Desovski, D., Nejad, H., Ghose, S., Cukic, B., and Smidts, C Validation of a Methodology for Assessing Software Reliability, 2004 DOI: 10.1109/ISSRE.2004.47
  60. An Approach of Estimating the Probability of Fault Propagation Wei, Y., and C. Smidts Fast Abstracts Session, Supplementary Proceedings of the International Symposium of Software Reliability Engineering (ISSRE 2004), pp. 39–40. Saint Malo, Bretagne, France, November 2–5, 2004.
  61. Integrating Software into PRA: A Test Based Approach Li, B., M. Li, and C. Smidts Proceedings of PSAM ‘7, pp. 140–145. Berlin, June 14–18, 2004. DOI: 10.1109/ISSRE.2003.1251066
  62. Validation of a Software Related Failure Mode Taxonomy Lee, A., C. Smidts, Li, B., and M. Li Proceedings of PSAM ‘7, pp. 152–157. Berlin, June 14–18, 2004
  63. Study of the Impact of Hardware Failure on Software Reliability Huang, B., Li, X., Li M., Bernstein, J., and C. Smidts Published in the 41st AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit. Tucson, Arizona, July 10–13, 2005. DOI: 10.1109/ISSRE.2005.39
  64. Software Modeling Framework for Dynamic PRA Zhu D., Mosleh A., C. Smidts Proceedings of European Safety and Reliability Conference 2005, Tri City Poland, pp. 2099–2107.
  65. Teaching SRE in a Diverse Graduate Student Context C. Smidts International Symposium on Software Reliability Engineering. Chicago, Nov 8–11, 2005. (Panel) DOI: 10.1109/ISSRE.2005.42
  66. Fault Propagation Analysis Wei Y., C. Smidts Space Systems Engineering & Risk Management symposium (SSERM ‘05). Los Angeles, October 26–28, 2005.
  67. Study of the Impact of Hardware Fault on Software Reliability B. Huang, X. Li, M. Li, J. bernstein, and C. Smidts The 16th International Symposium on Software Reliability Engineering, Chicago Illinois, November 8–11, 2005. (Acceptance rate 32%)
  68. Software Reliability Engineering C. Smidts Reliability Availability and Maintainability Symposium. Newport Beach, California, January 2006. (Invited) DOI: 10.1109/RAMS.2006.1677379
  69. Software Modeling in a Dynamic PRA Environment Zhu D., C. Smidts, Mosleh A. International Conference on Probabilistic Safety Assessment and Management (PSAM). New Orleans, May 14–16, 2006.
  70. How Time-Related Failures Affect the Software System Y. Wei, M. Rodriguez, and C. Smidts International Conference on Probabilistic Safety Assessment and Management (PSAM). New Orleans, May 14–16, 2006.
  71. Predicting The Location of Software Errors Wei Y., Rodriguez M., C. Smidts Fast Abstract, Proceedings of DSN 2003, pp. B68–B69.
  72. Software Reliability Estimation Due to Microprocessor Transient Faults Huang B., C. Smidts, Bernstein J., Rodriguez M. 42nd AIAA/ASME/SAE/ASEE Joint Propulsion Conference. Sacramento, California, July 9–12, 2006.
  73. Data Collection and Analysis for the Reliability Prediction and Estimation of a Safety Critical System Shi Y., Kong W., C. Smidts Reliability Analysis of System Failure Data 2007, Workshop. Cambridge, United Kingdom, March 1–2, 2007.
  74. On the Development of Fault Injection Profiles Huang B., Rodriguez M, Li M., C. Smidts 53rd Annual Reliability and Maintainability Symposium. Orlando, Florida, January 22–25, 2007. DOI: 10.1109/RAMS.2007.328061
  75. Early Software Reliability Prediction Using Cause-Effect Graphing Analysis Kong W., Shi Y., C. Smidts P53rd Annual Reliability and Maintainability Symposium. Orlando, Florida, January 22–25, 2007. DOI: 10.1109/RAMS.2007.328104
  76. A Reliability Prediction Method for Safety Critical Systems Based on Test Coverage Shi, Y., Kong, W., Dai, J. and C. Smidts The 3rd International Conference on Reliability and Safety Engineering (INCRESE). Kharagpur, India, December 2007. (Acceptance rate 30%)
  77. Incorporation of a Human Reliability Model into the ADAPT PRA Methodology Metzroth, K., Denning, R., C. Smidts, Aldemir T. PSAM 9: International Conference on Probabilistic Safety Assessment & Management, CD-ROM, International Association for Probabilistic Safety Assessment and Management. California, 2008.
  78. On the Use of Extended Finite State Machine Models for Software Fault Propagation and Software Reliability Estimation Shi Y., Li M., C. Smidts In the 6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Controls, and Human Machine Interface Technology. Knoxville, Tennessee, 2009.
  79. Lessons Learnt From the Application of the Test Coverage RePS Shi Y., Kim M.C., C. Smidts The 6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies (NPIC-HMIT 2009) on CD-ROM, American Nuclear Society, LaGrange Park, Illinois. Knoxville, Tennessee, April 5–9, 2009.
  80. Software Failure and Error Propagation Analysis Using the United Modeling Language Mutha, C., Rodriguez, M., and C. Smidts International Probabilistic Safety Assessment Management Conference (PSAM). Seattle, Washington, June 7–11, 2010.
  81. An Early Design Stage UML-Based Safety Analysis Approach for High Assurance Software Systems Mutha, C.; C. Smidts High-Assurance Systems Engineering (HASE), 2011 IEEE 13th International Symposium on, pp. 202–211, 10-12 Nov. 2011 (Invited). DOI: 10.1109/HASE.2011.37
  82. A Facility Framework for Distributed Application Qingti Guo; C. Smidts Advanced Information Networking and Applications (WAINA), 2011 IEEE Workshops of International Conference on, pp. 459–466, 22–25 March 2011. DOI: 10.1109/WAINA.2011.146
  83. Development of a Simulator Independent Cognitive Human Reliability Model for Nuclear Accident Conditions R. Sundaramurthi, C. Smidts. ESREL Conference, September 22, 2011.
  84. Application of Hazard and Operability Study (HAZOP) to Safety Related Software(s) J. Gupta, X. M. Li Allocco, G. McCartor, C. Smidts. 29th ISSC, Las Vegas, NV, August 8–12, 2011.
  85. A Process for the Verification and Validation of Secondary Data used in Safety Related Software Xiang Li, Jatin Gupta, Michael Allocco, Gerry McCartor, Carol Smidts August 8–12, 2011, 10 pages
  86. Science-Based Simulation Model of Human Performance for Human Reliability Analysis Dana L. Kelly, Ronald L. Boring, Ali Mosleh, Carol Smidts Enlarged Halden Program Group Meeting, October 2011.
  87. An Integrated Framework for S/W and H/W System Analysis Carol Smidts, Chetan Mutha Safe and Secure Systems and Software Symposium (S5), 12–14 Jun 2011 (Invited).
  88. Identification of Failure Modes of Software in Safety-Critical Digital I&C Systems in Nuclear Power Plants C. Smidts Probabilistic Safety Assessment and Management Conference, Helsinki, Finland, Jun. 25–29, 2012.
  89. Microworlds, Simulators, and Simulation: Framework for a Benchmark of Human Reliability Data Sources R. Boring, D. Kelly, C. Smidts, A. Mosleh, and B. Dyre Probabilistic Safety Assessment and Management Conference and the Annual European Safety and Reliability Conference, Helsinki, Finland, Jun. 25–29, pp. 3066–3075, 2012.
  90. Validating THERP: An Approach to Experimentally Validating the Human Error Prediction Rates in the THERP Tables R. Benish, M. Li, A. Gupta, and C. Smidts ANS Winter Meeting & Nuclear Technology Expo, San Diego, CA, Nov. 11–15, 2012.
  91. Hands-on HRA: Developing a Human Reliability Course A. Gupta, R. Benish, B. Hajek, and C. Smidts ANS Winter Meeting & Nuclear Technology Expo, San Diego, CA, Nov. 11–15, 2012.
  92. A Distributed Hardware-in-the-Loop Test Setup for the Validation of a Steam Generator Control System M. Pietrykowski and C. Smidts International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human–Machine Interface Technologies, San Diego, CA, pp. 52–65, Jul. 22–26, 2012.
  93. Discussion on Definitions of Terms in Reliability Analysis of Digital I&C Systems M.C. Kim, J.C. Stiller, and C. Smidts International Topical Meeting on Nuclear Power Plant Instrumentation, Control, and Human–Machine Interface Technologies, San Diego, CA, Jul. 22–26, 2012.
  94. A Taxonomy for the FMEA of Digital I&C Protection Systems H. Bruneliere, G. Deleuze, T. Nguyen and C. Smidts International Topical Meeting on Probabilistic Safety Assessment and Analysis (PSA 2013), Columbia, SC 2013.
  95. ARPS: An Automated Reliability Prediction System Tool for Safety Critical Software C. Smidts, G. Jatin, X. Li, and C. Mutha International Topical Meeting on Probabilistic Safety Assessment and Analysis (PSA 2013), Columbia, SC 2013. (2nd runner-up award for student paper)
  96. A Pilot Experiment for Science-Based Human Reliability C. Smidts, A. Aurand, R. Benish, R. Boring, J. Gao, and A. Gupta International Topical Meeting on Probabilistic Safety Assessment and Analysis (PSA, 2013), Columbia, SC 2013.(2nd runner-up award for student paper)
  97. Network Distribution Effects on a Stream Generator Level Control System C. Smidts, Q. Guo, and M. Pietrykowski ANS National Meeting 2013 Winter Meeting and Technology Expo. 2013.
  98. Elimination of Bias in NPP Control Room Simulator Experiments A. Gupta, R. B. Shirley, C. Smidts and N. Wang ANS Conference 2014 Winter Meeting and Nuclear Technology Expo, 2014.
  99. OECD/NEA WGRISK task on failure modes taxonomy for digital I&C – DIGREL Abdallan Amri et al Probabilistic Safety Assessment and Management 12, 2014.
  100. A preliminary analysis on Performance Shaping Factor in a Science-Based HRA validation method N. Wang, R. Benish and C. Smidts ANS Student Conference, State College, PA, April 3–6, 2014.
  101. A Method for Quantifying the Dependability Attributes of Software-Based Safety Critical Instrumentation and Control Systems in Nuclear Power Plants C. Smidts, F. Huang, X. Li and C. Mutha NPIC-HMIT 2015, Charlotte, Feb. 23–26, 2015. Accepted: 2014.
  102. Science-Based HRA: Experimental Comparison of Operator Performance to IDAC Simulations C. Smidts, R. B. Shirley, R. Boring, Y. Li, and A. Mosleh 9th international conference on Nuclear Plant Instrumentation, Control & Human-Machine Interface Technologies, Charlotte, NC. February, 2015. Accepted: 2014.
  103. An experimental evaluation of the Automated Reliability Prediction System (ARPS) tool C. Smidts, X. Li, C. Mutha, et al. NPIC-HMIT 2015, Charlotte, North Carolina, February 23–26, 2015. Accepted: 2014.
  104. Dynamic Data Transmission Frequency Decision for Distributed Control Systems C. Smidts, Q. Guo and M. Pietrykowski NPIC-HMIT 2015, Charlotte, North Carolina, February 23–26, 2015. Accepted: 2014.

Back to Top

Invited Presentations

  1. A Comparison Between DYLAM and ADS: Two Discrete Event Tree Methodologies: TUDelft C. Smidts 2nd International Workshop on Dynamic Methodologies, August 1993.
  2. Probabilistic Reactor Dynamics C. Smidts MIT, Department Colloquium, 1993.
  3. Probabilistic Reactor Dynamics C. Smidts Idaho National Laboratories, Risk Analysis Series Colloquium, 1993.
  4. IDA: A Cognitive Model for Nuclear Power Plant Operation under Accident Conditions C. Smidts Nuclear Engineering Colloquium, Ship Research Institute, Japan, 1995.
  5. Software Reliability Prediction C. Smidts Joint IEEE Reliability and Software Engineering Dallas Chapters Seminar, Dallas, 1996.
  6. Software Reliability C. Smidts The Ohio State University and University of Cincinnati, Columbus, Ohio, 1996.
  7. Probabilistic Dynamics C. Smidts Safe and Secure Systems and Software Symposium (S5), 12–14 Jun 2011 (Invited).
  8. The Event Sequence Diagram Framework C. Smidts 3rd International Workshop on Dynamic Reliability Methodologies, Portugal, 1997.
  9. An Architectural Model for Software Reliability Quantification: Sources of Relevant Data C. Smidts 5th International Workshop on Functional Modeling of Complex Technical Systems, Paris, France, 1997.
  10. Regulating Computer Software: The Audit Approach C. Smidts (presenting), Brannigan V. (presenting) FDA Software Verification and Validation Conference, Washington, D.C., 1997.
  11. Extending TestMaster to SRE C. Smidts 17th Annual Teradyne User’s Group Meeting, Orlando, Florida, 1999.
  12. An Approach to the Automatic Generation of TestMaster’s Finite State Machine Graph C. Smidts (presenting), Anant A. Teradyne User’s Group Meeting, San Diego, 2000.
  13. Dynamic Reliability in the Context of PRA: Motivation, Theoretical Foundation, Possible Approximations C. Smidts Brussels, 2000.
  14. Panel Member at the WRSM Digital I&C, held by NRC, Bethesda, 2000.
  15. A Software Test Automation Approach C. Smidts University of Illinois at Urbana-Champaign, Department of Electrical and Computer Engineering, Illinois, 2001.
  16. QRAS 1.6 C. Smidts, Mosleh A. (presenting), Groen F. Presented at the NASA PRA Workshop, University of Virginia, Charlottsville, 2001.
  17. Integrating Software into PRA C. Smidts Presented at the Annual OSMA Symposium, Berkeley Springs, West Virginia, September 2002.
  18. Software Reliability Corroboration Cukic B. (presenting), Gunel E., Singh H., Guo L., C. Smidts, Li M. Presented at the Annual NASA OSMA Symposium, West Virginia, Berkeley Springs, September 2002.
  19. Software PRA Lee, A. (presenting), and C. Smidts NASA Sixth Annual Assurance Technology Symposium, June 3–5, 2003, NASA Glenn Research Center.
  20. Integrating Software into Probabilistic Risk Assessment: A Test Based Approach C. Smidts (presenting), Li, B., and M. Li SThe 3rd Annual NASA Office of Safety and Mission Assurance Software Assurance Symposium (OSMA SAS 3), West Virginia, July, 2003.
  21. A Framework for Early Reliability Assessment Cukic, B. (presenting), C. Smidts, Gunel, E., Singh, H., Guo, L., Desivski, D., and Li, M The 3rd Annual NASA Office of Safety and Mission Assurance Software Assurance Symposium (OSMA SAS 3), West Virginia, July, 2003.
  22. Test Generation Using Domain Specific Languages: A Perspective from Database Applications Sinha, A. (presenting), and C. Smidts Presented at IBM T J Watson Research Center, Software Engineering PIC, New York, July 27, 2004.
  23. Using Software Engineering Measures to Predict Software Reliability C. Smidts Testimony to the Advisory Committee on Reactor Safety Joint Subcommittee Meeting Presentation on I&C Research, Nuclear Regulatory Commission, Rockville, MD, March 26, 2004.
  24. Human Factor and CyberSecurity C. Smidts (presenting), Cukier M. 2004 IEEE CQR International Workshop, San Antonio, Texas, April 26–29, 2004.
  25. Integrating Software into PRA C. Smidts The 4th Annual NASA Office of Safety and Mission Assurance Software Assurance Symposium (OSMA SAS ‘04), Morgantown, West Virginia, July 20–22, 2004.
  26. On the Location of Errors in a Software System Nejad, H. (presenting), M. Li, and C. Smidts Fourth International Conference on Mathematical Methods in Reliability Methodology and Practice, June 21–25, 2004, Santa Fe, New Mexico.
  27. Building More Reliable Software C. Smidts Department of Computer Science, Virginia Tech, December 2, 2005.
  28. Integrating Software Into PRA Initiative C. Smidts, Rodriguez M., Li M., Wei Y., Li B Software Assurance Symposium (SAS ‘05), NASA-IV&V Facility, West Virginia, August 9–11, 2005.
  29. Anything You Want to Ask About Software Reliability Engineering C. Smidts, Panel Member International Conference on Software Reliability Engineering 2006, November 7–10, Raleigh, North Carolina, 2006.
  30. A Methodology for Assessing Software Quality/Reliability in Safety Critical Digital Systems C. Smidts Department of Mechanical Engineering, The Ohio State University, August 2006.
  31. The Theory of Event Sequence Diagrams C. Smidts Department of Mechanical Engineering, The Ohio State University, October 2006.
  32. Integrating Software Into PRA: Executive Overview C. Smidts Software Assurance Symposium 2006, July 18–20, 2006, Morgantown, West Virginia.
  33. A Methodology for Assessing Software Quality/Reliability in Safety Critical Digital Systems Shi, Y., Kong, W., Dai, J., M. Li, C. Smidts (presenting) NPIC & HMIT, Albuquerque, New Mexico, November 12–16, 2006.
  34. Integrating Software into PRA C. Smidts Departmental Seminar, Department of Aerospace Engineering, Georgia Tech, March 2007.
  35. HyPerPLSS: Development of a Single-Fluid Consumable Infrastructure for Life Support, Power, Propulsion, and Thermal Control Akin, D., C. Smidts, McGill, J., Lewandowski, C. NIAC Phase I Fellows Meeting. Atlanta, Georgia, March 6–7, 2007.
  36. Integrating Software Into PRA M. Li (presenter), C. Smidts First Technical Interchange on NASA-wide Process for Application of Quantitative Risk and Reliability Techniques in Software Design, NASA Goddard, March 6–8, 2007, Greenbelt, Maryland.
  37. C. Smidts 2nd International Conference on Reliability, Safety, and Hazard-Risk-Based Technologies and Physics-of-Failure Methods (ICRESH 2010). December 14–16, Mumbai, India.-->
  38. Stochastic Models in Software Development Carol Smidts, David Johnson INFORMS 2011 Midwestern Conference, August, 2011.
  39. Development of Verification and Validation Approaches for On Line Monitoring System Design Carol Smidts, Chetan Mutha Light Water Reactor Sustainability (LWRS) On-ling Monitoring & NDE Meeting at the INL on May 24–25, 2011.
  40. ACE for Digital Instrumentation, Control, and Safety: Status and Directions C. Smidts Annual Advisory Board Meeting, INEST, September 27–28, 2011, Idaho Falls, ID.
  41. Definitions of Terms in Reliability Analysis of Digital I&C Systems C. Smidts WGRisk TG DIGREL Workshop,November 7–8, 2012, Stockholm, Sweden.
  42. ACE Closeout Presentation: Instrumentation and Controls, Institute for Nuclear Energy Science and Technology C. Smidts Advisory Board Meeting Agenda, September 18–20, 2012, Idaho Falls, ID.
  43. Software Dependability Attributes: Dependencies and Causal Mechanisms C. Smidts Technical Meeting on Evaluation and Dependability Assessment of Software for Safety Instrumentation and Control Systems at Nuclear Power Plants, September 23–26, 2014. Daejeon, Korea
  44. Elimination of Bias in NPP Control Room Simulator Experiments C. Smidts, A. Gupta, R. B. Shirley, and N. Wang ANS Conference 2014 Winter Meeting and Nuclear Technology Expo (2014), Anaheim, CA. November 2014.
  45. A Method for Quantifying the Dependability Attributes of Software-Based Safety Critical Instrumentation and Control Systems in Nuclear Power Plants C. Smidts Office of Nuclear Energy Sensors and Instrumentation Annual Review Meeting, September 16–18, 2014.
  46. ARPS Annual Project Review Meeting C. Smidts USNRC, Rockville, Maryland, October 17, 2014.
  47. Nuclear University Consortium: MOOSE and Nuclear Hybrid Research Activities (FY 2014) C. Smidts Status Report, June 2014, Reno, Nevada.
  48. Nuclear University Consortium: MOOSE and Nuclear Hybrid Research Activities (FY 2014) C. Smidts Project Review, August 2014, Salt Lake City.

Back to Top

Research Reports

  1. Simulation des Séquences Accidentelles prenant en Compte le Facteur Humain. Application au domaine des centrales nucléaires C. Smidts Institut pour la Recherche Scientifique dans l’Industrie et l’Agriculture (IRSIA). Grant Report, 1988
  2. Simulation des Séquences Accidentelles Prenant en Compte le Facteur Humain. Application au domaine des centrales nucléaires C. Smidts Institut pour la Recherche Scientifique dans l’Industrie et l’Agriculture (IRSIA). Grant Report, 1989
  3. Human Factors Reliability Benchmark (HF-RBE), Report on Working Phase I: Analysis of the Test and Maintenance Study Case C. Smidts, J. Devooght, P. de Gelder, P. Govaerts, S. and Caeymaex Contribution from the Belgian Team, prepared for the European Commission, 1987
  4. Human Factors Reliability Benchmark (HF-RBE), Report on Working Phase II: Analysis of the Test and Maintenance Study Case C. Smidts, J. Devooght, P. de Gelder, P. Govaerts, S. and Caeymaex Contribution from the Belgian Team, prepared for the European Commission, 1987
  5. Human Factors Reliability Benchmark (HF-RBE), Report on Working Phase I: Analysis of the Operational Transient C. Smidts, J. Devooght, P. de Gelder, P. Govaerts, S. and Caeymaex Contribution from the Belgian Team, prepared for the European Commission, 1987
  6. Human Factors Reliability Benchmark, Report on Working Phase II (HF-RBE): Analysis of the Operational Transient C. Smidts, J. Devooght, P. de Gelder, P. Govaerts, S. and Caeymaex Contribution from the Belgian Team, prepared for the European Commission, 1987
  7. Human Factors Reliability Benchmark (HF-RBE), Final Report C. Smidts, J. Devooght, P. de Gelder, P. Govaerts, S. and Caeymaex Contribution from the Belgian Team, prepared for the European Commission, 1988
  8. Event Sequence Benchmark Exercise (ES-RBE) - Second Working Phase M. Hulsmans, P. de Gelder, G. Govaerts, C. Smidts, J. Devooght, and S. Caeymaex Contribution from the Belgian Team, prepared for the European Commission, 1989
  9. Event Sequence Benchmark Exercise (ES-RBE) - First and Second Working Phase - Summary Report, M. Hulsmans, P. de Gelder, G. Govaerts, C. Smidts, J. Devooght, and S. Caeymaex Contribution of the Belgian Team, prepared for the European Commission, 1989
  10. MSAS. Description and How to Use C. Smidts Technical Note I.92.85, ISE/SER 2318/92, JRC, 1992
  11. Application of a Cognitive Model to the Analysis of Reactor Operating Events Involving Operator Interaction A. Mosleh, C. Smidts, and S-H. Shen UMNE-94-004, 1994.
  12. Application of a Cognitive Model to the Analysis of Reactor Operating Events Involving Operator Interaction, Detailed Analysis A. Mosleh, C. Smidts, and S-H. Shen UMNE-94-005, 1994.
  13. IDA: A Cognitive Model of Nuclear Power Plant Operator Response During Abnormal Conditions S-H. Shen, C. Smidts, and A. Mosleh UMNE-94-006, 1994.
  14. Major Analytic Techniques for Evaluation of Risk in Computer Information Systems A. Mosleh and C. Smidts CTRS-A1-13, Computer Security Division, National Institute of Standards and Technology, 1995
  15. Probability Analysis Validation Report S. Swaminathan, C. Smidts, A. Mosleh, and R. Mulvihill P.R. 00785889, DRD7, Lockheed Martin Space Launch Systems, 1995
  16. Software Engineering Measures for Predicting Software Reliability in Safety Critical Digital Systems C. Smidts and M. Li NUREG/GR-0019, U.S. Nuclear Regulatory Commission, Office of Nuclear Regulatory Research, 2000
  17. Validation of A Methodology for Assessing Software Quality C. Smidts, and M. Li NUREG/CR 6848, U.S. Nuclear Regulatory Commission, Office of Nuclear Regulatory Research, 2004
  18. Report from the Light Water Reactor Sustainability B.P. Hallbert, J.J. Persensky, C. Smidts, T. Aldemir, and J. Naser INL/EXT-09-16631, Workshop on Advanced Instrumentation, Information, and Control Systems and Human–System Interface Technologies, 2009.
  19. A Large Scale Validation of a Methodology for Assessing Software Reliability C.S. Smidts, Y. Shi, M. Li, W. Kong, and J. Dai NUREG/CR-7042, U.S. Nuclear Regulatory Commission, Office of Nuclear Regulatory Research, 2011
  20. A Process for the Verification and Validation of Secondary Data Used in Safety Related Software X. Li, J. Gupta, M. Allocco, G. McCartor, and C. Smidts Federal Aviation Administration, 2012.

Back to Top

Patents

  1. Quantitative Risk Assessment System (QRAS) Patent US6223143, April 24, 2001.
  2. Method and Apparatus for a Common-cause Failure Module for Probabilistic Risk Assessment Tools Patent US6820044, November 16, 2004.
  3. Method for Domain Specific Test Design Automation Patent US7392509, June 24, 2008.

Back to Top