Carol S. Smidts

According to our database1, Carol S. Smidts authored at least 39 papers between 1996 and 2019.

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 2017, "For contributions to reliability analysis of high-assurance systems".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
A method for systematically developing the knowledge base of reactor operators in nuclear power plants to support cognitive modeling of operator performance.
Rel. Eng. & Sys. Safety, 2019

2018
A Deductive Method for Diagnostic Analysis of Digital Instrumentation and Control Systems.
IEEE Trans. Reliability, 2018

Bridging the simulator gap: Measuring motivational bias in digital nuclear power plant environments.
Rel. Eng. & Sys. Safety, 2018

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

Causal Mechanism Graph ─ A new notation for capturing cause-effect knowledge in software dependability.
Rel. Eng. & Sys. Safety, 2017

Metric-based software reliability prediction approach and its application.
Empirical Software Engineering, 2017

2016
An automated software reliability prediction system for safety critical software.
Empirical Software Engineering, 2016

2015
Three suggestions on the definition of terms for the safety and reliability analysis of digital systems.
Rel. Eng. & Sys. Safety, 2015

2014
Software testing with an operational profile: OP definition.
ACM Comput. Surv., 2014

2013
An integrated multidomain functional failure and propagation analysis approach for safe system design.
AI EDAM, 2013

2011
Hardware Error Likelihood Induced by the Operation of Software.
IEEE Trans. Reliability, 2011

Integrated Design-Stage Failure Analysis of Software-Driven Hardware Systems.
IEEE Trans. Computers, 2011

Dynamic reliability of digital-based transmitters.
Rel. Eng. & Sys. Safety, 2011

An Early Design Stage UML-Based Safety Analysis Approach for High Assurrance Software Systems.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

A Facility Framework for Distributed Application.
Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2011

2010
Operational Profile Testing.
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.
Int. J. Systems Assurance Engineering and Management, 2010

2009
A Test Coverage-Based Model for Predicting Software Fault Content and Location during Multi-phase Functional Testing.
Proceedings of the Advances in Software Engineering, 2009

2008
Nuclear Reactor Instrumentation and Control Systems.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

2007
A framework to integrate software behavior into dynamic probabilistic risk assessment.
Rel. Eng. & Sys. Safety, 2007

2006
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications.
ACM Trans. Softw. Eng. Methodol., 2006

How should software reliability engineering (SRE) be taught?
ACM SIGSOFT Software Engineering Notes, 2006

QRAS - the quantitative risk assessment system.
Rel. Eng. & Sys. Safety, 2006

An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique.
Empirical Software Engineering, 2006

2005
Teaching SRE in a Diverse Graduate Student Context.
Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

Study of the Impact of Hardware Fault on Software Reliability.
Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

2004
Validation of a Methodology for Assessing Software Reliability.
Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

2003
A Ranking of Software Engineering Measures Based on Expert Opinion.
IEEE Trans. Software Eng., 2003

Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications.
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

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

2002
Producing reliable software: an experiment.
Journal of Systems and Software, 2002

2001
A stochastic model of fault introduction and removal during software development.
IEEE Trans. Reliability, 2001

2000
An approach to the automatic generation of software functional architecture.
ACM SIGSOFT Software Engineering Notes, 2000

Dynamic reliability: towards an integrated platform for probabilistic risk assessment.
Rel. Eng. & Sys. Safety, 2000

Ranking Software Engineering Measures Related to Reliability Using Expert Opinion.
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.
Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

1997
An architectural model for software reliability quantification.
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.
Empirical Software Engineering, 1996

Software reliability models: an approach to early reliability prediction.
Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996


  Loading...