Ha Nguyen

PhD student, OBASCO ("Objects, Aspects, Components") group, EMN-INRIA

Contact

Ha Nguyen
École des Mines de Nantes
Département Informatique
4, rue Alfred Kastler
F - 44307 Nantes cedex 3
France

Office: A251
Fax : +33 (0)2.51.85.82.49
Email : Ha (dot) Nguyen (at) emn (dot) fr
Web: www.emn.fr/x-info/hnguyen

On-going work

Visibly Pushdown Automata Library VPAlib-0_1

Publications

D. H. Nguyen, M. Südholt

"Property-preserving evolution of components using VPA-based aspects", 9th Int. Symp. on Distributed Objects, Middleware, and Applications (DOA'07), Nov. 2007.

D. H. Nguyen, M. Südholt

"Towards correct evolution of components using VPA-based aspects", 4th Int. WS on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'07) at ECOOP, July 2007

D. H. Nguyen, M. Südholt

"VPA-based aspects: better support for AOP over protocols", 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), Sep. 2006.

Research Interests

Aspect-Oriented Programming
Component-Oriented Software
Formal Methods in Software Engineering
Model Checking

Links

People

Mario Südholt, my supervisor

Aspect Oriented Programming

AOSD.net : Aspect-Oriented Software Development Community & Conference
AOSD-Europe : European Network of Excellence on Aspect-Oriented Software Development

Last update: 07 Nov 2007 - by Ha Nguyen