| Suggesting natural method names to check name consistencies S Nguyen, H Phan, T Le, TN Nguyen Proceedings of the acm/ieee 42nd international conference on software …, 2020 | 72 | 2020 |
| An assume-guarantee model checker for component-based systems D Hoang-Minh, T Le-Khanh, PN Hung The 2013 RIVF International Conference on Computing & Communication …, 2013 | 10 | 2013 |
| Formalization and Verification of AUTOSAR OS Standard's Memory Protection LK Trinh, Y Chiba, T Aoki 2018 International Symposium on Theoretical Aspects of Software Engineering …, 2018 | 4 | 2018 |
| Towards Exogenous Coordination of Concurrent Cloud Applications T Le-Khanh, HG Nguyen, S Bliudze, P Merle International Journal of Software Engineering and Knowledge Engineering, 1-25, 2023 | | 2023 |
| A Method for Automated User Interaction Testing of Web Applications T Le Khanh, H Vo Dinh, H Pham Ngoc The Journal of Research and Development on Information and Communication …, 2015 | | 2015 |
