Dong Ha Nguyen

Research Assignment Improving eciency of model checking through systematically combining Nbac and PMC

Dong Ha Nguyen, D. Nguyen, 2004 .

A VPA-based Aspect Language

Dong Ha Nguyen, 2011 .

Property-Preserving Evolution of Components Using VPA-Based Aspects

Mario Südholt, Dong Ha Nguyen, 2007, OTM Conferences.

OBjects, ASpects, and COmponents

Fabien Hermenier, Jean-Claude Royer, Thomas Ledoux, 2003 .

On improving efficiency of model checking through systematically combining Nbac and PMC/Uppaal

Dong Ha Nguyen, D. Nguyen, 2004 .

Towards correct evolution of components using VPA-based aspects

Mario Südholt, Dong Ha Nguyen, 2007, RAM-SE.

VPA-Based Aspects: Better Support for AOP over Protocols

Mario Südholt, Dong Ha Nguyen, Mario Südholt, 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).