Thanh-Binh Trinh

According to our database, Thanh-Binh Trinh authored at least 4 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

A tool support for checking consistency in model refactoring.

Thi-Huong Dao, Thanh-Binh Trinh, Ninh-Thuan Truong

Proceedings of the 9th International Conference on Knowledge and Systems Engineering, 2017

2011

Refining Undetermined Events for Specifying Concurrent Programs.

Thanh-Binh Trinh, Ninh-Thuan Truong, Viet Ha Nguyen

Proceedings of the Third International Conference on Knowledge and Systems Engineering, 2011

2009

Coordinated Consensus Analysis of Multi-agent Systems Using Event-B.

Ninh-Thuan Truong, Thanh-Binh Trinh, Viet Ha Nguyen

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

2008

Checking Interface Interaction Protocols Using Aspect-Oriented Programming.

Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008