Conferences in DBLP

SAFECOMP (safecomp)
2009 (conf/safecomp/2009)

1. 
   A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems. [Citation Graph (, )][DBLP]
   
   
2. 
   Model-Based Development of Medical Devices. [Citation Graph (, )][DBLP]
   
   
3. 
   Why Are People's Decisions Sometimes Worse with Computer Support?. [Citation Graph (, )][DBLP]
   
   
4. 
   Safety-Related Application Conditions - A Balance between Safety Relevance and Handicaps for Applications. [Citation Graph (, )][DBLP]
   
   
5. 
   Probability of Failure on Demand - The Why and the How. [Citation Graph (, )][DBLP]
   
   
6. 
   Establishing the Correlation between Complexity and a Reliability Metric for Software Digital I&C-Systems. [Citation Graph (, )][DBLP]
   
   
7. 
   Exploring Network Security in PROFIsafe. [Citation Graph (, )][DBLP]
   
   
8. 
   Modelling Critical Infrastructures in Presence of Lack of Data with Simulated Annealing - Like Algorithms. [Citation Graph (, )][DBLP]
   
   
9. 
   Environment Characterization and System Modeling Approach for the Quantitative Evaluation of Security. [Citation Graph (, )][DBLP]
   
   
10. 
    Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508. [Citation Graph (, )][DBLP]
    
    
11. 
    Analysing Dependability Case Arguments Using Quality Models. [Citation Graph (, )][DBLP]
    
    
12. 
    Experience with Establishment of Reusable and Certifiable Safety Lifecycle Model within ABB. [Citation Graph (, )][DBLP]
    
    
13. 
    Automotive IT-Security as a Challenge: Basic Attacks from the Black Box Perspective on the Example of Privacy Threats. [Citation Graph (, )][DBLP]
    
    
14. 
    Safety Requirements for a Cooperative Traffic Management System: The Human Interface Perspective. [Citation Graph (, )][DBLP]
    
    
15. 
    The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. [Citation Graph (, )][DBLP]
    
    
16. 
    Formal Verification of a Microkernel Used in Dependable Software Systems. [Citation Graph (, )][DBLP]
    
    
17. 
    Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do. [Citation Graph (, )][DBLP]
    
    
18. 
    Probabilistic Failure Propagation and Transformation Analysis. [Citation Graph (, )][DBLP]
    
    
19. 
    Towards Model-Based Automatic Testing of Attack Scenarios. [Citation Graph (, )][DBLP]
    
    
20. 
    CRIOP: A Human Factors Verification and Validation Methodology That Works in an Industrial Setting. [Citation Graph (, )][DBLP]
    
    
21. 
    Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure. [Citation Graph (, )][DBLP]
    
    
22. 
    Increasing the Reliability of High Redundancy Actuators by Using Elements in Series and Parallel. [Citation Graph (, )][DBLP]
    
    
23. 
    AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware. [Citation Graph (, )][DBLP]
    
    
24. 
    Component-Based Abstraction in Fault Tree Analysis. [Citation Graph (, )][DBLP]
    
    
25. 
    A Foundation for Requirements Analysis of Dependable Software. [Citation Graph (, )][DBLP]
    
    
26. 
    Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. [Citation Graph (, )][DBLP]