Nhat-Hoa Tran

Nhà nghiên cứu Hồ sơ 6/10

Đại học Bách khoa Hà Nội · Công nghệ Thông tin

11 công bố · 40 trích dẫn · h-index 3

Thông tin

🏛️Nơi công tác: Đại học Bách khoa Hà Nội
🔬Lĩnh vực: Công nghệ Thông tin
🆔ORCID: 0000-0003-1000-5123
✍️Hồ sơ chưa đầy đủ — bổ sung thông tin

Công bố tiêu biểu

Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning23 trích dẫn
IEEE Transactions on Software Engineering · 2023 · DOI

Domain-Specific Language Facilitates Scheduling in Model Checking6 trích dẫn
· 2017 · DOI

Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning4 trích dẫn
arXiv (Cornell University) · 2023 · DOI

Model Checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies2 trích dẫn
IEICE Transactions on Information and Systems · 2019 · DOI

SSpinJa: Facilitating Schedulers in Model Checking2 trích dẫn
2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS) · 2021 · DOI

A Specification-Based Approach to Model Checking Event-Driven Systems1 trích dẫn
· 2019 · DOI

Qualitative and quantitative analysis with scheduling policies in model checking1 trích dẫn
· 2018 · DOI

Conformance Testing of Schedulers for DSL-based Model Checking1 trích dẫn
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

Về lĩnh vực Công nghệ Thông tin

2.378học giả

36.643công bố

398.190trích dẫn

3.7h-index trung bình

Hướng nghiên cứu phổ biến trong lĩnh vực:

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

Nơi có nhiều học giả lĩnh vực này nhất: