Thang H. Bui

According to our database, Thang H. Bui authored at least 20 papers between 2008 and 2022.

Collaborative distances:

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

2022

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

Fuzzy Sets Syst., 2022

2018

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

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

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

Probabilistic modelling for congestion detection on wireless sensor networks.

Khanh Le, Giang V. Trinh, Thang H. Bui, Tho Quan

Proceedings of the 4th International Conference on Control, 2017

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

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 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, Thang H. Bui

Proceedings of the Computational Science and Its Applications - ICCSA 2016, 2016

Heuristic-Guided Verification for Fast Congestion Detection on Wireless Sensor Networks.

Khanh Le, Toan Nguyen, Thanh Cao, Thang H. Bui, Tho Quan

Proceedings of the Future Data and Security Engineering - Third International Conference, 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, Laure Petrucci

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

An Application of Bitwise-Based Indexing to Web Service Composition and Verification.

Khai T. Huynh, Thang H. Bui, Tho Thanh Quan

Proceedings of the 2016 International Conference on Advanced Computing and Applications, 2016

2015

Component-Based Abstraction of Petri Net Models: An Application for Congestion Verification of Wireless Sensor Networks.

Khanh Le, Thang H. Bui, Tho Quan, Laure Petrucci, Étienne André

Proceedings of the Sixth International Symposium on Information and Communication Technology, 2015

Web Service Composition Automation Based on Term Rewriting System.

Khai T. Huynh, Van T. T. Pham, Tho T. Quan, Thang H. Bui

Proceedings of the 2015 International Conference on Advanced Computing and Applications, 2015

2014

A Lightweight Formal Approach for Component Reuse.

Khai T. Huynh, Thang H. Bui, Tho T. Quan

Proceedings of the Knowledge and Systems Engineering, 2014

A Multiple Refinement Approach in Abstraction Model Checking.

Phan T. H. Nguyen, Thang H. Bui

Proceedings of the Computer Information Systems and Industrial Management, 2014

2013

Model Checking Control Flow Petri Nets Using PAT.

Ho T. Dung, Thang H. Bui, Tho T. Quan

Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

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, Binh T. T. Nguyen, Vu H. Nguyen

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

COMBINE: A Tool on Combined Formal Methods for Bindingly Verification.

An N. Nguyen, Tho T. Quan, Phung H. Nguyen, Thang H. Bui

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Heuristic Sensitivity in Guided Random-Walk Based Model Checking.

Thang H. Bui, Albert Nymeyer

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

Formal Verification Based on Guided Random Walks.

Thang H. Bui, Albert Nymeyer

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008

The spin on guided random search in verification.

Thang H. Bui, Albert Nymeyer

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008