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 | 35 | 2021 |
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 | 23 | 2012 |
Automatic skeleton generation for data-aware service choreographies HN Nguyen, P Poizat, F Zaidi 2013 IEEE 24th International Symposium on Software Reliability Engineering …, 2013 | 20 | 2013 |
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 | 20 | 2012 |
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 | 18 | 2012 |
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 | 8 | 2014 |
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 11, 43925-43944, 2023 | 7 | 2023 |
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 | 6 | 2020 |
Formal Verification of Coordination Systems' Requirements-A Case Study on the European Train Control System. HN Nguyen, AR Cavalli SEKE, 393-396, 2014 | 5 | 2014 |
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 | 4 | 2023 |
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 | 3 | 2021 |
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 | 3 | 2010 |
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 | 2 | 2022 |
Effectively Testing of Timed Composite Systems using Test Case Prioritization. HN Nguyen, F Zaidi, AR Cavalli SEKE, 408-413, 2016 | 2 | 2016 |
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 | 2 | 2015 |
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 | 2 | 2014 |
A Framework for In-network Inference using P4 HN Nguyen, MD Nguyen, E Montes de Oca Proceedings of the 19th International Conference on Availability …, 2024 | 1 | 2024 |
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 |