Hữu Nghĩa Nguyễn
Hữu Nghĩa Nguyễn
R&D at Montimage
E-mail megerősítve itt: montimage.com
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
202012
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
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
142013
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
132012
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
92014
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
32014
A tool for checking CSP|| B specifications
HN Nguyen, JP Jacquot
32010
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
22015
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
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
2020
Search for light long-lived neutral particles produced in collisions at 13 TeV and decaying into collimated leptons or light hadrons with the ATLAS detector
G Aad, A Kupco, S Webb, T Dreyer, Y Wang, K Jakobs, M Spousta, ...
ATLAS-EXOT-2017-28-004, 2019
2019
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
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–16