SMELS: Satisfiability Modulo Equality with Lazy Superposition. - Christopher Lynch; Quang-Trung Ta; Duc-Khanh Tran (J. Autom. Reason., 2013)

Automated Mutual Explicit Induction Proof in Separation Logic. - Quang-Trung Ta; Ton Chanh Le; Siau-Cheng Khoo; Wei-Ngan Chin (FM, 2016)

HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction - (Competition Contribution). - Ton Chanh Le; Quang-Trung Ta; Wei-Ngan Chin (TACAS (2), 2017)

Verification of C Buffer Overflows in C Programs. - Andreea Bican; Razvan Deaconescu; Wei-Ngan Chin; Quang-Trung Ta (RoEduNet, 2018)

Automated lemma synthesis in symbolic-heap separation logic. - Quang-Trung Ta; Ton Chanh Le; Siau-Cheng Khoo; Wei-Ngan Chin (Proc. ACM Program. Lang., 2018)

SL-COMP: Competition of Solvers for Separation Logic. - Mihaela Sighireanu; Juan Antonio Navarro Pérez; Andrey Rybalchenko; Nikos Gorogiannis; Radu Iosif; Andrew Reynolds 001; Cristina Serban; Jens Katelaan; Christoph Matheja; Thomas Noll 001; Florian Zuleger; Wei-Ngan Chin; et al. (TACAS (3), 2019)

Automatic Program Repair Using Formal Verification and Expression Templates. - Thanh-Toan Nguyen; Quang-Trung Ta; Wei-Ngan Chin (VMCAI, 2019)

Automated mutual induction proof in separation logic. - Quang-Trung Ta; Ton Chanh Le; Siau-Cheng Khoo; Wei-Ngan Chin (Formal Aspects Comput., 2019)

A Transactional Perspective on Execute-order-validate Blockchains. - Pingcheng Ruan; Dumitrel Loghin; Quang-Trung Ta; Meihui Zhang 001; Gang Chen 001; Beng Chin Ooi (SIGMOD Conference, 2020)

The Disruptions of 5G on Data-Driven Technologies and Applications. - Dumitrel Loghin; Shaofeng Cai; Gang Chen 001; Tien Tuan Anh Dinh; Feiyi Fan; Qian Lin 002; Janice Ng; Beng Chin Ooi; Xutao Sun; Quang-Trung Ta; Wei Wang 059; Xiaokui Xiao; et al. (IEEE Trans. Knowl. Data Eng., 2020)

Scalable and Modular Robustness Analysis of Deep Neural Networks. - Yuyi Zhong; Quang-Trung Ta; Tianzuo Luo; Fanlong Zhang; Siau-Cheng Khoo (APLAS, 2021)

Towards Systematic and Dynamic Task Allocation for Collaborative Parallel Fuzzing. - Van-Thuan Pham; Manh-Dung Nguyen; Quang-Trung Ta; Toby Murray; Benjamin I. P. Rubinstein (ASE, 2021)

Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis. - Thanh-Toan Nguyen; Quang-Trung Ta; Ilya Sergey; Wei-Ngan Chin (VMCAI, 2021)

ARENA: Enhancing Abstract Refinement for Neural Network Verification. - Yuyi Zhong; Quang-Trung Ta; Siau-Cheng Khoo (SPLASH Companion, 2022)

FLAC: Practical Failure-Aware Atomic Commit Protocol for Distributed Transactions. - Hexiang Pan; Quang-Trung Ta; Meihui Zhang 001; Yeow Meng Chee; Gang Chen 001; Beng Chin Ooi (CoRR, 2023)

Interoperability in Blockchain: A Survey. - Kunpeng Ren; Nhut-Minh Ho; Dumitrel Loghin; Thanh-Toan Nguyen; Beng Chin Ooi; Quang-Trung Ta; Feida Zhu 001 (IEEE Trans. Knowl. Data Eng., 2023)

FC: Adaptive Atomic Commit via Failure Detection. - Hexiang Pan; Quang-Trung Ta; Meihui Zhang 001; Zhanhao Zhao; Yeow Meng Chee; Gang Chen 001; Beng Chin Ooi (ICDE, 2024)