Tho T. Quan

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 4

Top Topics

Formal Verification

Web Service Compositions

Top Venues

Int. J. Qual. Assur. Eng. Technol. Educ.

Publications

Khuong Vo, Tri Nguyen, Dang Pham, Mao Nguyen, Minh Truong, Trung Mai, Tho T. Quan
Combination of domain knowledge and deep learning for sentiment analysis of short and informal messages on social media. Int. J. Comput. Vis. Robotics 9 (5) (2019)
Tru Hoang Cao, Vuong M. Ngo, Dung T. Hong, Tho T. Quan
Semantic Document Clustering on Named Entity Features. CoRR (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)
Hoang H. Nguyen, Lingxiao Jiang, Tho T. Quan
Android repository mining for detecting publicly accessible functions missing permission checks. ICPC (2017)
Khai T. Huynh, Van T. T. Pham, Tho T. Quan, Thang H. Bui
Web Service Composition Automation Based on Term Rewriting System. ACOMP (2015)
Long H. Pham, Giang V. Trinh, Mai H. Dinh, Nam P. Mai, Tho T. Quan, Hung Q. Ngo
Assisting Students in Finding Bugs and their Locations in Programming Solutions. Int. J. Qual. Assur. Eng. Technol. Educ. 3 (2) (2014)
Khai T. Huynh, Thang H. Bui, Tho T. Quan
A Lightweight Formal Approach for Component Reuse. KSE (2014)
An T. Tran, Tho T. Quan, Thuan D. Le
Enhancing Genetic Algorithm with Cumulative Probabilities to Derive Critical Test Scenarios from Use-Cases. FDSE (2014)
Ho T. Dung, Thang H. Bui, Tho T. Quan
Model Checking Control Flow Petri Nets Using PAT. ICCSA (6) (2013)
Binh T. T. Nguyen, Binh T. Ngo, Tho T. Quan
A Memory-Based Abstraction Approach to Handle Obfuscation in Polymorphic Virus. APSEC Workshops (2012)
Vinh D. Thai, Tho T. Quan, Tien V. Le, Binh T. Ngo
An Approximation-Based Abstract Interpretation Framework for Formal Verification of Floating-Point Programs. RIVF (2012)
Anh D. Le, Tho T. Quan, Nguyen T. Huynh, Phung H. Nguyen, Nhat-Van Le
Combined Constraint-Based Analysis for Efficient Software Regression Detection in Evolving Programs. ICSOFT (Selected Papers) (2011)
Anh D. Le, Tho T. Quan, Nguyen T. Huynh, Phung H. Nguyen
: An Effective Constraint-based Test-case Generation Algorithm for Detecting Regression Bugs in Evolving Programs. ICSOFT (2) (2011)
Tho T. Quan, Cach N. Dang, Ngan D. Le, Chattrakul Sombattheera, Quan Vu Lam
Automatic Composition and Mediation on Multiple-Language Semantic Web Services. MIWAI (2011)
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)
Van T. T. Duong, Tru Hoang Cao, Cuong K. Chau, Tho T. Quan
Latent Ontological Feature Discovery for Text Clustering. RIVF (2009)
Anh Tuan Luu, Tho T. Quan, Tru Hoang Cao, Jin Song Dong
Axiom-oriented Reasoning to Deal with Inconsistency Between Ontology and Knowledge Base. URSW (2007)