Carol S. Smidts

According to our database, Carol S. Smidts authored at least 55 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Dynamic probabilistic risk assessment for electric grid cybersecurity.

Xiaoxu Diao, Yunfei Zhao, Carol S. Smidts, Pavan Kumar Vaddi, Ruixuan Li, Hangtian Lei, Yacine Chakhchoukh, Brian Johnson, Katya Le Blanc

Reliab. Eng. Syst. Saf., January, 2024

Multiple aspects maintenance ontology-based intelligent maintenance optimization framework for safety-critical systems.

Xiaoxu Diao, Yunfei Zhao, Pavan Kumar Vaddi, Michael C. Pietrykowski, Marat Khafizov, Carol S. Smidts

Artif. Intell. Eng. Des. Anal. Manuf., 2024

2023

An empirical study of the added value of the sequential learning of model parameters to industrial system health monitoring.

Yunfei Zhao, Pavan Kumar Vaddi, Michael C. Pietrykowski, Marat Khafizov, Carol S. Smidts

Reliab. Eng. Syst. Saf., December, 2023

A Zone-Based Model for Analysis of Dependent Failures in Requirements Inspection.

Boyuan Li, Carol S. Smidts

IEEE Trans. Software Eng., June, 2023

2022

Predictive Execution of Parallel Simulations in Hard Real-Time Systems.

Michael C. Pietrykowski, Carol S. Smidts

IEEE Trans. Computers, 2022

Reinforcement learning for adaptive maintenance policy optimization under imperfect knowledge of the system degradation model and partial observability of system states.

Yunfei Zhao, Carol S. Smidts

Reliab. Eng. Syst. Saf., 2022

An ontology-based fault generation and fault propagation analysis approach for safety-critical computer systems at the design stage.

Xiaoxu Diao, Mike Pietrykowski, Fuqun Huang, Chetan Mutha, Carol S. Smidts

Artif. Intell. Eng. Des. Anal. Manuf., 2022

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

Springer Briefs in Computer Science, Springer, ISBN: 978-3-031-12710-6, 2022

2021

CMS-BN: A cognitive modeling and simulation environment for human performance assessment, part 1 - methodology.

Yunfei Zhao, Carol S. Smidts

Reliab. Eng. Syst. Saf., 2021

CMS-BN: A cognitive modeling and simulation environment for human performance assessment, part 2 - Application.

Yunfei Zhao, Carol S. Smidts

Reliab. Eng. Syst. Saf., 2021

Sequential Bayesian inference of transition rates in the hidden Markov model for multi-state system degradation.

Yunfei Zhao, Wei Gao, Carol S. Smidts

Reliab. Eng. Syst. Saf., 2021

A requirements inspection method based on scenarios generated by model mutation and the experimental validation.

Boyuan Li, Xiaoxu Diao, Wei Gao, Carol S. Smidts

Empir. Softw. Eng., 2021

2020

Finite-horizon semi-Markov game for time-sensitive attack response and probabilistic risk assessment in nuclear power plants.

Yunfei Zhao, Linan Huang, Carol S. Smidts, Quanyan Zhu

Reliab. Eng. Syst. Saf., 2020

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.

Rachel Benish Shirley, Carol S. Smidts, Yunfei Zhao

Reliab. Eng. Syst. Saf., 2020

2019

A method for systematically developing the knowledge base of reactor operators in nuclear power plants to support cognitive modeling of operator performance.

Yunfei Zhao, Carol S. Smidts

Reliab. Eng. Syst. Saf., 2019

2018

A Deductive Method for Diagnostic Analysis of Digital Instrumentation and Control Systems.

Jun Yang, Tunc Aldemir, Carol S. Smidts

IEEE Trans. Reliab., 2018

Bridging the simulator gap: Measuring motivational bias in digital nuclear power plant environments.

Rachel Benish Shirley, Carol S. Smidts

Reliab. Eng. Syst. Saf., 2018

2017

Special Section on the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014).

Roberto Pietrantuono, Katerina Goseva-Popstojanova, Carol S. Smidts

IEEE Trans. Reliab., 2017

Causal Mechanism Graph ─ A new notation for capturing cause-effect knowledge in software dependability.

Fuqun Huang, Carol S. Smidts

Reliab. Eng. Syst. Saf., 2017

Metric-based software reliability prediction approach and its application.

Ying Shi, Ming Li, Steven Arndt, Carol S. Smidts

Empir. Softw. Eng., 2017

A Dynamic Mechanistic Model of Human Response Proposed for Human Reliability Analysis.

Yunfei Zhao, Carol S. Smidts

Proceedings of the Advances in Human Error, Reliability, Resilience, and Performance, 2017

A Systematic Method to Build a Knowledge Base to be Used in a Human Reliability Analysis Model.

Yunfei Zhao, Keith Altman, Kreteeka Chaudhury, Muhammad Anandika, Carol S. Smidts

Proceedings of the Advances in Human Error, Reliability, Resilience, and Performance, 2017

2016

An automated software reliability prediction system for safety critical software.

Xiang Li, Chetan Mutha, Carol S. Smidts

Empir. Softw. Eng., 2016

2015

Three suggestions on the definition of terms for the safety and reliability analysis of digital systems.

Man Cheol Kim, Carol S. Smidts

Reliab. Eng. Syst. Saf., 2015

2014

Software testing with an operational profile: OP definition.

Carol S. Smidts, Chetan Mutha, Manuel Rodríguez, Matthew J. Gerber

ACM Comput. Surv., 2014

2013

An integrated multidomain functional failure and propagation analysis approach for safe system design.

Chetan Mutha, David C. Jensen, Irem Y. Tumer, Carol S. Smidts

Artif. Intell. Eng. Des. Anal. Manuf., 2013

2011

Hardware Error Likelihood Induced by the Operation of Software.

Bing Huang, Manuel Rodríguez, Ming Li, Joseph B. Bernstein, Carol S. Smidts

IEEE Trans. Reliab., 2011

Integrated Design-Stage Failure Analysis of Software-Driven Hardware Systems.

Irem Y. Tumer, Carol S. Smidts

IEEE Trans. Computers, 2011

Dynamic reliability of digital-based transmitters.

Florent Brissaud, Carol S. Smidts, Anne Barros, Christophe Bérenguer

Reliab. Eng. Syst. Saf., 2011

An Early Design Stage UML-Based Safety Analysis Approach for High Assurrance Software Systems.

Chetan Mutha, Carol S. Smidts

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

A Facility Framework for Distributed Application.

Qingti Guo, Carol S. Smidts

Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2011

2010

Operational Profile Testing.

Carol S. Smidts, Jinny McGill, Manuel Rodríguez, Peter B. Lakey

Proceedings of the Encyclopedia of Software Engineering, 2010

Predicting the types and locations of faults introduced during an imperfect repair process and their impact on reliability.

Ying Shi, Carol S. Smidts

Int. J. Syst. Assur. Eng. Manag., 2010

2009

A Test Coverage-Based Model for Predicting Software Fault Content and Location during Multi-phase Functional Testing.

Carol S. Smidts, Ying Shi

Proceedings of the Advances in Software Engineering, 2009

2008

Nuclear Reactor Instrumentation and Control Systems.

Carol S. Smidts, Stephen Arndt

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

2007

A framework to integrate software behavior into dynamic probabilistic risk assessment.

Dongfeng Zhu, Ali Mosleh, Carol S. Smidts

Reliab. Eng. Syst. Saf., 2007

2006

HOTTest: A model-based test design technique for enhanced testing of domain-specific applications.

Avik Sinha, Carol S. Smidts

ACM Trans. Softw. Eng. Methodol., 2006

How should software reliability engineering (SRE) be taught?

Mario Garzia, John P. Hudepohl, Will Snipes, Michael R. Lyu, John D. Musa, Carol S. Smidts, Laurie A. Williams

ACM SIGSOFT Softw. Eng. Notes, 2006

QRAS - the quantitative risk assessment system.

Frank J. Groen, Carol S. Smidts, Ali Mosleh

Reliab. Eng. Syst. Saf., 2006

An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique.

Avik Sinha, Carol S. Smidts

Empir. Softw. Eng., 2006

2005

Teaching SRE in a Diverse Graduate Student Context.

Carol S. Smidts

Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

Study of the Impact of Hardware Fault on Software Reliability.

Bing Huang, Xiaojun Li, Ming Li, Joseph B. Bernstein, Carol S. Smidts

Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

2004

Validation of a Methodology for Assessing Software Reliability.

Ming Li, Y. Wei, Dejan Desovski, Hamed Nejad, Sushmita Ghose, Bojan Cukic, Carol S. Smidts

Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

2003

A Ranking of Software Engineering Measures Based on Expert Opinion.

Ming Li, Carol S. Smidts

IEEE Trans. Software Eng., 2003

Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications.

Avik Sinha, Carol S. Smidts, Andrew Moran

Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

Integrating Software into PRA.

Bin Li, Ming Li, Susmita Ghose, Carol S. Smidts

Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

2002

Producing reliable software: an experiment.

Carol S. Smidts, Xin Huang, James C. Widmaier

J. Syst. Softw., 2002

2001

A stochastic model of fault introduction and removal during software development.

Martin A. Stutzke, Carol S. Smidts

IEEE Trans. Reliab., 2001

2000

An approach to the automatic generation of software functional architecture.

Carol S. Smidts

ACM SIGSOFT Softw. Eng. Notes, 2000

Dynamic reliability: towards an integrated platform for probabilistic risk assessment.

Pierre-Etienne Labeau, Carol S. Smidts, S. Swaminathan

Reliab. Eng. Syst. Saf., 2000

Ranking Software Engineering Measures Related to Reliability Using Expert Opinion.

Ming Li, Carol S. Smidts, R. W. Brill

Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

1999

A stochastic model of human errors in software development: impact of repair times.

Carol S. Smidts

Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

1997

An architectural model for software reliability quantification.

Carol S. Smidts, Donald W. Sova, G. K. Mandela

Proceedings of the Eighth International Symposium on Software Reliability Engineering, 1997

1996

Increasing testing productivity and software quality: A comparison of software testing methodologies within NASA.

Donald W. Sova, Carol S. Smidts

Empir. Softw. Eng., 1996

Software reliability models: an approach to early reliability prediction.

Carol S. Smidts, Robert Stoddard, Martin A. Stutzke

Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996