Viet Ha Nguyen

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