| 2009 | ||
|---|---|---|
| 20 | EE | Ninh-Thuan Truong, Thanh-Binh Trinh, and Viet-Ha Nguyen. Coordinated consensus analysis of multiagent systems using Event-B. In 7th Software Engineering and Formal Methods (SEFM). IEEE Computer Society, 2009. |
| 19 | EE | Thanh-Binh Trinh, Tuan-Anh Do, Ninh-Thuan Truong, and Viet-Ha Nguyen, Checking the Compliance of Timing Constraints in Software Applications, 1st Intern. Conf. on Knowledge and Systems Engineering (KSE 2009), pp. 220-225, Oct 14-15, 2009, IEEE Computer Society. |
| 18 | EE | Tuan-Hung Pham, Ninh-Thuan Truong, and Viet-Ha Nguyen: Analyzing RBAC Security Policy of Implementation Using AST, 1st Intern. Conf. on Knowledge and Systems Engineering (KSE 2009), pp. 215-219, Oct 14-15, 2009, IEEE Computer Society. |
| 17 | EE | Truong Ninh Thuan, Tran Thi Mai Thuong, To Van Khanh, and Nguyen Viet Ha, Checking consistency between UCM and PSM using graph-based method, 1st Asian Conf. on Intelligent Information and Database System (ACIIDS 09), pp. 190-195, April 1-3, 2009, Quang Binh, Vietnam. IEEE Computer Society. |
| 2008 | ||
| 16 | EE | Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, and Wei Ngan Chin: A fast algorithm to compute heap memory bounds of Java Card applets. Software Engineering and Formal Methods (SEFM), Cape Town, South Africa, November 2008. IEEE Computer Society. |
| 15 | EE | To Van Khanh, Pham Van Viet, Truong Ninh Thuan and Nguyen Viet Ha, Checking the Conformance between the Implementation and PSM Specifications in Component Models, Journal of Science, Vietnam National University, Hanoi, Vol. 24, No. 3S, pp. 131-139, 2008. |
| 14 | EE | Tuan-Hung Pham, Anh-Hoang Truong, and Ninh-Thuan Truong: Computing Heap Space Cost of Java Card Applets.Short paper. In International Conference on Research, Innovation and Vision for the Future in Computing & Communication Technologies (RIVF), July 2008, Ho Chi Minh City, Vietnam |
| 13 | EE | Truong Ninh Thuan, Tran Vu Viet Anh, and Nguyen Viet Ha: Consistency between UCM and PSMs in component models. Short paper. In International Conference on Research, Innovation and Vision for the Future in Computing & Communication Technologies (RIVF), July 2008, Ho Chi Minh City, Vietnam |
| 2007 | ||
| 12 | EE | Truong Ninh Thuan and Nguyen Viet Ha: Using B to verify the weaving of aspects. In proceeding of the 14th Asia-Pacific Software Engineering Conference (APSEC), December 2007, Japan |
| 11 | EE | Nguyen Hoang Ha, Tran Thi Mai Thuong, Truong Ninh Thuan, Nguyen Viet Ha: Verifying the compatibility of components’ ports upon specification. In proceeding of Workshop of Vietnam-Japan on Software Engineering(JVSE). September 2007, Hanoi, Vietnam |
| 10 | EE | Ho Tat Thanh, Nguyen Thi Thu Trang, Truong Ninh Thuan, Nguyen Viet Ha: An approach for verifying invariants of Java objects at Runtime. In proceeding of the Workshop of Vietnam-Japan on Software Engineering(JVSE). September 2007, Hanoi, Vietnam |
| 9 | EE | Truong Ninh Thuan and Nguyen Viet Ha: Checking static crosscuts of AspectJ model using B notation. In proceeding of the Modeling of Complex Systems and Environments (MCSE), July 2007, Ho Chi Minh city, Vietnam . |
| 2006 | ||
| 8 | EE | Truong Ninh Thuan and Jeanine Souquieres: Checking consistency of UML state and sequence diagrams using B. In proceeding of Workshop of Vietnam-Japan on Software Engineering(JVSE). August 2006, Hanoi, Vietnam. |
| 7 | EE | Truong Ninh Thuan and Jeanine Souquieres: Verification of UML model elements using B. In Journal of Information Science and Engineering. Vol 22, No 2, March 2006 |
| 6 | EE | Truong Ninh Thuan and Jeanine Souquieres: Validation of UML scenarios using the B prover. Third Taiwanese-French Conference on Information Technology (TFIT). March 2006, France |
| 5 | Truong Ninh Thuan, Veronica Sanchez and Jeanine Souquieres: Un outil support des propriétés objets de réciprocité en B. Session outil. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), mars 2006. France | |
| 2005 | ||
| 4 | EE | Truong Ninh Thuan and Jeanine Souquières: Validation of UML static diagrams using B. In Proceedings of the International conference on Software Engineering Research and Practice (SERP). June 2005, Las Vegas, USA. CSREA press |
| 3 | EE | Truong Ninh Thuan and Jeanine Souquières: Verification of behavioral elements of UML models using B. In proceeding of the 20th Annual ACM Symposium on Applied Computing (SAC). New Mexico, USA, March 2005 |
| 2004 | ||
| 2 | EE | Truong Ninh Thuan and Jeanine Souquières: Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B. Dans les actes de la conférence Approches Formelles dans l'Assitance au Développement de Logiciels (AFADL) June 2004, France |
| 1 | EE | Truong Ninh Thuan and Jeanine Souquières: An approach for the verification of UML models using B. In proceedings of the 11th International Conference on the Engineering of Computer Based Systems (ECBS), IEEE Computer Society, May 2004, Czech |