??? Truong Ninh Thuan





RESEARCH
TEACHING
PUBLICATION

TRUONG Ninh Thuan

Addr:
Room 314 E3, IT Faculty,
College of Technology, VNU, Hanoi.
Email: thuantn AT vnu.edu.vn
Phone: (04) 7549016
RESEARCH
  • Formal methods, Formal verification
  • Object Oriented Specification
  • Component based Software Engineering
  • Software security
TEACHING
  • Software engineering
  • Object oriented Analysis and Design (UML)
  • Software Project Management
  • Formal methods
  • Object oriented programming with Java
SELECTED PUBLICATIONS | ALL PUBLICATIONS
  • Thu-Trang Nguyen, Ninh-Thuan Truong, and Viet-Ha Nguyen, Verifying Java Object Invariants at Runtime, International Journal of Software Engineering and Knowledge Engineering, Vol. 21, No. 4, pp. 605-619, 2011.
  • N.T. Truong and V.H. Nguyen. Using B to verify the weaving of aspects. In the proceeding of the 14th Asia-Pacific Software Engineering Conference (APSEC07), Japan, 2007.
  • N.T. Truong and J. Souquieres. Verification of UML model elements using B. In Journal of Information Science and Engineering. vol 22, No 2, March 2006.
  • N.T. Truong and J. Souquieres. Validation of UML static diagrams using B. In proceedings of International conference on Software Engineering Research and Practice (SERP). Las Vegas, USA. CSREA press.
  • N.T. Truong and J. Souquieres. Verification of behavioral elements of UML models using B. In proceeding of 20th Annual ACM Symposium on Applied Computing (SAC05). New Mexico, USA. 2005.
  • N.T. Truong and J. Souquieres. An approach for the verification of UML models using B. In proceedings of 11th International Conference on the Engineering of Computer Based Systems (ECBS), Czech, IEEE Computer Society, 2004.