Software and Systems Modeling, 19 (4), pp. 889–910, 2020.
Model-Based Safety and Assessment, pp. 47–62, Springer International Publishing, 2019.
Compositionality of Component Fault Ŧrees Incollection
Model-Based Safety and Assessment, pp. 125–140, Springer International Publishing, 2019.
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, ACM, 2018.
Semi-Automatic Safety Analysis and Optimization Inproceedings
Proceedings of the 55th Annual Design Automation Conference, ACM, 2018.
2018 Annual Reliability and Maintainability Symposium (RAMS), IEEE, 2018.