1. Authors: Thi Dao Vu, Ngoc Hung Pham, Viet Ha Nguyen

Title: A Method for Automated Test Data Generation from Sequence Diagrams and Object Constraint Language

2. Authors: Sergey Dvoenko, Dang Thanh, Sang Dinh Viet

Title: A Denoising Method Based on Total Variation

3. Authors: Linh Truong, Thanh Chung Nguyen

Title: Protected Elastic tree topology for Data Center

4. Authors: Vinh Tran, Nagaraj Shivaramaiah, Andrew Dempster

Title: A pipeline dynamically configured GNSSs baseband circuit

5. Authors: Trong Nguyen Duc, Le Nguyen Phi, Hau Phan Van and Khanh-Van Nguyen

Title: A Distributed Protocol to Detect and Update Hole Boundary in Wireless Sensor Networks

6. Authors: Quang Vu Bui, Karim Sayadi, Marc Bui

Title: A multi-criteria document clustering method based on topic modeling and pseudoclosure function

7. Authors: Van-Hau Nguyen, Thai Son Mai

Title: A New Method to Encode the At-Most-One Constraint into SAT