Applying Adaptive Safety Analysis Techniques
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
A new component concept for fault trees
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Failure modelling in software architecture design for safety
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Quality assurance of automotive hybrid embedded software
Proceedings of the Warm Up Workshop for ACM/IEEE ICSE 2010
FPTC: Automated Safety Analysis for Domain-Specific Languages
Models in Software Engineering
Probabilistic Failure Propagation and Transformation Analysis
SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Modular Architectural Representation and Analysis of Fault Propagation and Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Generalizable safety annotations for specification of failure patterns
Software—Practice & Experience
Capture and reuse of composable failure patterns
International Journal of Critical Computer-Based Systems
Specification and evaluation of safety properties in a component-based software engineering process
Component-Based Software Development for Embedded Systems
A safety-focused verification using software fault trees
Future Generation Computer Systems
Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology
Hi-index | 0.01 |