Thang H. Bui
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2008–2017
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CoDIT | Probabilistic modelling for congestion detection on wireless sensor networks. | Khanh Le, Giang V. Trinh, Thang H. Bui, Tho Quan |
| 2016 | ICCSA | 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 |
| 2013 | ICCSA | Model Checking Control Flow Petri Nets Using PAT. | Ho T. Dung, Thang H. Bui, Tho T. Quan |
| 2010 | ATVA | COMBINE: A Tool on Combined Formal Methods for Bindingly Verification. | An N. Nguyen, Tho T. Quan, Phung H. Nguyen, Thang H. Bui |
| 2009 | IFM | Formal Verification Based on Guided Random Walks. | Thang H. Bui, Albert Nymeyer |
| 2009 | SEFM | Heuristic Sensitivity in Guided Random-Walk Based Model Checking. | Thang H. Bui, Albert Nymeyer |
| 2008 | ICST | The spin on guided random search in verification. | Thang H. Bui, Albert Nymeyer |