Nhat-Hoa Tran

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..

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

Nhat-Hoa Tran, 2019, SoICT 2019.

Domain-Specific Language Facilitates Scheduling in Model Checking

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

Qualitative and quantitative analysis with scheduling policies in model checking

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

Conformance Testing of Schedulers for DSL-based Model Checking

Toshiaki Aoki, Nhat-Hoa Tran, 2019, SPIN.