Viet Ha Nguyen

18 papers B 5C 1Journal 7Unranked 5

Year	Rank	Type	Title / 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