Nhat-Hoa Tran

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 9

Top Topics

Pspace Complete

Formal Specification

Top Venues

IEICE Trans. Inf. Syst.

Publications

Thanh Le-Cong, Duc-Minh Luong, Xuan Bach D. Le, David Lo, Nhat-Hoa Tran, Bui Quang Huy, Quyet-Thang Huynh
Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning. CoRR (2023)
Thanh Le-Cong, Duc-Minh Luong, Xuan-Bach Dinh Le, David Lo, Nhat-Hoa Tran, Bui Quang Huy, Quyet-Thang Huynh
Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning. IEEE Trans. Software Eng. 49 (6) (2023)
Nhat-Hoa Tran
Model Checking Techniques Enable Schedulability Analysis of Real-Time Systems. SoICT (2022)
Nhat-Hoa Tran, Toshiaki Aoki
SSpinJa: Facilitating Schedulers in Model Checking. QRS (2021)
Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki
Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies. IEICE Trans. Inf. Syst. (7) (2019)
Nhat-Hoa Tran
A Specification-Based Approach to Model Checking Event-Driven Systems. SoICT (2019)
Nhat-Hoa Tran, Toshiaki Aoki
Conformance Testing of Schedulers for DSL-based Model Checking. SPIN (2019)
Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki
Qualitative and quantitative analysis with scheduling policies in model checking. SAC (2018)
Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki
Domain-Specific Language Facilitates Scheduling in Model Checking. APSEC (2017)