Specification-based Testing with Simulation Relations (S). - Canh Minh Do; Kazuhiro Ogata 001 (SEKE, 2019)

A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude. - Canh Minh Do; Kazuhiro Ogata 001 (SOFL+MSVL, 2019)

A divide & conquer approach to testing concurrent programs with JPF*. - Canh Minh Do; Kazuhiro Ogata 001 (APSEC, 2020)

Parallel stratified random testing for concurrent programs. - Canh Minh Do; Kazuhiro Ogata 001 (QRS Companion, 2020)

A support tool for the L + 1-layer divide & conquer approach to leads-to model checking. - Yati Phyo; Canh Minh Do; Kazuhiro Ogata 001 (COMPSAC, 2021)

A Divide & Conquer Approach to Conditional Stable Model Checking. - Yati Phyo; Canh Minh Do; Kazuhiro Ogata 001 (ICTAC, 2021)

Graphical Animations of the NS(L)PK Authentication Protocols. - Thet Wai Mon; Dang Duy Bui; Duong Dinh Tran; Canh Minh Do; Kazuhiro Ogata 001 (J. Vis. Lang. Comput., 2021)

A Tool for Model Checking Eventual Model Checking in a Stratified Way. - Moe Nandi Aung; Yati Phyo; Canh Minh Do; Kazuhiro Ogata 001 (DSA, 2022)

Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis. - Duong Dinh Tran; Canh Minh Do; Santiago Escobar 001; Kazuhiro Ogata 001 (FAVPQC@ICFEM, 2022)

A divide and conquer approach to until and until stable model checking. - Canh Minh Do; Yati Phyo; Kazuhiro Ogata 001 (SEKE, 2022)

Parallel Maude-NPA for Cryptographic Protocol Analysis. - Canh Minh Do; Adrián Riesco 001; Santiago Escobar 001; Kazuhiro Ogata 001 (WRLA@ETAPS, 2022)

Parallel Specification-Based Testing for Concurrent Programs. - Canh Minh Do; Kazuhiro Ogata 001 (IEEE Access, 2022)

Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way. - Canh Minh Do; Yati Phyo; Kazuhiro Ogata 001 (IEEE Access, 2022)

A Divide & Conquer Approach to Leads-to Model Checking. - Yati Phyo; Canh Minh Do; Kazuhiro Ogata 001 (Comput. J., 2022)

Automated Quantum Program Verification in Dynamic Quantum Logic. - Tsubasa Takagi; Canh Minh Do; Kazuhiro Ogata 001 (DaLí, 2023)

A Layered and Parallelized Method of Eventual Model Checking. - Yati Phyo; Moe Nandi Aung; Canh Minh Do; Kazuhiro Ogata 001 (Inf., 2023)

Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version. - Duong Dinh Tran; Canh Minh Do; Santiago Escobar 001; Kazuhiro Ogata 001 (PeerJ Comput. Sci., 2023)

Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way. - Canh Minh Do; Yati Phyo; Adrián Riesco 001; Kazuhiro Ogata 001 (ACM Trans. Softw. Eng. Methodol., 2023)

A Tableau-Based Approach to Model Checking Linear Temporal Properties. - Canh Minh Do; Tsubasa Takagi; Kazuhiro Ogata 001 (ICFEM, 2024)

An Executable Operational Semantics of Quantum Programs and Its Application. - Canh Minh Do; Kazuhiro Ogata 001 (SFPVV, 2024)

Formal Specification and Model Checking of a Synchronous Leader Election Protocol in Maude. - Tomoyoshi Ogura; Canh Minh Do; Kazuhiro Ogata 001 (SFPVV, 2024)

Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude. - Canh Minh Do; Kazuhiro Ogata 001 (WRLA, 2024)

Symbolic model checking quantum circuits in Maude. - Canh Minh Do; Kazuhiro Ogata 001 (PeerJ Comput. Sci., 2024)

Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic. - Canh Minh Do; Tsubasa Takagi; Kazuhiro Ogata 001 (ACM Trans. Softw. Eng. Methodol., 2025)