P. Huu-nghia-nguyen, F. Poizat, and . Za¨?diza¨?di, Automatic Skeleton Generation for Data-Aware Service Choreographies, ISSRE -IEEE International Symposium on Software Reliability Engineering, pp.320-329, 2013.

P. Huu-nghia-nguyen, F. Poizat, and . Za¨?diza¨?di, Online Verification of Value- Passing Choreographies through Property-Oriented Passive Tesing, HASE - IEEE International Symposium on High Assurance Systems Engineering, pp.106-113, 2012.

P. Huu-nghia-nguyen, F. Poizat, and . Za¨?diza¨?di, A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies, ICSOC -International Conference on Service Oriented Computing, pp.525-532

P. Huu-nghia-nguyen, F. Poizat, and . Za¨?diza¨?di, Passive Conformance Testing of Service Choreographies, SAC -ACM Symposium on Applied Computing, pp.1528-1535, 2012.

. Présentations, 1. A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies, Journées du GDR GPL, MTV2 track, 2013.

G. Gpl, Vérification des chorégraphie implantant en BPEL, 2011.