FESK.COMYour global study desk
Email us
Home › Scholar › Nhat-Hoa Tran
COMPILEDopen profilenot managed by this scholar
N

Nhat-Hoa Tran

Researcher Profile 6/10
Hanoi University of Science and Technology · Information Technology
11 publications · 40 citations · h-index 3
This is my profile

Information

Featured publications

Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning23 citations
IEEE Transactions on Software Engineering · 2023 · DOI
Domain-Specific Language Facilitates Scheduling in Model Checking6 citations
· 2017 · DOI
Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning4 citations
arXiv (Cornell University) · 2023 · DOI
Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies2 citations
IEICE Transactions on Information and Systems · 2019 · DOI
SSpinJa: Facilitating Schedulers in Model Checking2 citations
2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS) · 2021 · DOI
A Specification-Based Approach to Model Checking Event-Driven Systems1 citations
· 2019 · DOI
Qualitative and quantitative analysis with scheduling policies in model checking1 citations
· 2018 · DOI
Conformance Testing of Schedulers for DSL-based Model Checking1 citations
Lecture notes in computer science · 2019 · DOI
Model Checking Techniques Enable Schedulability Analysis of Real-Time Systems
· 2022 · DOI
A Bounded Model Checking Approach for Verifying OSEK/VDX Applications
Communications in computer and information science · 2026 · DOI

About the field of Information Technology

2,378researchers 36,643publications 398,190citations 3.7average h-index

Common research topics in this field:

Topic ModelingNatural Language Processing TechniquesAdvanced Neural Network ApplicationsNetwork Security and Intrusion DetectionMultimodal Machine Learning ApplicationsAdvanced Image and Video Retrieval Techniques

Institutions with the most researchers in this field:

Vietnam National University Ho Chi Minh City · 501 Hanoi University of Science and Technology · 203 FPT University · 168 Vietnam National University, Hanoi · 91 Can Tho University · 77

These figures count profiles currently in this directory, not nationwide statistics.

Same institution — Hanoi University of Science and Technology

H
Hanh-Trang Bui
Medicine and Pharmacy
T
Thi Hue Nguyen
Metallurgy
T
Tien Dzung Nguyen
Economics
B
Bui Doan Thang
Information Technology
H
Ha-Thanh Ngo
Medicine and Pharmacy
P
Phan-Thuan Do
Mathematics

Same field Information Technology

N
Ngoc Duc Dang
National Economics Univers
V
Viet-Thang Vu
Hanoi University of Indust
N
Ngoc Thanh Duong
Vietnam National Universit
H
Hung Huy Duc Nguyen
FPT University
T
Thi Tuyet Haï Nguyen
L
Lam Ngo
Verify at: ORCID Find works on Google Scholar ↗ Search Google ↗
The publication list above is compiled from the open academic database OpenAlex (CC0 licence). Compare with the source record on OpenAlex ↗

Suggest / Claim this profile

  
Profile aggregated from public sources. We respect scholars' rights to edit and remove information — all requests are processed promptly.
Nhat-Hoa TranHanoi University of Science and Technology
Claim
Original profile stored athocthuat.vn— two pages display the same database, verification syncs everywhere.