1. Reliability Assessment of Safety-Critical Systems of Nuclear Power Plant using Ordinary Differential Equations and Reachability Graph;Nuclear Engineering and Design;2023-10
2. PopArt: Ranked Testing Efficiency;IEEE Transactions on Software Engineering;2023-04-01
3. Collective risk minimization via a bayesian model for statistical software testing;Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems;2020-06-29
4. Software reliability analysis for safety‐critical and control systems;Quality and Reliability Engineering International;2019-11-19
5. Examples;Software Testing;2018-12-07