Viet Ha Nguyen

Orcid: 0009-0005-5237-5036

Affiliations:
  • VNU University of Engineering and Technology, Department of Software Engineering, Hanoi, Vietnam


According to our database1, Viet Ha Nguyen authored at least 40 papers between 2002 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Collaborative Learning for Cyberattack Detection in Blockchain Networks.
IEEE Trans. Syst. Man Cybern. Syst., July, 2024

Real-time Cyberattack Detection with Collaborative Learning for Blockchain Networks.
Proceedings of the IEEE Wireless Communications and Networking Conference, 2024

2023
Deep Transfer Learning: A Novel Collaborative Learning Model for Cyberattack Detection Systems in IoT Networks.
IEEE Internet Things J., May, 2023

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

A Local Attention-based Neural Networks for Abstractive Text Summarization.
Proceedings of the 2023 5th Asia Pacific Information Technology Conference, 2023

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

2021
A Hierarchical Long Short-Term Memory Encoder-Decoder Model for Abstractive Summarization.
Proceedings of the 13th International Conference on Knowledge and Systems Engineering, 2021

2020
A framework for assume-guarantee regression verification of evolving software.
Sci. Comput. Program., 2020

Generative software module development for domain-driven design with annotation-based domain specific language.
Inf. Softw. Technol., 2020

Autoencoder based Friendly Jamming.
Proceedings of the 2020 IEEE Wireless Communications and Networking Conference, 2020

Collaborative Learning Model for Cyberattack Detection Systems in IoT Industry 4.0.
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.
IEICE Trans. Inf. Syst., 2019

2018
On domain driven design using annotation-based domain specific language.
Comput. Lang. Syst. Struct., 2018

A Hierarchical Conditional Attention-Based Neural Networks for Paraphrase Generation.
Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2018

An Attention-Based Long-Short-Term-Memory Model for Paraphrase Generation.
Proceedings of the Integrated Uncertainty in Knowledge Modelling and Decision Making, 2018

2017
A knowledge representation for Vietnamese legal document system.
Proceedings of the 9th International Conference on Knowledge and Systems Engineering, 2017

Generative software module development: A domain-driven design perspective.
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.
Proceedings of the Advanced Topics in Intelligent Information and Database Systems,, 2017

Generation of Test Data Using Genetic Algorithm and Constraint Solver.
Proceedings of the Advanced Topics in Intelligent Information and Database Systems,, 2017

2016
Domain-driven design patterns: A metadata-based approach.
Proceedings of the 2016 IEEE RIVF International Conference on Computing & Communication Technologies, 2016

Domain-driven design using meta-attributes: A DSL-based approach.
Proceedings of the 2016 Eighth International Conference on Knowledge and Systems Engineering, 2016

A Technique for Generating Test Data Using Genetic Algorithm.
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.
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.
Proceedings of the PRIMA 2014: Principles and Practice of Multi-Agent Systems, 2014

An Architecture for Web Services Mash-Up based on Mobile Agents.
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.
Int. J. Softw. Eng. Knowl. Eng., 2013

A runtime approach for estimating resource usage.
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.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification.
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.
Proceedings of the Fourth International Conference on Knowledge and Systems Engineering, 2012

2011
Verifying Java Object Invariants at Runtime.
Int. J. Softw. Eng. Knowl. Eng., 2011

Refining Undetermined Events for Specifying Concurrent Programs.
Proceedings of the Third International Conference on Knowledge and Systems Engineering, 2011

Towards scalable agent-based web service systems: performance evaluation.
Proceedings of the iiWAS'2011, 2011

2010
A Minimized Assumption Generation Method for Component-Based Software Verification.
IEICE Trans. Inf. Syst., 2010

2009
Coordinated Consensus Analysis of Multi-agent Systems Using Event-B.
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.
Proceedings of the First Asian Conference on Intelligent Information and Database Systems, 2009

2008
Checking Interface Interaction Protocols Using Aspect-Oriented Programming.
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.
Proceedings of the ALPIT 2008, 2008

2007
Using B to Verify the Weaving of Aspects.
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.
Syst. Comput. Jpn., 2002


  Loading...