Formal Verification of Rewriting Rules for Dynamic Fault Trees
暂无分享,去创建一个
Sofiène Tahar | Osman Hasan | Joost-Pieter Katoen | Matthias Volk | Yassmeen Elderhalli | J. Katoen | S. Tahar | O. Hasan | Matthias Volk | Yassmeen Elderhalli
[1] Matthias Kuntz,et al. Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees , 2019, Reliab. Eng. Syst. Saf..
[2] Sofiène Tahar,et al. Formal Dynamic Fault Trees Analysis Using an Integration of Theorem Proving and Model Checking , 2018, NFM.
[3] Mariëlle Stoelinga,et al. Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains , 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).
[4] Sebastian Junges,et al. Fault trees on a diet: automated reduction by graph rewriting , 2016, Formal Aspects of Computing.
[5] Sebastian Junges,et al. A Storm is Coming: A Modern Probabilistic Model Checker , 2017, CAV.
[6] Hartmut Ehrig,et al. Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series) , 1992 .
[7] Salvatore J. Bavuso,et al. Fault trees and sequence dependencies , 1990, Annual Proceedings on Reliability and Maintainability Symposium.
[8] Sofiène Tahar,et al. Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving , 2019, FLAP.
[9] Sofiène Tahar,et al. Formalization of Entropy Measures in HOL , 2011, ITP.
[10] Sebastian Junges,et al. Fast Dynamic Fault Tree Analysis by Model Checking Techniques , 2018, IEEE Transactions on Industrial Informatics.
[11] 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..
[12] Guillaume Merle,et al. Algebraic modelling of Dynamic Fault Trees, contribution to qualitative and quantitative analysis , 2010 .
[13] Sofiène Tahar,et al. On the Formalization of the Lebesgue Integration Theory in HOL , 2010, ITP.