| 2023 | ACIIDS | An Approach to Prevent DDoS Attack Using Real-Time Access Logs Analysis. | Hanh Phuc Nguyen, Thanh-Nhan Luong, Thi-Huong Dao, Ninh-Thuan Truong |
| 2017 | ACIIDS | Checking Compliance of Program with SecureUML Model. | Thanh-Nhan Luong, Van-Khanh To, Ninh-Thuan Truong |
| 2015 | SAC | Verifying eventuality properties of imprecise system requirements using event-B. | Hong Anh Le, Ninh-Thuan Truong, Shin Nakajima |
| 2013 | ACIIDS | Modeling and Verifying DML Triggers Using Event-B. | Hong Anh Le, Ninh-Thuan Truong |
| 2009 | ACIIDS | Checking the Consistency between UCM and PSM Using a Graph-Based Method. | Ninh-Thuan Truong, Thi-Mai-Thuong Tran, Van-Khanh To, Viet Ha Nguyen |
| 2009 | SEFM | Coordinated Consensus Analysis of Multi-agent Systems Using Event-B. | Ninh-Thuan Truong, Thanh-Binh Trinh, Viet Ha Nguyen |
| 2008 | SEFM | A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets. | Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin |
| 2007 | APSEC | Using B to Verify the Weaving of Aspects. | Ninh-Thuan Truong, Viet Ha Nguyen |
| 2005 | SAC | Verification of behavioural elements of UML models using B. | Ninh-Thuan Truong, Jeanine Souquires |