Viet Ha Nguyen

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 5

Top Topics

Collaborative Learning

False Positives

Detecting And Tracking Multiple

Facial Expressions

Top Venues

IEICE Trans. Inf. Syst.

Publications

Tran Viet Khoa, Do Hai Son, Dinh Thai Hoang, Nguyen Linh Trung, Tran Thi Thuy Quynh, Diep N. Nguyen, Viet Ha Nguyen, Eryk Dutkiewicz
Real-time Cyberattack Detection with Collaborative Learning for Blockchain Networks. CoRR (2024)
Tran Viet Khoa, Do Hai Son, Dinh Thai Hoang, Nguyen Linh Trung, Tran Thi Thuy Quynh, Diep N. Nguyen, Viet Ha Nguyen, Eryk Dutkiewicz
Real-time Cyberattack Detection with Collaborative Learning for Blockchain Networks. WCNC (2024)
Ngoc-Khuong Nguyen, Viet Ha Nguyen, Anh-Cuong Le
A Local Attention-based Neural Networks for Abstractive Text Summarization. APIT (2023)
Hoang-Viet Tran, Pham Ngoc Hung, Viet Ha Nguyen
On Locally Minimum and Strongest Assumption Generation Method for Component-Based Software Verification. IEICE Trans. Inf. Syst. (8) (2019)
Thi-Dao Vu, Pham Ngoc Hung, Viet Ha Nguyen
A Method for Automated Test Cases Generation from UML Models with String Constraints. ACIIDS (Extended Posters) (2017)
Thi Duyen Ngo, Vu Thi Hong Nhan, Viet Ha Nguyen, The Duy Bui
Improving Simulation of Continuous Emotional Facial Expressions by Analyzing Videos of Human Facial Activities. PRIMA (2014)
Diep Bui Phi, Trong Khanh Nguyen, Viet Ha Nguyen
A runtime approach for estimating resource usage. SoICT (2013)
Ninh-Thuan Truong, Viet Ha Nguyen
An Approach to Checking the Compliance of User Permission Policy in Software Development. Int. J. Softw. Eng. Knowl. Eng. 23 (8) (2013)
Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama
On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (9) (2012)
Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama
An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification. RIVF (2012)
Thu-Trang Nguyen, Ninh-Thuan Truong, Viet Ha Nguyen
Verifying Java Object Invariants at Runtime. Int. J. Softw. Eng. Knowl. Eng. 21 (4) (2011)
Thanh-Binh Trinh, Ninh-Thuan Truong, Viet Ha Nguyen
Refining Undetermined Events for Specifying Concurrent Programs. KSE (2011)
Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama
A Minimized Assumption Generation Method for Component-Based Software Verification. IEICE Trans. Inf. Syst. (8) (2010)
Ninh-Thuan Truong, Thi-Mai-Thuong Tran, Van-Khanh To, Viet Ha Nguyen
Checking the Consistency between UCM and PSM Using a Graph-Based Method. ACIIDS (2009)
Ninh-Thuan Truong, Thanh-Binh Trinh, Viet Ha Nguyen
Coordinated Consensus Analysis of Multi-agent Systems Using Event-B. SEFM (2009)
Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung
Checking Interface Interaction Protocols Using Aspect-Oriented Programming. SEFM (2008)
Ninh-Thuan Truong, Viet Ha Nguyen
Using B to Verify the Weaving of Aspects. APSEC (2007)
Viet Ha Nguyen, Tsutomu Ishikawa, Akinori Abe
A mechanism for inferring approximate solutions under incomplete knowledge based on rule similarity. Systems and Computers in Japan 33 (9) (2002)