PeCAn: Compositional Verification of Petri Nets Made Easy. - Dinh-Thuan Le; Huu-Vu Nguyen; Van-Tinh Nguyen; Phuong-Nam Mai; Bao-Trung Pham-Duy; Thanh-Tho Quan; Étienne André; Laure Petrucci; Yang Liu 003 (ATVA, 2014)

Reusing Symbolic Observation Graph for Efficient Model Checking. - Bao-Trung Pham-Duy; Trinh Van Giang; Le Dinh Thuan; Quan Thanh Tho (KSE, 2015)

An Old Problem with a New Therapy: Coupling Topic Modeling and Mining Sequential Patterns in Recommending Source Code. - Dinh-Thuan Le; Lam-Son Lê; Nam Thoai; Trung-Viet Nguyen (ACOMP, 2018)

On-line Smoothing and Error Modelling for Integration of GNSS and Visual Odometry. - Thanh Trung Duong; Kai-Wei Chiang; Dinh-Thuan Le (Sensors, 2019)

Reinforcing Service Level Agreements in Tourism Sector The Role of Blockchain and Mobile Computing. - Dinh-Thuan Le; Trung-Viet Nguyen; Lam-Son Lê; Tri A. Kurniawan (ACOMP, 2020)

The Performance Analysis of INS/GNSS/V-SLAM Integration Scheme Using Smartphone Sensors for Land Vehicle Navigation Applications in GNSS-Challenging Environments. - Kai-Wei Chiang; Dinh-Thuan Le; Thanh Trung Duong; Rui Sun 005 (Remote. Sens., 2020)

Hunting Phishing Websites Using a Hybrid Fuzzy-Semantic-Visual Approach. - Minh-Khoi Le-Nguyen; Tri-Chan-Hung Nguyen; Dinh-Thuan Le; Van-Hoa Nguyen; Long-Phuoc Tôn; Khuong Nguyen-An (ACOMP, 2021)

Improving ModSecurity WAF Using a Structured-Language Classifier. - Tri-Chan-Hung Nguyen; Minh-Khoi Le-Nguyen; Dinh-Thuan Le; Van-Hoa Nguyen; Long-Phuoc Tôn; Khuong Nguyen-An (FDSE (CCIS Volume), 2021)

Improving Web Application Firewalls with Automatic Language Detection. - Tri-Chan-Hung Nguyen; Minh-Khoi Le-Nguyen; Dinh-Thuan Le; Van-Hoa Nguyen; Long-Phuoc Tôn; Khuong Nguyen-An (SN Comput. Sci., 2022)

An Efficient Machine Learning-Based Web Application Firewall with Deep Automated Pattern Categorization. - Cong-Vu Trinh; Thien-Thanh Le; Minh-Khoi Le-Nguyen; Dinh-Thuan Le; Van-Hoa Nguyen; Khuong Nguyen-An (FDSE, 2023)

Multifusion schemes of INS/GNSS/GCPs/V-SLAM applied using data from smartphone sensors for land vehicular navigation applications. - Kai-Wei Chiang; Dinh-Thuan Le; Kuan-Ying Lin; Meng-Lun Tsai (Inf. Fusion, 2023)

Phishing Website Detection as a Website Comparing Problem. - Minh-Khoi Le-Nguyen; Tri-Chan-Hung Nguyen; Dinh-Thuan Le; Van-Hoa Nguyen; Long-Phuoc Tôn; Khuong Nguyen-An (SN Comput. Sci., 2023)

A Study on Deep Graph Neural Networks for Security Vulnerabilities Detection in Web Applications. - Trong-Nghia Nguyen; Ngoc-Sang Vo; Dinh-Thuan Le; Khuong Nguyen-An (FDSE (1), 2024)

Live Memory Forensics on Virtual Memory. - Khoa A. Nguyen; Tien-Dung Vo-Van; Anh-Quynh Nguyen; Thanh Nguyen-Le; Dinh-Thuan Le; Khuong Nguyen-An (FDSE (2), 2024)