An Early Technical Evaluation of Convergence between Cellular and Broadcast Media. - Michelle Wetterwald; Huu Nghia Nguyen; Susana Sargento (ICNS, 2006)

Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing. - Huu Nghia Nguyen; Pascal Poizat; Fatiha Zaïdi (HASE, 2012)

A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies. - Huu Nghia Nguyen; Pascal Poizat; Fatiha Zaïdi (ICSOC, 2012)

Passive conformance testing of service choreographies. - Huu Nghia Nguyen; Pascal Poizat; Fatiha Zaïdi (SAC, 2012)

Automatic skeleton generation for data-aware service choreographies. - Huu Nghia Nguyen; Pascal Poizat; Fatiha Zaïdi (ISSRE, 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 (2013)

A Framework for Distributed Testing of Timed Composite Systems. - Huu Nghia Nguyen; Fatiha Zaïdi; Ana R. Cavalli (APSEC (1), 2014)

Formal Verification of Coordination Systems' Requirements - A Case Study on the European Train Control System. - Huu Nghia Nguyen; Ana R. Cavalli (SEKE, 2014)

Guiding Testers' Hands in Monitoring Tools: Application of Testing Approaches on SIP. - Xiaoping Che; Stephane Maag; Huu Nghia Nguyen; Fatiha Zaïdi (ICTSS, 2015)

Effectively Testing of Timed Composite Systems using Test Case Prioritization. - Huu Nghia Nguyen; Fatiha Zaïdi; Ana R. Cavalli (SEKE, 2016)

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 001; Hanbyeog Cho; Van Duc Nguyen; Byeungwoo Jeon (IMCOM, 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 001; Huu Nghia Nguyen; Hyun-Kyun Choi; Jin-Kyu Choi; Soonghwan Ro; Van Duc Nguyen (EURASIP J. Wirel. Commun. Netw., 2018)

5Greplay: a 5G Network Traffic Fuzzer - Application to Attack Injection. - Zujany Salazar; Huu Nghia Nguyen; Wissam Mallouli; Ana R. Cavalli; Edgardo Montes de Oca (ARES, 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 (CNSM, 2021)

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 (ICSOFT, 2022)

HTTP/2 Attacks Generation using 5Greplay. - Francesco G. Caccavale; Huu Nghia Nguyen; Ana R. Cavalli; Edgardo Montes de Oca; Wissam Mallouli (ARES, 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 (NOMS, 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 Framework for In-network Inference using P4. - Huu Nghia Nguyen; Manh-Dung Nguyen; Edgardo Montes de Oca (ARES, 2024)

An Intelligent Network Fuzzer for Protocol Testing in Healthcare Systems. - Manh-Dung Nguyen; Huu Nghia Nguyen; Lethycia Maia de Souza; Stylianos Karagiannis; Ana Rosa Cavalli; Edgardo Montes de Oca (ARES (EU Projects Symposium Workshops 2), 2025)