| 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 | 24 | 2019 |
| Automatic program repair using formal verification and expression templates TT Nguyen, QT Ta, WN Chin Verification, Model Checking, and Abstract Interpretation: 20th …, 2019 | 23 | 2019 |
| 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 | 10 | 2017 |
| 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 | 7 | 2021 |
| 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 | 6 | 2023 |
| Rinser: Deriving Succinct Evidence for Automated Code Reviews TT Nguyen, P Subotic, BYE Chang | | |
Wei Ngan ChinNational University of SingaporeVerified email at comp.nus.edu.sg
