Nhat-Hoa Tran

Model Checking Techniques Enable Schedulability Analysis of Real-Time Systems

Nhat-Hoa Tran, 2022, SoICT.

Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning

Bui Quang Huy, David Lo, Quyet-Thang Huynh, 2023, IEEE Transactions on Software Engineering.

Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies

Toshiaki Aoki, Yuki Chiba, Nhat-Hoa Tran, 2019, IEICE Trans. Inf. Syst..

Qualitative and quantitative analysis with scheduling policies in model checking

Toshiaki Aoki, Yuki Chiba, Nhat-Hoa Tran, 2018, SAC.

Domain-Specific Language Facilitates Scheduling in Model Checking

Toshiaki Aoki, Yuki Chiba, Nhat-Hoa Tran, 2017, 2017 24th Asia-Pacific Software Engineering Conference (APSEC).