Huu Nghia Nguyen

According to our database, Huu Nghia Nguyen authored at least 19 papers between 2006 and 2024.

Collaborative distances:

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

2024

A Framework for In-network Inference using P4.

Huu Nghia Nguyen, Manh-Dung Nguyen, Edgardo Montes de Oca

Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024

2023

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

Zujany Salazar, Fatiha Zaïdi, Huu Nghia Nguyen, Wissam Mallouli, Ana Rosa Cavalli, Edgardo Montes de Oca

IEEE Access, 2023

A Comprehensive P4-based Monitoring Framework for L4S leveraging In-band Network Telemetry.

Huu Nghia Nguyen, Bertrand Mathieu, Marius Letourneau, Guillaume Doyen, Stéphane Tuffin, Edgardo Montes de Oca

Proceedings of the NOMS 2023, 2023

HTTP/2 Attacks Generation using 5Greplay.

Francesco G. Caccavale, Huu Nghia Nguyen, Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mallouli

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.

Zujany Salazar, Fatiha Zaïdi, Wissam Mallouli, Ana Rosa Cavalli, Huu Nghia Nguyen, Edgardo Montes de Oca

Proceedings of the 17th International Conference on Software Technologies, 2022

2021

Assessing the Threats Targeting Low Latency Traffic: the Case of L4S.

Marius Letourneau, Kouame Boris N'Djore, Guillaume Doyen, Bertrand Mathieu, Rémi Cogranne, Huu Nghia Nguyen

Proceedings of the 17th International Conference on Network and Service Management, 2021

5Greplay: a 5G Network Traffic Fuzzer - Application to Attack Injection.

Zujany Salazar, Huu Nghia Nguyen, Wissam Mallouli, Ana R. Cavalli, Edgardo Montes de Oca

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.

Hanbyeog Cho, Tien Hoa Nguyen, Huu Nghia Nguyen, Hyun-Kyun Choi, Jin-Kyu Choi, Soonghwan Ro, Van Duc Nguyen

EURASIP J. Wirel. Commun. Netw., 2018

An OFDM System Design with Efficient ICI Cancellation over Embedded LTE-R Channels Based on the USRP Platform.

Huu Nghia Nguyen, Huy Pham Quoc, Luong Pham Van, Tien Hoa Nguyen, Hanbyeog Cho, Van Duc Nguyen, Byeungwoo Jeon

Proceedings of the 12th International Conference on Ubiquitous Information Management and Communication, 2018

2016

Effectively Testing of Timed Composite Systems using Test Case Prioritization.

Huu Nghia Nguyen, Fatiha Zaïdi, Ana R. Cavalli

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.

Xiaoping Che, Stephane Maag, Huu Nghia Nguyen, Fatiha Zaïdi

Proceedings of the Testing Software and Systems, 2015

2014

Formal Verification of Coordination Systems' Requirements - A Case Study on the European Train Control System.

Huu Nghia Nguyen, Ana R. Cavalli

Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

A Framework for Distributed Testing of Timed Composite Systems.

Huu Nghia Nguyen, Fatiha Zaïdi, Ana R. Cavalli

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).

Huu Nghia Nguyen

PhD thesis, 2013

Automatic skeleton generation for data-aware service choreographies.

Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2012

Passive conformance testing of service choreographies.

Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi

Proceedings of the ACM Symposium on Applied Computing, 2012

A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies.

Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi

Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing.

Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi

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.

Michelle Wetterwald, Huu Nghia Nguyen, Susana Sargento

Proceedings of the 2006 International Conference on Networking and Services (ICNS 2006), 2006