An Efficient Approximation for Quantitative Analysis of Dynamic Fault Trees.
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021
Improved Heatmap Visualization of Pareto-Optimal Set in Multi-Objective Optimization of Defensive Strategy.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
An Efficient Tool for Industrial Control System Security Analysis.
Proceedings of the 2016 IEEE 14th Intl Conf on Dependable, 2016