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, JN Pérez, A Rybalchenko, N Gorogiannis, R Iosif, ...
Tools and Algorithms for the Construction and Analysis of Systems-25 Years …, 2019
102019
Automatic Program Repair Using Formal Verification and Expression Templates
TT Nguyen, QT Ta, WN Chin
International Conference on Verification, Model Checking, and Abstract …, 2019
92019
A certified decision procedure for tree shares
XB Le, TT Nguyen, WN Chin, A Hobor
International Conference on Formal Engineering Methods, 226-242, 2017
72017
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
22021
The system can't perform the operation now. Try again later.
Articles 1–4