Contact: Université de Paris-Sud 11 Bureau 73, Bâtiment 650 (PCRI) Rue Noetzlin 91405 Orsay Cedex, France Tel: +33 1 69 15 66 61

I am a Ph.D. student in ForTeES and LEO/IASI teams at LRI - University Paris-Sud 11, since January 2010.
My supervisors are Fatiha Zaïdi and Pascal Poizat.

My work is focused on composite distributed systems. How to describe, then model the coordination between components in a dynamic distributed system in order to be used by passive testing and diagnosis?

Before comming to the LRI, I received a MSc in Networks and Communicating Systems from the IFI / University Claude Bernard of Lyon in 2009, and BSc in Computer Science from the University of Transport and Communications in 2005.

Publications

• Huu Nghia Nguyen, Pascal Poizat and Fatiha Zaïdi. Passive Conformance Testing of Service Choreographies. in SAC'2012 - 27th ACM Symposium on Applied Computing. March 2012. [pdf]
• Huu Nghia Nguyen, Jean-Pierre Jacquot. A tool for Checking CSP||B specifications. in WS-TBFM'2010 - Workshop on Tool Building for Formal Methods. February 2010. [pdf]
• Huu Nghia Nguyen. Contruction d'un platoon en CSP||B. Master thesis (in French), under the supervision of Jean-Pierre Jacquot and Jeanine Souquières. November 2009. [pdf | slides]

Tools

• SOAP message capture running in ODE envairement.
• Syntax verification and trace set calculation of a Chor specification.

Other Activities

• 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems . Bertinoro, Italy. 13-18 June 2011.
• 4th International School on Fault Detection and Diagnosis of Complex Systems . Girona, Catalonia, Spain. 05-09 July 2010.