Personal information

Other IDs

Scopus Author ID: 57194193263

Activities

Collapse all

Works (6)

ESpin: Analyzing Event-Driven Systems in Model Checking

2023 | Book chapter
DOI: 10.1007/978-3-031-36886-8_31
Contributors: Nhat-Hoa Tran
Source: check_circle
Crossref

Model Checking Techniques Enable Schedulability Analysis of Real-Time Systems

2022-12 | Conference paper
DOI: 10.1145/3568562.3568565
Contributors: Nhat-Hoa Tran
Source: check_circle
Crossref

Conformance Testing of Schedulers for DSL-based Model Checking

2019 | Book chapter
DOI: 10.1007/978-3-030-30923-7_12
Contributors: Nhat-Hoa Tran; Toshiaki Aoki
Source: check_circle
Crossref

Model checking in the presence of schedulers using a domain-specific language for scheduling policies

IEICE Transactions on Information and Systems
2019 | Journal article
DOI: 10.1587/transinf.2017EDP7391
EID:

2-s2.0-85069733377
Contributors: Tran, N.-H.; Chiba, Y.; Aoki, T.
Source: Self-asserted source
Nhat-Hoa Tran via Scopus - Elsevier

Domain-Specific Language Facilitates Scheduling in Model Checking

Proceedings - Asia-Pacific Software Engineering Conference, APSEC
2018 | Conference paper
DOI: 10.1109/APSEC.2017.48
EID:

2-s2.0-85045901569
Contributors: Tran, N.-H.; Chiba, Y.; Aoki, T.
Source: Self-asserted source
Nhat-Hoa Tran via Scopus - Elsevier

Qualitative and quantitative analysis with scheduling policies in model checking

Proceedings of the ACM Symposium on Applied Computing
2018 | Conference paper
DOI: 10.1145/3167132.3167332
EID:

2-s2.0-85050552145
Contributors: Tran, N.-H.; Chiba, Y.; Aoki, T.
Source: Self-asserted source
Nhat-Hoa Tran via Scopus - Elsevier
How many people are using ORCID?