Thang H. Bui

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 12

Top Topics

Web Service Composition

Wireless Sensor Networks

Top Venues

PNSE @ Petri Nets

Publications

Kim Khanh Le-Ngoc, Quan Thanh Tho, Thang H. Bui, Amir Masoud Rahmani, Mehdi Hosseinzadeh
Optimized fuzzy clustering in wireless sensor networks using improved squirrel search algorithm. Fuzzy Sets Syst. 438 (2022)
Khai T. Huynh, Thang H. Bui, Quan Thanh Tho
One size does not fit all: logic-based clustering for on-the-fly web service composition and verification. Int. J. Web Grid Serv. 14 (3) (2018)
Khai T. Huynh, Tho T. Quan, Thang H. Bui
A bitwise-based indexing and heuristic-driven on-the-fly approach for Web service composition and verification. Vietnam. J. Comput. Sci. 4 (2) (2017)
Khai T. Huynh, Tho Thanh Quan, Thang H. Bui
A quality-controlled logic-based clustering approach for web service composition and verification. Int. J. Web Inf. Syst. 13 (2) (2017)
Khanh Le, Giang V. Trinh, Thang H. Bui, Tho Quan
Probabilistic modelling for congestion detection on wireless sensor networks. CoDIT (2017)
Khanh Le, Thang H. Bui, Tho Quan, Laure Petrucci
A Framework for Fast Congestion Detection in Wireless Sensor Networks Using Clustering and Petri-Net-based Verification. PNSE @ Petri Nets (2016)
Khai T. Huynh, Tho Quan, Thang H. Bui
Smaller to Sharper: Efficient Web Service Composition and Verification Using On-the-fly Model Checking and Logic-Based Clustering. ICCSA (4) (2016)
Khai T. Huynh, Thang H. Bui, Tho Thanh Quan
An Application of Bitwise-Based Indexing to Web Service Composition and Verification. ACOMP (2016)
Khai T. Huynh, Thang H. Bui, Than-Tho Quan
WSCOVER: A Tool for Automatic Composition and Verification of Web Services Using Heuristic-Guided Model Checking and Logic-Based Clustering. MIWAI (2016)
Khanh Le, Toan Nguyen, Thanh Cao, Thang H. Bui, Tho Quan
Heuristic-Guided Verification for Fast Congestion Detection on Wireless Sensor Networks. FDSE (2016)
Khanh Le, Thang H. Bui, Tho Quan, Laure Petrucci, Étienne André
Component-Based Abstraction of Petri Net Models: An Application for Congestion Verification of Wireless Sensor Networks. SoICT (2015)
Khai T. Huynh, Van T. T. Pham, Tho T. Quan, Thang H. Bui
Web Service Composition Automation Based on Term Rewriting System. ACOMP (2015)
Phan T. H. Nguyen, Thang H. Bui
A Multiple Refinement Approach in Abstraction Model Checking. CISIM (2014)
Khai T. Huynh, Thang H. Bui, Tho T. Quan
A Lightweight Formal Approach for Component Reuse. KSE (2014)
Ho T. Dung, Thang H. Bui, Tho T. Quan
Model Checking Control Flow Petri Nets Using PAT. ICCSA (6) (2013)
An N. Nguyen, Tho T. Quan, Phung H. Nguyen, Thang H. Bui
COMBINE: A Tool on Combined Formal Methods for Bindingly Verification. ATVA (2010)
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, Binh T. T. Nguyen, Vu H. Nguyen
MAFSE: A Model-Based Framework for Software Verification. SSIRI (Companion) (2010)
Thang H. Bui, Albert Nymeyer
Formal Verification Based on Guided Random Walks. IFM (2009)
Thang H. Bui, Albert Nymeyer
Heuristic Sensitivity in Guided Random-Walk Based Model Checking. SEFM (2009)
Thang H. Bui, Albert Nymeyer
The spin on guided random search in verification. ICST Workshops (2008)