Hữu Nghĩa Nguyễn
Hữu Nghĩa Nguyễn
R&D at Montimage
E-mail confirmado em montimage.com
Título
Citado por
Citado por
Ano
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
192012
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
182012
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
122013
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
122012
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, 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
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
2013
Construction d'un platoon en CSPllB
JP JACQUOT, J SOUQUIERES, HN NGUYEN
2009
Intégration du protocole MBMS dans la plateforme TD-CDMA
NH Nghia
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–14