1. SAFEST: Fault Tree Analysis Via Probabilistic Model Checking;2024 Annual Reliability and Maintainability Symposium (RAMS);2024-01-22
2. A Reliability Analysis Method for Common Cause Failure Based on Extended Dynamic Fault Tree;2023 3rd International Conference on Electronic Information Engineering and Computer Science (EIECS);2023-09-22
3. Supervised dynamic probabilistic risk assessment: Review and comparison of methods;Reliability Engineering & System Safety;2023-02
4. Dynamic Fault Trees with Correlated Failure Times - Modeling and Efficient Analysis -;2022 41st International Symposium on Reliable Distributed Systems (SRDS);2022-09
5. An adapted component-connection method for building SBDD encoding a dynamic fault tree;Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability;2022-08-17