More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Carol S. Smidts

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/aiedam/DiaoZVPKS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aiedam/DiaoZVPKS24
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)
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/DiaoZSVLLCJB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/DiaoZSVLLCJB24
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: 109699 (2024)
2023
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/ZhaoVPKS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/ZhaoVPKS23
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: 109592 (2023)
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/LiS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/LiS23
Boyuan Li, Carol S. Smidts:
A Zone-Based Model for Analysis of Dependent Failures in Requirements Inspection. IEEE Trans. Software Eng. 49(6): 3581-3598 (2023)
2022
[b1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/SmidtsRZVZHDTP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/SmidtsRZVZHDTP22
Carol S. Smidts, Indrajit Ray, Quanyan Zhu, Pavan Kumar Vaddi, Yunfei Zhao, Linan Huang, Xiaoxu Diao, Rakibul Talukdar, Michael C. Pietrykowski:
Cyber-Security Threats and Response Models in Nuclear Power Plants. Springer Briefs in Computer Science, Springer 2022, ISBN 978-3-031-12710-6, pp. 1-90
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/aiedam/DiaoPHMS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aiedam/DiaoPHMS22
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: e1 (2022)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/ZhaoS22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/ZhaoS22a
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: 108541 (2022)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/PietrykowskiS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/PietrykowskiS22
Michael C. Pietrykowski, Carol S. Smidts:
Predictive Execution of Parallel Simulations in Hard Real-Time Systems. IEEE Trans. Computers 71(12): 3227-3241 (2022)
2021
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/ese/LiDGS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/LiDGS21
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): 108 (2021)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/ZhaoS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/ZhaoS21
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: 107775 (2021)
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/ZhaoS21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/ZhaoS21a
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: 107776 (2021)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/ZhaoGS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/ZhaoGS21
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: 107662 (2021)
2020
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/ShirleySZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/ShirleySZ20
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: 106416 (2020)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/ZhaoHSZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/ZhaoHSZ20
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: 106878 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/ZhaoS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/ZhaoS19
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: 64-77 (2019)
2018
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/ShirleyS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/ShirleyS18
Rachel Benish Shirley, Carol S. Smidts:
Bridging the simulator gap: Measuring motivational bias in digital nuclear power plant environments. Reliab. Eng. Syst. Saf. 177: 191-209 (2018)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/YangAS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/YangAS18
Jun Yang, Tunc Aldemir, Carol S. Smidts:
A Deductive Method for Diagnostic Analysis of Digital Instrumentation and Control Systems. IEEE Trans. Reliab. 67(4): 1442-1458 (2018)
2017
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/ese/ShiLAS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/ShiLAS17
Ying Shi, Ming Li, Steven Arndt, Carol S. Smidts:
Metric-based software reliability prediction approach and its application. Empir. Softw. Eng. 22(4): 1579-1633 (2017)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/HuangS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/HuangS17
Fuqun Huang, Carol S. Smidts:
Causal Mechanism Graph ─ A new notation for capturing cause-effect knowledge in software dependability. Reliab. Eng. Syst. Saf. 158: 196-212 (2017)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/PietrantuonoGS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/PietrantuonoGS17
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): 2 (2017)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ahfe/ZhaoACAS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ahfe/ZhaoACAS17
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: 50-60
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ahfe/ZhaoS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ahfe/ZhaoS17
Yunfei Zhao, Carol S. Smidts:
A Dynamic Mechanistic Model of Human Response Proposed for Human Reliability Analysis. AHFE (5) 2017: 261-270
2016
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/ese/LiMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/LiMS16
Xiang Li, Chetan Mutha, Carol S. Smidts:
An automated software reliability prediction system for safety critical software. Empir. Softw. Eng. 21(6): 2413-2455 (2016)
2015
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/KimS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/KimS15
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: 81-91 (2015)
2014
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/SmidtsMRG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/SmidtsMRG14
Carol S. Smidts, Chetan Mutha, Manuel Rodríguez, Matthew J. Gerber:
Software testing with an operational profile: OP definition. ACM Comput. Surv. 46(3): 39:1-39:39 (2014)
2013
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/aiedam/MuthaJTS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aiedam/MuthaJTS13
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): 317-347 (2013)
2011
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/BrissaudSBB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/BrissaudSBB11
Florent Brissaud, Carol S. Smidts, Anne Barros, Christophe Bérenguer:
Dynamic reliability of digital-based transmitters. Reliab. Eng. Syst. Saf. 96(7): 793-813 (2011)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/TumerS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/TumerS11
Irem Y. Tumer, Carol S. Smidts:
Integrated Design-Stage Failure Analysis of Software-Driven Hardware Systems. IEEE Trans. Computers 60(8): 1072-1084 (2011)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/HuangRLBS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/HuangRLBS11
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): 622-639 (2011)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/aina/GuoS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aina/GuoS11
Qingti Guo, Carol S. Smidts:
A Facility Framework for Distributed Application. AINA Workshops 2011: 459-466
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/MuthaS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/MuthaS11
Chetan Mutha, Carol S. Smidts:
An Early Design Stage UML-Based Safety Analysis Approach for High Assurrance Software Systems. HASE 2011: 202-211
2010
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/saem/ShiS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/saem/ShiS10
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): 36-43 (2010)
[r1]
- view
  authority control:
- export record
  dblp key:
  - reference/se/SmidtsMRL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/se/SmidtsMRL10
Carol S. Smidts, Jinny McGill, Manuel Rodríguez, Peter B. Lakey:
Operational Profile Testing. Encyclopedia of Software Engineering 2010: 627-637

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/fgit/SmidtsS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fgit/SmidtsS09
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: 321-329
2008
[p1]
- view
  authority control:
- export record
  dblp key:
  - reference/wiley/SmidtsA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/wiley/SmidtsA08
Carol S. Smidts, Stephen Arndt:
Nuclear Reactor Instrumentation and Control Systems. Wiley Encyclopedia of Computer Science and Engineering 2008
2007
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/ZhuMS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/ZhuMS07
Dongfeng Zhu, Ali Mosleh, Carol S. Smidts:
A framework to integrate software behavior into dynamic probabilistic risk assessment. Reliab. Eng. Syst. Saf. 92(12): 1733-1755 (2007)
2006
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ese/SinhaS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/SinhaS06
Avik Sinha, Carol S. Smidts:
An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique. Empir. Softw. Eng. 11(2): 173-202 (2006)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/GroenSM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/GroenSM06
Frank J. Groen, Carol S. Smidts, Ali Mosleh:
QRAS - the quantitative risk assessment system. Reliab. Eng. Syst. Saf. 91(3): 292-304 (2006)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/GarziaHSLMSW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/GarziaHSLMSW06
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): 1-5 (2006)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/SinhaS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/SinhaS06
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): 242-278 (2006)
2005
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/Smidts05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/Smidts05
Carol S. Smidts:
Teaching SRE in a Diverse Graduate Student Context. ISSRE 2005: 7
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/HuangLLBS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/HuangLLBS05
Bing Huang, Xiaojun Li, Ming Li, Joseph B. Bernstein, Carol S. Smidts:
Study of the Impact of Hardware Fault on Software Reliability. ISSRE 2005: 63-72
2004
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/LiWDNGCS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/LiWDNGCS04
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: 66-76
2003
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/LiS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/LiS03
Ming Li, Carol S. Smidts:
A Ranking of Software Engineering Measures Based on Expert Opinion. IEEE Trans. Software Eng. 29(9): 811-824 (2003)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/SinhaSM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/SinhaSM03
Avik Sinha, Carol S. Smidts, Andrew Moran:
Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications. ISSRE 2003: 181-190
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/LiLGS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/LiLGS03
Bin Li, Ming Li, Susmita Ghose, Carol S. Smidts:
Integrating Software into PRA. ISSRE 2003: 457-467
2002
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/SmidtsHW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/SmidtsHW02
Carol S. Smidts, Xin Huang, James C. Widmaier:
Producing reliable software: an experiment. J. Syst. Softw. 61(3): 213-224 (2002)
2001
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/StutzkeS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/StutzkeS01
Martin A. Stutzke, Carol S. Smidts:
A stochastic model of fault introduction and removal during software development. IEEE Trans. Reliab. 50(2): 184-193 (2001)
2000
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/LabeauSS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/LabeauSS00
Pierre-Etienne Labeau, Carol S. Smidts, S. Swaminathan:
Dynamic reliability: towards an integrated platform for probabilistic risk assessment. Reliab. Eng. Syst. Saf. 68(3): 219-254 (2000)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/Smidts00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/Smidts00
Carol S. Smidts:
An approach to the automatic generation of software functional architecture. ACM SIGSOFT Softw. Eng. Notes 25(1): 84-85 (2000)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/LiSB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/LiSB00
Ming Li, Carol S. Smidts, R. W. Brill:
Ranking Software Engineering Measures Related to Reliability Using Expert Opinion. ISSRE 2000: 246-258

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/Smidts99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/Smidts99
Carol S. Smidts:
A stochastic model of human errors in software development: impact of repair times. ISSRE 1999: 94-103
1997
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/SmidtsSM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/SmidtsSM97
Carol S. Smidts, Donald W. Sova, G. K. Mandela:
An architectural model for software reliability quantification. ISSRE 1997: 324-335
1996
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ese/SovaS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/SovaS96
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): 165-188 (1996)
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/SmidtsSS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/SmidtsSS96
Carol S. Smidts, Robert Stoddard, Martin A. Stutzke:
Software reliability models: an approach to early reliability prediction. ISSRE 1996: 132-141

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.