The spin on guided random search in verification. - Thang H. Bui; Albert Nymeyer (ICST Workshops, 2008)

Formal Verification Based on Guided Random Walks. - Thang H. Bui; Albert Nymeyer (IFM, 2009)

Heuristic Sensitivity in Guided Random-Walk Based Model Checking. - Thang H. Bui; Albert Nymeyer (SEFM, 2009)

COMBINE: A Tool on Combined Formal Methods for Bindingly Verification. - An N. Nguyen; Tho T. Quan; Phung H. Nguyen; Thang H. Bui (ATVA, 2010)

MAFSE: A Model-Based Framework for Software Verification. - Tho T. Quan; Duc L. N. Hoang; B. Tam T. Nguyen; An N. Nguyen; Quan D. Tran; Phung H. Nguyen; Thang H. Bui; Anh T. Do; Linh V. Huynh; Nam T. Doan; Nguyen T. Huynh; Thien D. Nguyen; et al. (SSIRI (Companion), 2010)

Model Checking Control Flow Petri Nets Using PAT. - Ho T. Dung; Thang H. Bui; Tho T. Quan (ICCSA (6), 2013)

A Multiple Refinement Approach in Abstraction Model Checking. - Phan T. H. Nguyen; Thang H. Bui (CISIM, 2014)

A Lightweight Formal Approach for Component Reuse. - Khai T. Huynh; Thang H. Bui; Tho T. Quan (KSE, 2014)

Web Service Composition Automation Based on Term Rewriting System. - Khai T. Huynh; Van T. T. Pham; Tho T. Quan; Thang H. Bui (ACOMP, 2015)

Component-Based Abstraction of Petri Net Models: An Application for Congestion Verification of Wireless Sensor Networks. - Khanh Le; Thang H. Bui; Tho Quan 001; Laure Petrucci; Étienne André (SoICT, 2015)

An Application of Bitwise-Based Indexing to Web Service Composition and Verification. - Khai T. Huynh; Thang H. Bui; Tho Thanh Quan (ACOMP, 2016)

A Framework for Fast Congestion Detection in Wireless Sensor Networks Using Clustering and Petri-Net-based Verification. - Khanh Le; Thang H. Bui; Tho Quan 001; Laure Petrucci (PNSE @ Petri Nets, 2016)

Heuristic-Guided Verification for Fast Congestion Detection on Wireless Sensor Networks. - Khanh Le; Toan Nguyen; Thanh Cao; Thang H. Bui; Tho Quan 001 (FDSE, 2016)

Smaller to Sharper: Efficient Web Service Composition and Verification Using On-the-fly Model Checking and Logic-Based Clustering. - Khai T. Huynh; Tho Quan 001; Thang H. Bui (ICCSA (4), 2016)

WSCOVER: A Tool for Automatic Composition and Verification of Web Services Using Heuristic-Guided Model Checking and Logic-Based Clustering. - Khai T. Huynh; Thang H. Bui; Than-Tho Quan (MIWAI, 2016)

Probabilistic modelling for congestion detection on wireless sensor networks. - Khanh Le; Giang V. Trinh; Thang H. Bui; Tho Quan 001 (CoDIT, 2017)

A quality-controlled logic-based clustering approach for web service composition and verification. - Khai T. Huynh; Tho Thanh Quan; Thang H. Bui (Int. J. Web Inf. Syst., 2017)

A bitwise-based indexing and heuristic-driven on-the-fly approach for Web service composition and verification. - Khai T. Huynh; Tho T. Quan; Thang H. Bui (Vietnam. J. Comput. Sci., 2017)

One size does not fit all: logic-based clustering for on-the-fly web service composition and verification. - Khai T. Huynh; Thang H. Bui; Quan Thanh Tho (Int. J. Web Grid Serv., 2018)

Optimized fuzzy clustering in wireless sensor networks using improved squirrel search algorithm. - Kim Khanh Le-Ngoc; Quan Thanh Tho; Thang H. Bui; Amir Masoud Rahmani; Mehdi Hosseinzadeh 001 (Fuzzy Sets Syst., 2022)