Follow
Hữu Nghĩa Nguyễn
Hữu Nghĩa Nguyễn
R&D at Montimage
Verified email at montimage.com
Title
Cited by
Cited by
Year
5greplay: A 5g network traffic fuzzer-application to attack injection
Z Salazar, HN Nguyen, W Mallouli, AR Cavalli, E Montes de Oca
Proceedings of the 16th International Conference on Availability …, 2021
232021
A symbolic framework for the conformance checking of value-passing choreographies
HN Nguyen, P Poizat, F Zaïdi
International Conference on Service-Oriented Computing, 525-532, 2012
232012
Online verification of value-passing choreographies through property-oriented passive testing
HN Nguyen, P Poizat, F Zaïdi
2012 IEEE 14th International Symposium on High-Assurance Systems Engineering …, 2012
202012
Passive conformance testing of service choreographies
HN Nguyen, P Poizat, F Zaïdi
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1528-1535, 2012
202012
Automatic skeleton generation for data-aware service choreographies
HN Nguyen, P Poizat, F Zaidi
2013 IEEE 24th International Symposium on Software Reliability Engineering …, 2013
192013
A framework for distributed testing of timed composite systems
HN Nguyen, F Zaïdi, A Cavalli
2014 21st Asia-Pacific Software Engineering Conference 1, 47-54, 2014
82014
Formal Verification of Coordination Systems' Requirements-A Case Study on the European Train Control System.
HN Nguyen, AR Cavalli
SEKE, 393-396, 2014
52014
A Network Traffic Mutation based Ontology, and its application to 5G networks
Z Salazar, F Zaïdi, HN Nguyen, W Mallouli, AR Cavalli, EM De Oca
IEEE Access, 2023
42023
A Framework for the Attack Tolerance of Cloud Applications Based on Web Services
G Ouffoué, F Zaïdi, AR Cavalli, HN Nguyen
Electronics 10 (1), 6, 2020
42020
Guiding testersą hands in monitoring tools: application of testing approaches on SIP
X Che, S Maag, HN Nguyen, F Zaidi
Testing Software and Systems: 27th IFIP WG 6.1 International Conference …, 2015
42015
A formal approach for complex attacks generation based on mutation of 5G network traffic
Z Salazar, F Zaidi, W Mallouli, AR Cavalli, HN Nguyen, EM De Oca
International Conference on Software and Data Technologies 1, P. 234-241, 2022
32022
A tool for checking CSP|| B specifications
HN Nguyen, JP Jacquot
Workshop on Tool Building in Formal Methods-Held in conjunction with the 2nd …, 2010
32010
Assessing the threats targeting low latency traffic: the case of L4S
M Letourneau, KB N'Djore, G Doyen, B Mathieu, R Cogranne, HN Nguyen
2021 17th International Conference on Network and Service Management (CNSM …, 2021
22021
Effectively Testing of Timed Composite Systems using Test Case Prioritization.
HN Nguyen, F Zaidi, AR Cavalli
SEKE, 408-413, 2016
22016
D. 4.2. 1 1st interim V&V report on the applicability of the V&V approach to the formal abstract model
A Cavalli, J Santos, HN Nguyen, M Behrens, S Rieger, C Braunstein, ...
Rapport technique.(Cité dans la page 101.), 2014
22014
A Comprehensive P4-based Monitoring Framework for L4S leveraging In-band Network Telemetry
HN Nguyen, B Mathieu, M Letourneau, G Doyen, S Tuffin, EM de Oca
NOMS 2023-2023 IEEE/IFIP Network Operations and Management Symposium, 1-6, 2023
12023
HTTP/2 Attacks Generation using 5Greplay
FG Caccavale, HN Nguyen, A Cavalli, E Montes De Oca, W Mallouli
Proceedings of the 18th International Conference on Availability …, 2023
2023
D4. 3.1 Final V&V report on the applicability of the V&V approach to the formal abstract model
M Behrens, H Hungar, A Cavalli, J Santos, HN Nguyen, S Rieger, ...
2014
A symbolic approach for the verification and the test of service choreographies
HNN Nguyễn
Université Paris Sud-Paris XI, 2013
2013
Construction d'un platoon en CSP|| B
HN Nguyen, JP Jacquot, J Souquières
2009
The system can't perform the operation now. Try again later.
Articles 1–20