Carol S. Smidts

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 22

Top Topics

Nuclear Power Plant

Cognitive Modeling

Software Reliability

Bayesian Inference

Top Venues

Reliab. Eng. Syst. Saf.

Empir. Softw. Eng.

IEEE Trans. Reliab.

Artif. Intell. Eng. Des. Anal. Manuf.

Publications

Xiaoxu Diao, Yunfei Zhao, Pavan Kumar Vaddi, Michael C. Pietrykowski, Marat Khafizov, Carol S. Smidts
Multiple aspects maintenance ontology-based intelligent maintenance optimization framework for safety-critical systems. Artif. Intell. Eng. Des. Anal. Manuf. 38 (2024)
Xiaoxu Diao, Yunfei Zhao, Carol S. Smidts, Pavan Kumar Vaddi, Ruixuan Li, Hangtian Lei, Yacine Chakhchoukh, Brian Johnson, Katya Le Blanc
Dynamic probabilistic risk assessment for electric grid cybersecurity. Reliab. Eng. Syst. Saf. 241 (2024)
Yunfei Zhao, Pavan Kumar Vaddi, Michael C. Pietrykowski, Marat Khafizov, Carol S. Smidts
An empirical study of the added value of the sequential learning of model parameters to industrial system health monitoring. Reliab. Eng. Syst. Saf. 240 (2023)
Boyuan Li, Carol S. Smidts
A Zone-Based Model for Analysis of Dependent Failures in Requirements Inspection. IEEE Trans. Software Eng. 49 (6) (2023)
Yunfei Zhao, Carol S. Smidts
Reinforcement learning for adaptive maintenance policy optimization under imperfect knowledge of the system degradation model and partial observability of system states. Reliab. Eng. Syst. Saf. 224 (2022)
Xiaoxu Diao, Mike Pietrykowski, Fuqun Huang, Chetan Mutha, Carol S. Smidts
An ontology-based fault generation and fault propagation analysis approach for safety-critical computer systems at the design stage. Artif. Intell. Eng. Des. Anal. Manuf. 36 (2022)
Michael C. Pietrykowski, Carol S. Smidts
Predictive Execution of Parallel Simulations in Hard Real-Time Systems. IEEE Trans. Computers 71 (12) (2022)
Boyuan Li, Xiaoxu Diao, Wei Gao, Carol S. Smidts
A requirements inspection method based on scenarios generated by model mutation and the experimental validation. Empir. Softw. Eng. 26 (5) (2021)
Yunfei Zhao, Wei Gao, Carol S. Smidts
Sequential Bayesian inference of transition rates in the hidden Markov model for multi-state system degradation. Reliab. Eng. Syst. Saf. 214 (2021)
Yunfei Zhao, Carol S. Smidts
CMS-BN: A cognitive modeling and simulation environment for human performance assessment, part 1 - methodology. Reliab. Eng. Syst. Saf. 213 (2021)
Yunfei Zhao, Carol S. Smidts
CMS-BN: A cognitive modeling and simulation environment for human performance assessment, part 2 - Application. Reliab. Eng. Syst. Saf. 213 (2021)
Yunfei Zhao, Linan Huang, Carol S. Smidts, Quanyan Zhu
Finite-horizon semi-Markov game for time-sensitive attack response and probabilistic risk assessment in nuclear power plants. Reliab. Eng. Syst. Saf. 201 (2020)
Rachel Benish Shirley, Carol S. Smidts, Yunfei Zhao
Development of a quantitative Bayesian network mapping objective factors to subjective performance shaping factor evaluations: An example using student operators in a digital nuclear power plant simulator. Reliab. Eng. Syst. Saf. 194 (2020)
Yunfei Zhao, Carol S. Smidts
A method for systematically developing the knowledge base of reactor operators in nuclear power plants to support cognitive modeling of operator performance. Reliab. Eng. Syst. Saf. 186 (2019)
Jun Yang, Tunc Aldemir, Carol S. Smidts
A Deductive Method for Diagnostic Analysis of Digital Instrumentation and Control Systems. IEEE Trans. Reliab. 67 (4) (2018)
Rachel Benish Shirley, Carol S. Smidts
Bridging the simulator gap: Measuring motivational bias in digital nuclear power plant environments. Reliab. Eng. Syst. Saf. 177 (2018)
Ying Shi, Ming Li, Steven Arndt, Carol S. Smidts
Metric-based software reliability prediction approach and its application. Empir. Softw. Eng. 22 (4) (2017)
Roberto Pietrantuono, Katerina Goseva-Popstojanova, Carol S. Smidts
Special Section on the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014). IEEE Trans. Reliab. 66 (1) (2017)
Yunfei Zhao, Carol S. Smidts
A Dynamic Mechanistic Model of Human Response Proposed for Human Reliability Analysis. AHFE (5) (2017)
Fuqun Huang, Carol S. Smidts
Causal Mechanism Graph ─ A new notation for capturing cause-effect knowledge in software dependability. Reliab. Eng. Syst. Saf. 158 (2017)
Yunfei Zhao, Keith Altman, Kreteeka Chaudhury, Muhammad Anandika, Carol S. Smidts
A Systematic Method to Build a Knowledge Base to be Used in a Human Reliability Analysis Model. AHFE (5) (2017)
Xiang Li, Chetan Mutha, Carol S. Smidts
An automated software reliability prediction system for safety critical software. Empir. Softw. Eng. 21 (6) (2016)
Man Cheol Kim, Carol S. Smidts
Three suggestions on the definition of terms for the safety and reliability analysis of digital systems. Reliab. Eng. Syst. Saf. 135 (2015)
Carol S. Smidts, Chetan Mutha, Manuel Rodríguez, Matthew J. Gerber
Software testing with an operational profile: OP definition. ACM Comput. Surv. 46 (3) (2014)
Chetan Mutha, David C. Jensen, Irem Y. Tumer, Carol S. Smidts
An integrated multidomain functional failure and propagation analysis approach for safe system design. Artif. Intell. Eng. Des. Anal. Manuf. 27 (4) (2013)
Qingti Guo, Carol S. Smidts
A Facility Framework for Distributed Application. AINA Workshops (2011)
Chetan Mutha, Carol S. Smidts
An Early Design Stage UML-Based Safety Analysis Approach for High Assurrance Software Systems. HASE (2011)
Irem Y. Tumer, Carol S. Smidts
Integrated Design-Stage Failure Analysis of Software-Driven Hardware Systems. IEEE Trans. Computers 60 (8) (2011)
Florent Brissaud, Carol S. Smidts, Anne Barros, Christophe Bérenguer
Dynamic reliability of digital-based transmitters. Reliab. Eng. Syst. Saf. 96 (7) (2011)
Bing Huang, Manuel Rodríguez, Ming Li, Joseph B. Bernstein, Carol S. Smidts
Hardware Error Likelihood Induced by the Operation of Software. IEEE Trans. Reliab. 60 (3) (2011)
Ying Shi, Carol S. Smidts
Predicting the types and locations of faults introduced during an imperfect repair process and their impact on reliability. Int. J. Syst. Assur. Eng. Manag. 1 (1) (2010)
Carol S. Smidts, Ying Shi
A Test Coverage-Based Model for Predicting Software Fault Content and Location during Multi-phase Functional Testing. FGIT-ASEA (2009)
Dongfeng Zhu, Ali Mosleh, Carol S. Smidts
A framework to integrate software behavior into dynamic probabilistic risk assessment. Reliab. Eng. Syst. Saf. 92 (12) (2007)
Avik Sinha, Carol S. Smidts
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications. ACM Trans. Softw. Eng. Methodol. 15 (3) (2006)
Avik Sinha, Carol S. Smidts
An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique. Empir. Softw. Eng. 11 (2) (2006)
Frank J. Groen, Carol S. Smidts, Ali Mosleh
QRAS - the quantitative risk assessment system. Reliab. Eng. Syst. Saf. 91 (3) (2006)
Mario Garzia, John P. Hudepohl, Will Snipes, Michael R. Lyu, John D. Musa, Carol S. Smidts, Laurie A. Williams
How should software reliability engineering (SRE) be taught? ACM SIGSOFT Softw. Eng. Notes 31 (4) (2006)
Bing Huang, Xiaojun Li, Ming Li, Joseph B. Bernstein, Carol S. Smidts
Study of the Impact of Hardware Fault on Software Reliability. ISSRE (2005)
Carol S. Smidts
Teaching SRE in a Diverse Graduate Student Context. ISSRE (2005)
Ming Li, Y. Wei, Dejan Desovski, Hamed Nejad, Sushmita Ghose, Bojan Cukic, Carol S. Smidts
Validation of a Methodology for Assessing Software Reliability. ISSRE (2004)
Bin Li, Ming Li, Susmita Ghose, Carol S. Smidts
Integrating Software into PRA. ISSRE (2003)
Ming Li, Carol S. Smidts
A Ranking of Software Engineering Measures Based on Expert Opinion. IEEE Trans. Software Eng. 29 (9) (2003)
Avik Sinha, Carol S. Smidts, Andrew Moran
Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications. ISSRE (2003)
Carol S. Smidts, Xin Huang, James C. Widmaier
Producing reliable software: an experiment. J. Syst. Softw. 61 (3) (2002)
Martin A. Stutzke, Carol S. Smidts
A stochastic model of fault introduction and removal during software development. IEEE Trans. Reliab. 50 (2) (2001)
Pierre-Etienne Labeau, Carol S. Smidts, S. Swaminathan
Dynamic reliability: towards an integrated platform for probabilistic risk assessment. Reliab. Eng. Syst. Saf. 68 (3) (2000)
Carol S. Smidts
An approach to the automatic generation of software functional architecture. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Ming Li, Carol S. Smidts, R. W. Brill
Ranking Software Engineering Measures Related to Reliability Using Expert Opinion. ISSRE (2000)
Carol S. Smidts
A stochastic model of human errors in software development: impact of repair times. ISSRE (1999)
Carol S. Smidts, Donald W. Sova, G. K. Mandela
An architectural model for software reliability quantification. ISSRE (1997)
Carol S. Smidts, Robert Stoddard, Martin A. Stutzke
Software reliability models: an approach to early reliability prediction. ISSRE (1996)
Donald W. Sova, Carol S. Smidts
Increasing testing productivity and software quality: A comparison of software testing methodologies within NASA. Empir. Softw. Eng. 1 (2) (1996)