Nhat-Hoa Tran

According to our database, Nhat-Hoa Tran authored at least 8 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning.

Thanh Le-Cong, Duc-Minh Luong, Xuan-Bach Dinh Le, David Lo, Nhat-Hoa Tran, Bui Quang Huy, Quyet-Thang Huynh

IEEE Trans. Software Eng., June, 2023

2022

Model Checking Techniques Enable Schedulability Analysis of Real-Time Systems.

Nhat-Hoa Tran

Proceedings of the 11th International Symposium on Information and Communication Technology, 2022

2021

SSpinJa: Facilitating Schedulers in Model Checking.

Nhat-Hoa Tran, Toshiaki Aoki

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

2019

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

Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki

IEICE Trans. Inf. Syst., 2019

Conformance Testing of Schedulers for DSL-based Model Checking.

Nhat-Hoa Tran, Toshiaki Aoki

Proceedings of the Model Checking Software - 26th International Symposium, 2019

A Specification-Based Approach to Model Checking Event-Driven Systems.

Nhat-Hoa Tran

Proceedings of the Tenth International Symposium on Information and Communication Technology, 2019

2018

Qualitative and quantitative analysis with scheduling policies in model checking.

Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2017

Domain-Specific Language Facilitates Scheduling in Model Checking.

Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017