Certifying the reliability of software
IEEE Transactions on Software Engineering
Evaluation of competing software reliability predictions
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Conceptual Modeling of Coincident Failures in Multiversion Software
IEEE Transactions on Software Engineering
Evaluation of safety-critical software
Communications of the ACM
Software safety in embedded computer systems
Communications of the ACM
Using testability measures for dependability assessment
Proceedings of the 17th international conference on Software engineering
On the Use of Testability Measures for Dependability Assessment
IEEE Transactions on Software Engineering
Choosing a testing method to deliver reliability
ICSE '97 Proceedings of the 19th international conference on Software engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software
IEEE Transactions on Software Engineering
Evaluating Testing Methods by Delivered Reliability
IEEE Transactions on Software Engineering
Software reliability and dependability: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Comparison of delivered reliability of branch, data flow and operational testing: A case study
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Modeling software design diversity: a review
ACM Computing Surveys (CSUR)
Industrial strength exception freedom
Proceedings of the 2002 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
Automating the Development of Distributed Control Software
IEEE Parallel & Distributed Technology: Systems & Technology
A Model of Code Sharing for Estimating Software Failure on Demand Probabilities
IEEE Transactions on Software Engineering
Logic versus Magic in Critical Systems
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
A Holistic View on the Dependability of Software-Intensive Systems
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
The COTS Debate in Perspective
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
Estimating Bounds on the Reliability of Diverse Systems
IEEE Transactions on Software Engineering
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
The Industrial Use of Formal Methods: Was Darwin Right?
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
A conservative theory for long term reliability growth prediction
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Assessing Software Reliability Performance Under Highly Critical But Infrequent Event Occurrences
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Static verification and extreme programming
Proceedings of the 2003 annual ACM SIGAda international conference on Ada: the engineering of correct and reliable software for real-time & distributed systems using ada and related technologies
Developing critical systems with PLD components
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
SCS '04 Proceedings of the 9th Australian workshop on Safety critical systems and software - Volume 47
Issues in the application of software safety standards
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
Fault Tolerance via Diversity for Off-the-Shelf Products: A Study with SQL Database Servers
IEEE Transactions on Dependable and Secure Computing
A binomial software reliability model based on coverage of structural testing criteria
Empirical Software Engineering
Software execution processes as an evolving complex network
Information Sciences: an International Journal
The epistemology of computer security
ACM SIGSOFT Software Engineering Notes
Software testing research and practice
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
My model checker died!: how well did it do?
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems
Software safety: relating software assurance and software integrity
International Journal of Critical Computer-Based Systems
Compositional model checking of software product lines using variation point obligations
Automated Software Engineering
Synthesizing a specification-based monitor for safety requirements
Iranian Journal of Science and Technology, Transaction B: Engineering
The effect of correlated failure rates on reliability of continuous time 1-out-of-2 software
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Software reliability assessment based on the evaluation of operational experience
MMB&DFT'10 Proceedings of the 15th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Practical limits on software dependability: a case study
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
Why programming languages still matter
Rigorous Development of Complex Fault-Tolerant Systems
Trace queries for safety requirements in high assurance systems
REFSQ'12 Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality
Safety assurance: fact or fiction?
ASSC '11 Proceedings of the Australian System Safety Conference - Volume 133
Dependability modeling and analysis of software systems specified with UML
ACM Computing Surveys (CSUR)
Hi-index | 48.22 |