| 2025 | PPDP | Folding Narrowing for the Analysis of Mutual Exclusion Protocols. | Ral Lpez-Rueda, Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata |
| 2025 | SEKE | Formal Specification and Model Checking of the BB84 Protocol in Maude (S). | Canh Minh Do, Kazuhiro Ogata |
| 2025 | SEKE | Formal Specification and Analysis of Post-quantum OpenPGP Protocol in CafeOBJ. | Trong Binh Hoang, Duong Dinh Tran, Canh Minh Do, Kazuhiro Ogata |
| 2024 | ICFEM | A Tableau-Based Approach to Model Checking Linear Temporal Properties. | Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata |
| 2023 | SEKE | Symbolic Model Checking Quantum Circuits in Maude. | Canh Minh Do, Kazuhiro Ogata |
| 2022 | ICFEM | Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis. | Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata |
| 2022 | SEKE | A divide and conquer approach to until and until stable model checking. | Canh Minh Do, Yati Phyo, Kazuhiro Ogata |
| 2021 | COMPSAC | A support tool for the L + 1-layer divide & conquer approach to leads-to model checking. | Yati Phyo, Canh Minh Do, Kazuhiro Ogata |
| 2021 | ICTAC | A Divide & Conquer Approach to Conditional Stable Model Checking. | Yati Phyo, Canh Minh Do, Kazuhiro Ogata |
| 2020 | APSEC | A divide & conquer approach to testing concurrent programs with JPF | Canh Minh Do, Kazuhiro Ogata |
| 2020 | QRS | Parallel stratified random testing for concurrent programs. | Canh Minh Do, Kazuhiro Ogata |
| 2019 | SEKE | Specification-based Testing with Simulation Relations (S). | Canh Minh Do, Kazuhiro Ogata |