Carol S. Smidts

58 papers A 9Journal 41Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Dynamic probabilistic risk assessment and game theory for cyber security risk analysis in nuclear power plants.
Reliab. Eng. Syst. Saf.
Pavan Kumar Vaddi, Xiaoxu Diao, Yunfei Zhao, Carol S. Smidts
2025 J jnl
A multiple-criteria sensor selection framework based on qualitative physical models.
Adv. Eng. Informatics
Xiaoxu Diao, Md Ragib Rownak, Samuel Olatubosun, Pavan Kumar Vaddi, Carol S. Smidts
2025 J jnl
BLIPS-PA: a qualitative-physics-based method for fault causality and probabilistic analysis of novel designs.
Artif. Intell. Eng. Des. Anal. Manuf.
Ali Mansoor, Xiaoxu Diao, Carol S. Smidts
2024 J jnl
Dynamic probabilistic risk assessment for electric grid cybersecurity.
Reliab. Eng. Syst. Saf.
Xiaoxu Diao, Yunfei Zhao, Carol S. Smidts, Pavan Kumar Vaddi, Ruixuan Li, Hangtian Lei, Yacine Chakhchoukh, Brian Johnson, Katya Le Blanc
2024 J jnl
Multiple aspects maintenance ontology-based intelligent maintenance optimization framework for safety-critical systems.
Artif. Intell. Eng. Des. Anal. Manuf.
Xiaoxu Diao, Yunfei Zhao, Pavan Kumar Vaddi, Michael C. Pietrykowski, Marat Khafizov, Carol S. Smidts
2023 J jnl
A Zone-Based Model for Analysis of Dependent Failures in Requirements Inspection.
IEEE Trans. Software Eng.
Boyuan Li, Carol S. Smidts
2023 J jnl
An empirical study of the added value of the sequential learning of model parameters to industrial system health monitoring.
Reliab. Eng. Syst. Saf.
Yunfei Zhao, Pavan Kumar Vaddi, Michael C. Pietrykowski, Marat Khafizov, Carol S. Smidts
2022 J jnl
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.
Xiaoxu Diao, Mike Pietrykowski, Fuqun Huang, Chetan Mutha, Carol S. Smidts
2022 — book
Cyber-Security Threats and Response Models in Nuclear Power Plants
Carol S. Smidts, Indrajit Ray, Quanyan Zhu, Pavan Kumar Vaddi, Yunfei Zhao, Linan Huang, Xiaoxu Diao, Rakibul Talukdar, Michael C. Pietrykowski
2022 J jnl
Predictive Execution of Parallel Simulations in Hard Real-Time Systems.
IEEE Trans. Computers
Michael C. Pietrykowski, Carol S. Smidts
2022 J jnl
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.
Yunfei Zhao, Carol S. Smidts
2021 J jnl
A requirements inspection method based on scenarios generated by model mutation and the experimental validation.
Empir. Softw. Eng.
Boyuan Li, Xiaoxu Diao, Wei Gao, Carol S. Smidts
2021 J jnl
CMS-BN: A cognitive modeling and simulation environment for human performance assessment, part 1 - methodology.
Reliab. Eng. Syst. Saf.
Yunfei Zhao, Carol S. Smidts
2021 J jnl
CMS-BN: A cognitive modeling and simulation environment for human performance assessment, part 2 - Application.
Reliab. Eng. Syst. Saf.
Yunfei Zhao, Carol S. Smidts
2021 J jnl
Sequential Bayesian inference of transition rates in the hidden Markov model for multi-state system degradation.
Reliab. Eng. Syst. Saf.
Yunfei Zhao, Wei Gao, Carol S. Smidts
2020 J jnl
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.
Rachel Benish Shirley, Carol S. Smidts, Yunfei Zhao
2020 J jnl
Finite-horizon semi-Markov game for time-sensitive attack response and probabilistic risk assessment in nuclear power plants.
Reliab. Eng. Syst. Saf.
Yunfei Zhao, Linan Huang, Carol S. Smidts, Quanyan Zhu
2019 J jnl
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.
Yunfei Zhao, Carol S. Smidts
2018 J jnl
A Deductive Method for Diagnostic Analysis of Digital Instrumentation and Control Systems.
IEEE Trans. Reliab.
Jun Yang, Tunc Aldemir, Carol S. Smidts
2018 J jnl
Bridging the simulator gap: Measuring motivational bias in digital nuclear power plant environments.
Reliab. Eng. Syst. Saf.
Rachel Benish Shirley, Carol S. Smidts
2017 — conf
A Dynamic Mechanistic Model of Human Response Proposed for Human Reliability Analysis.
AHFE (5)
Yunfei Zhao, Carol S. Smidts
2017 — conf
A Systematic Method to Build a Knowledge Base to be Used in a Human Reliability Analysis Model.
AHFE (5)
Yunfei Zhao, Keith Altman, Kreteeka Chaudhury, Muhammad Anandika, Carol S. Smidts
2017 J jnl
Causal Mechanism Graph ─ A new notation for capturing cause-effect knowledge in software dependability.
Reliab. Eng. Syst. Saf.
Fuqun Huang, Carol S. Smidts
2017 J jnl
Metric-based software reliability prediction approach and its application.
Empir. Softw. Eng.
Ying Shi, Ming Li, Steven Arndt, Carol S. Smidts
2017 J jnl
Special Section on the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014).
IEEE Trans. Reliab.
Roberto Pietrantuono, Katerina Goseva-Popstojanova, Carol S. Smidts
2016 J jnl
An automated software reliability prediction system for safety critical software.
Empir. Softw. Eng.
Xiang Li, Chetan Mutha, Carol S. Smidts
2015 J jnl
Three suggestions on the definition of terms for the safety and reliability analysis of digital systems.
Reliab. Eng. Syst. Saf.
Man Cheol Kim, Carol S. Smidts
2014 J jnl
Software testing with an operational profile: OP definition.
ACM Comput. Surv.
Carol S. Smidts, Chetan Mutha, Manuel Rodríguez, Matthew J. Gerber
2013 J jnl
An integrated multidomain functional failure and propagation analysis approach for safe system design.
Artif. Intell. Eng. Des. Anal. Manuf.
Chetan Mutha, David C. Jensen, Irem Y. Tumer, Carol S. Smidts
2011 — conf
A Facility Framework for Distributed Application.
AINA Workshops
Qingti Guo, Carol S. Smidts
2011 — conf
An Early Design Stage UML-Based Safety Analysis Approach for High Assurrance Software Systems.
HASE
Chetan Mutha, Carol S. Smidts
2011 J jnl
Dynamic reliability of digital-based transmitters.
Reliab. Eng. Syst. Saf.
Florent Brissaud, Carol S. Smidts, Anne Barros, Christophe Bérenguer
2011 J jnl
Hardware Error Likelihood Induced by the Operation of Software.
IEEE Trans. Reliab.
Bing Huang, Manuel Rodríguez, Ming Li, Joseph B. Bernstein, Carol S. Smidts
2011 J jnl
Integrated Design-Stage Failure Analysis of Software-Driven Hardware Systems.
IEEE Trans. Computers
Irem Y. Tumer, Carol S. Smidts
2010 — ch.
Operational Profile Testing.
Encyclopedia of Software Engineering
Carol S. Smidts, Jinny McGill, Manuel Rodríguez, Peter B. Lakey
2010 J jnl
Predicting the types and locations of faults introduced during an imperfect repair process and their impact on reliability.
Int. J. Syst. Assur. Eng. Manag.
Ying Shi, Carol S. Smidts
2009 — conf
A Test Coverage-Based Model for Predicting Software Fault Content and Location during Multi-phase Functional Testing.
FGIT-ASEA
Carol S. Smidts, Ying Shi
2008 — ch.
Nuclear Reactor Instrumentation and Control Systems.
Wiley Encyclopedia of Computer Science and Engineering
Carol S. Smidts, Stephen Arndt
2007 J jnl
A framework to integrate software behavior into dynamic probabilistic risk assessment.
Reliab. Eng. Syst. Saf.
Dongfeng Zhu, Ali Mosleh, Carol S. Smidts
2006 J jnl
An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique.
Empir. Softw. Eng.
Avik Sinha, Carol S. Smidts
2006 J jnl
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications.
ACM Trans. Softw. Eng. Methodol.
Avik Sinha, Carol S. Smidts
2006 J jnl
How should software reliability engineering (SRE) be taught?
ACM SIGSOFT Softw. Eng. Notes
Mario Garzia, John P. Hudepohl, Will Snipes, Michael R. Lyu, John D. Musa, Carol S. Smidts, Laurie A. Williams
2006 J jnl
QRAS - the quantitative risk assessment system.
Reliab. Eng. Syst. Saf.
Frank J. Groen, Carol S. Smidts, Ali Mosleh
2005 A conf
Study of the Impact of Hardware Fault on Software Reliability.
ISSRE
Bing Huang, Xiaojun Li, Ming Li, Joseph B. Bernstein, Carol S. Smidts
2005 A conf
Teaching SRE in a Diverse Graduate Student Context.
ISSRE
Carol S. Smidts
2004 A conf
Validation of a Methodology for Assessing Software Reliability.
ISSRE
Ming Li, Y. Wei, Dejan Desovski, Hamed Nejad, Sushmita Ghose, Bojan Cukic, Carol S. Smidts
2003 J jnl
A Ranking of Software Engineering Measures Based on Expert Opinion.
IEEE Trans. Software Eng.
Ming Li, Carol S. Smidts
2003 A conf
Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications.
ISSRE
Avik Sinha, Carol S. Smidts, Andrew Moran
2003 A conf
Integrating Software into PRA.
ISSRE
Bin Li, Ming Li, Susmita Ghose, Carol S. Smidts
2002 J jnl
Producing reliable software: an experiment.
J. Syst. Softw.
Carol S. Smidts, Xin Huang, James C. Widmaier
2001 J jnl
A stochastic model of fault introduction and removal during software development.
IEEE Trans. Reliab.
Martin A. Stutzke, Carol S. Smidts
2000 J jnl
An approach to the automatic generation of software functional architecture.
ACM SIGSOFT Softw. Eng. Notes
Carol S. Smidts
2000 J jnl
Dynamic reliability: towards an integrated platform for probabilistic risk assessment.
Reliab. Eng. Syst. Saf.
Pierre-Etienne Labeau, Carol S. Smidts, S. Swaminathan
2000 A conf
Ranking Software Engineering Measures Related to Reliability Using Expert Opinion.
ISSRE
Ming Li, Carol S. Smidts, R. W. Brill
1999 A conf
A stochastic model of human errors in software development: impact of repair times.
ISSRE
Carol S. Smidts
1997 A conf
An architectural model for software reliability quantification.
ISSRE
Carol S. Smidts, Donald W. Sova, G. K. Mandela
1996 J jnl
Increasing testing productivity and software quality: A comparison of software testing methodologies within NASA.
Empir. Softw. Eng.
Donald W. Sova, Carol S. Smidts
1996 A conf
Software reliability models: an approach to early reliability prediction.
ISSRE
Carol S. Smidts, Robert Stoddard, Martin A. Stutzke