Viet Ha Nguyen

According to our database, Viet Ha Nguyen authored at least 38 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Deep Transfer Learning: A Novel Collaborative Learning Model for Cyberattack Detection Systems in IoT Networks.

Tran Viet Khoa, Dinh Thai Hoang, Nguyen Linh Trung, Cong T. Nguyen, Tran Thi Thuy Quynh, Diep N. Nguyen, Nguyen Viet Ha, Eryk Dutkiewicz

IEEE Internet Things J., May, 2023

Securing Blockchain Systems: A Novel Collaborative Learning Framework to Detect Attacks in Transactions and Smart Contracts.

Tran Viet Khoa, Do Hai Son, Chi-Hieu Nguyen, Dinh Thai Hoang, Diep N. Nguyen, Nguyen Linh Trung, Tran Thi Thuy Quynh, Trong-Minh Hoang, Nguyen Viet Ha, Eryk Dutkiewicz

CoRR, 2023

2022

An Effective Framework of Private Ethereum Blockchain Networks for Smart Grid.

Do Hai Son, Tran Thi Thuy Quynh, Tran Viet Khoa, Dinh Thai Hoang, Nguyen Linh Trung, Nguyen Viet Ha, Dusit Niyato, Diep N. Nguyen, Eryk Dutkiewicz

CoRR, 2022

Collaborative Learning for Cyberattack Detection in Blockchain Networks.

Tran Viet Khoa, Do Hai Son, Dinh Thai Hoang, Nguyen Linh Trung, Tran Thi Thuy Quynh, Diep N. Nguyen, Nguyen Viet Ha, Eryk Dutkiewicz

CoRR, 2022

2021

A Hierarchical Long Short-Term Memory Encoder-Decoder Model for Abstractive Summarization.

Khuong Nguyen-Ngoc, Anh-Cuong Le, Viet-Ha Nguyen

Proceedings of the 13th International Conference on Knowledge and Systems Engineering, 2021

2020

A framework for assume-guarantee regression verification of evolving software.

Hoang-Viet Tran, Pham Ngoc Hung, Viet-Ha Nguyen, Toshiaki Aoki

Sci. Comput. Program., 2020

Generative software module development for domain-driven design with annotation-based domain specific language.

Duc Minh Le, Duc-Hanh Dang, Viet-Ha Nguyen

Inf. Softw. Technol., 2020

Autoencoder based Friendly Jamming.

Bui Minh Tuan, Ta Duc Tuyen, Nguyen Linh Trung, Nguyen Viet Ha

Proceedings of the 2020 IEEE Wireless Communications and Networking Conference, 2020

Collaborative Learning Model for Cyberattack Detection Systems in IoT Industry 4.0.

Tran Viet Khoa, Yuris Mulya Saputra, Dinh Thai Hoang, Nguyen Linh Trung, Diep N. Nguyen, Nguyen Viet Ha, Eryk Dutkiewicz

Proceedings of the 2020 IEEE Wireless Communications and Networking Conference, 2020

2019

On Locally Minimum and Strongest Assumption Generation Method for Component-Based Software Verification.

Hoang-Viet Tran, Pham Ngoc Hung, Viet Ha Nguyen

IEICE Trans. Inf. Syst., 2019

2018

On domain driven design using annotation-based domain specific language.

Duc Minh Le, Duc-Hanh Dang, Viet-Ha Nguyen

Comput. Lang. Syst. Struct., 2018

A Hierarchical Conditional Attention-Based Neural Networks for Paraphrase Generation.

Khuong Nguyen-Ngoc, Anh-Cuong Le, Viet-Ha Nguyen

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2018

An Attention-Based Long-Short-Term-Memory Model for Paraphrase Generation.

Khuong Nguyen-Ngoc, Anh-Cuong Le, Viet-Ha Nguyen

Proceedings of the Integrated Uncertainty in Knowledge Modelling and Decision Making, 2018

2017

A knowledge representation for Vietnamese legal document system.

Ha-Thanh Nguyen, Viet-Ha Nguyen, Viet-Anh Vu

Proceedings of the 9th International Conference on Knowledge and Systems Engineering, 2017

Generative software module development: A domain-driven design perspective.

Duc Minh Le, Duc-Hanh Dang, Viet-Ha Nguyen

Proceedings of the 9th International Conference on Knowledge and Systems Engineering, 2017

A Method for Automated Test Cases Generation from UML Models with String Constraints.

Thi-Dao Vu, Pham Ngoc Hung, Viet Ha Nguyen

Proceedings of the Advanced Topics in Intelligent Information and Database Systems,, 2017

Generation of Test Data Using Genetic Algorithm and Constraint Solver.

Ngoc-Thi Dinh, Hieu-Dinh Vo, Thi-Dao Vu, Viet-Ha Nguyen

Proceedings of the Advanced Topics in Intelligent Information and Database Systems,, 2017

2016

Domain-driven design patterns: A metadata-based approach.

Duc Minh Le, Duc-Hanh Dang, Viet-Ha Nguyen

Proceedings of the 2016 IEEE RIVF International Conference on Computing & Communication Technologies, 2016

Domain-driven design using meta-attributes: A DSL-based approach.

Duc Minh Le, Duc-Hanh Dang, Viet-Ha Nguyen

Proceedings of the 2016 Eighth International Conference on Knowledge and Systems Engineering, 2016

A Technique for Generating Test Data Using Genetic Algorithm.

Dinh Ngoc Thi, Vo Dinh Hieu, Nguyen Viet Ha

Proceedings of the 2016 International Conference on Advanced Computing and Applications, 2016

2015

A Method for Automated Test Data Generation from Sequence Diagrams and Object Constraint Language.

Thi-Dao Vu, Pham Ngoc Hung, Viet-Ha Nguyen

Proceedings of the Sixth International Symposium on Information and Communication Technology, 2015

2014

Improving Simulation of Continuous Emotional Facial Expressions by Analyzing Videos of Human Facial Activities.

Thi Duyen Ngo, Vu Thi Hong Nhan, Viet Ha Nguyen, The Duy Bui

Proceedings of the PRIMA 2014: Principles and Practice of Multi-Agent Systems, 2014

An Architecture for Web Services Mash-Up based on Mobile Agents.

Quang-Dung Vu, Ha-Thanh Nguyen, Danh-Viet Vu, Viet-Ha Nguyen, Nobuyasu Nakajima

Proceedings of the 16th International Conference on Information Integration and Web-based Applications & Services, 2014

2013

An Approach to Checking the Compliance of User Permission Policy in Software Development.

Ninh-Thuan Truong, Viet Ha Nguyen

Int. J. Softw. Eng. Knowl. Eng., 2013

A runtime approach for estimating resource usage.

Diep Bui Phi, Trong Khanh Nguyen, Viet Ha Nguyen

Proceedings of the 4th International Symposium on Information and Communication Technology, 2013

2012

On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification.

Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification.

Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama

Proceedings of the 2012 IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future (RIVF), Ho Chi Minh City, Vietnam, February 27, 2012

Securing Data in Composite Web Services.

Dinh-Hieu Vo, Dung Chi Phung, Quang-Dung Vu, Viet-Ha Nguyen

Proceedings of the Fourth International Conference on Knowledge and Systems Engineering, 2012

2011

Verifying Java Object Invariants at Runtime.

Thu-Trang Nguyen, Ninh-Thuan Truong, Viet Ha Nguyen

Int. J. Softw. Eng. Knowl. Eng., 2011

Refining Undetermined Events for Specifying Concurrent Programs.

Thanh-Binh Trinh, Ninh-Thuan Truong, Viet Ha Nguyen

Proceedings of the Third International Conference on Knowledge and Systems Engineering, 2011

Towards scalable agent-based web service systems: performance evaluation.

Quang-Dung Vu, Ba-Binh Pham, Dinh-Hieu Vo, Viet-Ha Nguyen

Proceedings of the iiWAS'2011, 2011

2010

A Minimized Assumption Generation Method for Component-Based Software Verification.

Pham Ngoc Hung, Viet Ha Nguyen, Toshiaki Aoki, Takuya Katayama

IEICE Trans. Inf. Syst., 2010

2009

Coordinated Consensus Analysis of Multi-agent Systems Using Event-B.

Ninh-Thuan Truong, Thanh-Binh Trinh, Viet Ha Nguyen

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Checking the Consistency between UCM and PSM Using a Graph-Based Method.

Ninh-Thuan Truong, Thi-Mai-Thuong Tran, Van-Khanh To, Viet Ha Nguyen

Proceedings of the First Asian Conference on Intelligent Information and Database Systems, 2009

2008

Checking Interface Interaction Protocols Using Aspect-Oriented Programming.

Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Transformation Rule Learning without Rule Templates: A Case Study in Part of Speech Tagging.

Ngo Xuan Bach, Le Anh Cuong, Nguyen Viet Ha, Nguyen Ngoc Binh

Proceedings of the ALPIT 2008, 2008

2007

Using B to Verify the Weaving of Aspects.

Ninh-Thuan Truong, Viet Ha Nguyen

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2002

A mechanism for inferring approximate solutions under incomplete knowledge based on rule similarity.

Viet Ha Nguyen, Tsutomu Ishikawa, Akinori Abe

Syst. Comput. Jpn., 2002