Thông tin chuyên gia

Tên đề tài	Cấp	Vai trò	Năm
Kiểm chứng các ràng buộc của mô hình phần mềm sử dụng phương pháp B	Đại Học Quốc Gia	Chủ trì	2011
Kiểm chứng ràng buộc an ninh phần mềm	Đại Học Quốc Gia	Chủ trì	2009
Kiểm chứng các hệ thống phần mềm hướng thành phần	Đại Học Quốc Gia	Chủ trì	2007

Tạp chí

Tên bài báo	Loại	Tạp chí
Formal Modeling and Verification of Context-Aware Systems using Event-B	trongnuoc	Context-aware Systems and Applications
An approach to checking the compliance of user permission policy in software development	trongnuoc	International Journal of Software Engineering and Knowledge Engineering
Formalizing and checking web service discovery models using B.	trongnuoc	Tạp chí Tin học và Điều khiển
Automated analysis of consensus protocol in specification of multi-agents coordination	trongnuoc	Tạp chí Khoa học (Khoa học Tự nhiên và Công nghệ) – ĐHQGHN
Verifying Java Object Invariants at Runtime	trongnuoc	International Journal of Software Engineering and Knowledge Engineering
Refining Undetermined Events for Specifying Concurrent Programs	trongnuoc	3rd Intern. Conf. on Knowledge and Systems Engineering
Checking the Conformance between the Implementation and PSM Specifications in Component Models	trongnuoc	Journal of Science,VNU
Verification of UML model elements using B	trongnuoc	Journal of Information Science and Engineering
Formal modeling and verification of Context-Aware Systems using Event-B	trongnuoc	ICCASA
Modeling and verifying imprecise requirements of systems using Event-B	trongnuoc	KSE
Modeling and Verifying DML Triggers Using Event-B	trongnuoc	ACIIDS
Modeling and Verifying WS-CDL using Event-B	trongnuoc	ICCASA
Kiểm chứng sự tuân thủ về ràng buộc thời gian trong các ứng dụng phần mềm	trongnuoc	Tạp chí Tin học và Điều khiển
A Runtime Approach to Verify Scenario in Multi-agent Systems	trongnuoc	2nd Intern. Conf. on Knowledge and Systems Engineering
Analyzing RBAC Security Policy of Implementation Using AST	trongnuoc	1st Intern. Conf. on Knowledge and Systems Engineering
Checking consistency between UCM and PSM using graph-based method	trongnuoc	1st Asian Conf. on Intelligent Information and Database System
Checking the Compliance of Timing Constraints in Software Applications	trongnuoc	1st Intern. Conf. on Knowledge and Systems Engineering
Computing Heap Space Cost of Java Card Applets	trongnuoc	International Conference on Research, Innovation and Vision for the Future in Computing & Communication Technologies
Consistency between UCM and PSMs in component models	trongnuoc	International Conference on Research, Innovation and Vision for the Future in Computing & Communication Technologies
A fast algorithm to compute heap memory bounds of Java Card applets	trongnuoc	Software Engineering and Formal Methods
Using B to Verify the Weaving of Aspects	trongnuoc	APSEC
Checking static crosscuts of AspectJ model using B notation	trongnuoc	Modeling of Complex Systems and Environments
An approach for verifying invariants of Java objects at Runtime	trongnuoc	proceeding of Workshop of Vietnam-Japan on Software Engineering
Checking consistency of UML state and sequence diagrams using B	trongnuoc	proceeding of Workshop of Vietnam-Japan on Software Engineering
Un outil support des proprietes objets de reciprocite en B	trongnuoc	Approches Formelles dans l'Assitance au Développement de Logiciels (AFADL)
Validation of UML static diagrams using B	trongnuoc	Proceedings of the International conference on Software Engineering Research and Practice
Verification of behavioral elements of UML models using B	trongnuoc	proceeding of the 20th Annual ACM Symposium on Applied Computing (SAC)
Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B	trongnuoc	Approches Formelles dans l'Assitance au Développement de Logiciels (AFADL)
Coordinated consensus analysis of multiagent systems using Event-B	trongnuoc	7th Software Engineering and Formal Methods
An Approach for the Verification of UML Models Using B	trongnuoc	proceedings of the 11th International Conference on the Engineering of Computer Based Systems (ECBS)

Quá trình Công tác

Đề tài

Tạp chí

Tạp chí

Sở hữu trí tuệ

Ngoại ngữ

Kinh nghiệm