Seguir
Thanh-Toan Nguyen
Thanh-Toan Nguyen
School of Computing, National University of Singapore
Dirección de correo verificada de comp.nus.edu.sg - Página principal
Título
Citado por
Citado por
Año
SL-COMP: competition of solvers for separation logic
M Sighireanu, JA Navarro Pérez, A Rybalchenko, N Gorogiannis, R Iosif, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
242019
Automatic program repair using formal verification and expression templates
TT Nguyen, QT Ta, WN Chin
Verification, Model Checking, and Abstract Interpretation: 20th …, 2019
232019
A certified decision procedure for tree shares
XB Le, TT Nguyen, WN Chin, A Hobor
Formal Methods and Software Engineering: 19th International Conference on …, 2017
102017
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
72021
Interoperability in Blockchain: A Survey
K Ren, NM Ho, D Loghin, TT Nguyen, BC Ooi, QT Ta, F Zhu
IEEE Transactions on Knowledge and Data Engineering, 2023
62023
Rinser: Deriving Succinct Evidence for Automated Code Reviews
TT Nguyen, P Subotic, BYE Chang
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–6