Thanh-Toan Nguyen
Thanh-Toan Nguyen
Verified email at comp.nus.edu.sg - Homepage
Title
Cited by
Cited by
Year
SL-COMP: Competition of solvers for separation logic
M Sighireanu, JAN Pérez, A Rybalchenko, N Gorogiannis, R Iosif, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
82019
Automatic Program Repair Using Formal Verification and Expression Templates
TT Nguyen, QT Ta, WN Chin
International Conference on Verification, Model Checking, and Abstract …, 2019
82019
A certified decision procedure for tree shares
XB Le, TT Nguyen, WN Chin, A Hobor
International Conference on Formal Engineering Methods, 226-242, 2017
62017
Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis
TT Nguyen, QT Ta, I Sergey, WN Chin
International Conference on Verification, Model Checking, and Abstract …, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–4