Huu Nghia Nguyen

Orcid: 0000-0002-5778-0752

According to our database1, Huu Nghia Nguyen authored at least 18 papers between 2006 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A Network Traffic Mutation Based Ontology, and Its Application to 5G Networks.
IEEE Access, 2023

A Comprehensive P4-based Monitoring Framework for L4S leveraging In-band Network Telemetry.
Proceedings of the NOMS 2023, 2023

HTTP/2 Attacks Generation using 5Greplay.
Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023

2022
A Formal Approach for Complex Attacks Generation based on Mutation of 5G Network Traffic.
Proceedings of the 17th International Conference on Software Technologies, 2022

2021
Assessing the Threats Targeting Low Latency Traffic: the Case of L4S.
Proceedings of the 17th International Conference on Network and Service Management, 2021

5Greplay: a 5G Network Traffic Fuzzer - Application to Attack Injection.
Proceedings of the ARES 2021: The 16th International Conference on Availability, 2021

2018
A robust ICI suppression based on an adaptive equalizer for very fast time-varying channels in LTE-R systems.
EURASIP J. Wirel. Commun. Netw., 2018

An OFDM System Design with Efficient ICI Cancellation over Embedded LTE-R Channels Based on the USRP Platform.
Proceedings of the 12th International Conference on Ubiquitous Information Management and Communication, 2018

2016
Effectively Testing of Timed Composite Systems using Test Case Prioritization.
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

2015
Guiding Testers' Hands in Monitoring Tools: Application of Testing Approaches on SIP.
Proceedings of the Testing Software and Systems, 2015

2014
Formal Verification of Coordination Systems' Requirements - A Case Study on the European Train Control System.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

A Framework for Distributed Testing of Timed Composite Systems.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013
A symbolic approach for the verification and the test of service choreographies. (Une approche symbolique pour la vérification et le test des chorégraphies de services).
PhD thesis, 2013

Automatic skeleton generation for data-aware service choreographies.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2012
Passive conformance testing of service choreographies.
Proceedings of the ACM Symposium on Applied Computing, 2012

A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies.
Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing.
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

2006
An Early Technical Evaluation of Convergence between Cellular and Broadcast Media.
Proceedings of the 2006 International Conference on Networking and Services (ICNS 2006), 2006


  Loading...