Hữu Nghĩa Nguyễn
Hữu Nghĩa Nguyễn
R&D at Montimage
Vahvistettu sähköpostiosoite verkkotunnuksessa montimage.com
Nimike
Viittaukset
Viittaukset
Vuosi
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
222012
Search for light long-lived neutral particles produced in pp collisions at and decaying into collimated leptons or light hadrons with the ATLAS detector
ATLAS Collaboration atlas. publications@ cern. ch, G Aad, B Abbott, ...
The European Physical Journal C 80, 1-29, 2020
212020
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
162012
Automatic skeleton generation for data-aware service choreographies
HN Nguyen, P Poizat, F Zaïdi
2013 IEEE 24th International Symposium on Software Reliability Engineering …, 2013
152013
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
Search for new phenomena in final states with large jet multiplicities and missing transverse momentum using s = 13 TeV proton-proton collisions recorded by …
G Aad, B Abbott, DC Abbott, AA Abud, K Abeling, DK Abhayasinghe, ...
Journal of High Energy Physics 2020 (10), 1-53, 2020
42020
Formal Verification of Coordination Systems' Requirements-A Case Study on the European Train Control System.
HN Nguyen, AR Cavalli, M Reformat
SEKE, 393-396, 2014
42014
Guiding testers’ hands in monitoring tools: application of testing approaches on SIP
X Che, S Maag, HN Nguyen, F Zaidi
IFIP International Conference on Testing Software and Systems, 105-123, 2015
32015
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
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
Effectively Testing of Timed Composite Systems using Test Case Prioritization.
HN Nguyen, F Zaidi, AR Cavalli
SEKE, 408-413, 2016
12016
A Framework for the Attack Tolerance of Cloud Applications Based on Web Services
G Ouffoué, F Zaïdi, A R Cavalli, HN Nguyen
Electronics 10 (1), 6, 2021
2021
Search for dijet resonances in events with an isolated charged lepton using = 13 TeV proton-proton collision data collected by the ATLAS detector
G Aad, B Abbott, DC Abbott, A Abed Abud, K Abeling, DK Abhayasinghe, ...
Journal of High Energy Physics (Online) 2020 (6), 2020
2020
A Framework for the Attack Tolerance of Cloud Applications Based on Web Services. Electronics 2021, 10, 6
G Ouffoué, F Zaïdi, AR Cavalli, HN Nguyen
s Note: MDPI stays neu-tral with regard to jurisdictional claims in …, 2020
2020
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
HN Nguyễn
Université Paris Sud-Paris XI, 2013
2013
Construction d'un platoon en CSPllB
JP JACQUOT, J SOUQUIERES, HN NGUYEN
2009
Intégration du protocole MBMS dans la plateforme TD-CDMA
HN NGUYEN
2005
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–19