Fast Dynamic Fault Tree Analysis by Model Checking Techniques
暂无分享,去创建一个
Sebastian Junges | Joost-Pieter Katoen | Matthias Volk | J. Katoen | Sebastian Junges | Matthias Volk
[1] J. Dugan,et al. A modular approach for analyzing static and dynamic fault trees , 1997, Annual Reliability and Maintainability Symposium.
[2] Luigi Portinale,et al. Automatically translating dynamic fault trees into dynamic Bayesian networks by means of a software tool , 2006, First International Conference on Availability, Reliability and Security (ARES'06).
[3] A. Prasad Sistla,et al. Symmetry Reductions in Model Checking , 1998, CAV.
[4] Meng Lin,et al. Quantitative analysis of dynamic fault trees using improved Sequential Binary Decision Diagrams , 2015, Reliab. Eng. Syst. Saf..
[5] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[6] Mariëlle Stoelinga,et al. Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools , 2014, Comput. Sci. Rev..
[7] Ajit Srividya,et al. Dynamic fault tree analysis using Monte Carlo simulation in probabilistic safety assessment , 2009, Reliab. Eng. Syst. Saf..
[8] Yiannis Papadopoulos,et al. Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook , 2009 .
[9] J. B. Dugan,et al. Automatic synthesis of fault trees for computer-based systems , 1999 .
[10] Yvon Savaria,et al. Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking , 2016, 2016 Forum on Specification and Design Languages (FDL).
[11] Christel Baier,et al. Model checking for performability , 2013, Mathematical Structures in Computer Science.
[12] Christel Baier,et al. Principles of model checking , 2008 .
[13] Sebastian Junges,et al. Advancing Dynamic Fault Tree Analysis , 2016, ArXiv.
[14] Shigeru Yanagi,et al. Quantitative analysis of a fault tree with priority AND gates , 2008, Reliab. Eng. Syst. Saf..
[15] J. B. Dugan,et al. A benchmark for quantitative fault tree reliability analysis , 2001, Annual Reliability and Maintainability Symposium. 2001 Proceedings. International Symposium on Product Quality and Integrity (Cat. No.01CH37179).
[16] Sebastian Junges,et al. Fault trees on a diet: automated reduction by graph rewriting , 2015, Formal Aspects of Computing.
[17] Eugene Asarin,et al. Some Progress in Satisfiability Checking for Difference Logic , 2004, FORMATS/FTRTFT.
[18] RuijtersEnno,et al. Fault tree analysis , 2015 .
[19] Joanne Bechta Dugan,et al. Modular solution of dynamic multi-phase systems , 2004, IEEE Transactions on Reliability.
[20] Ferdinando Chiacchio,et al. Dynamic fault trees resolution: A conscious trade-off between analytical and simulative approaches , 2011, Reliab. Eng. Syst. Saf..
[21] A. Prasad Sistla. Symmetry Reductions in Model-Checking , 2003, VMCAI.
[22] Lijun Zhang,et al. On Probabilistic Automata in Continuous Time , 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.
[23] Salvatore J. Bavuso,et al. Fault trees and sequence dependencies , 1990, Annual Proceedings on Reliability and Maintainability Symposium.
[24] Joost P. Katoen,et al. Smart railroad maintenance engineering with stochastic model checking , 2014 .
[25] Suprasad V. Amari,et al. A new approach to solve dynamic fault trees , 2003, Annual Reliability and Maintainability Symposium, 2003..
[26] Mariëlle Stoelinga,et al. DFTCalc: a tool for efficient fault tree analysis (extended version) , 2013 .
[27] Mariëlle Stoelinga,et al. A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis , 2010, IEEE Transactions on Dependable and Secure Computing.
[28] Joost-Pieter Katoen,et al. Safety, Dependability and Performance Analysis of Extended AADL Models , 2011, Comput. J..
[29] Jean-Jacques Lesage,et al. Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events , 2010, IEEE Transactions on Reliability.
[30] Yanhua Yang,et al. Reliability analysis of complex dynamic fault trees based on an adapted K.D. Heidtmann algorithm , 2015 .
[31] Sebastian Junges,et al. Uncovering Dynamic Fault Trees , 2016, 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
[32] David Coppit,et al. Formal semantics of models for computational engineering: a case study on dynamic fault trees , 2000, Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000.
[33] Sebastian Junges,et al. A Storm is Coming: A Modern Probabilistic Model Checker , 2017, CAV.
[34] Sebastian Junges,et al. Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates , 2016, SAFECOMP.
[35] David Coppit,et al. The Galileo fault tree analysis tool , 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).