Canh Minh Do

According to our database, Canh Minh Do authored at least 20 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Symbolic model checking quantum circuits in Maude.

Canh Minh Do, Kazuhiro Ogata

PeerJ Comput. Sci., 2024

Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude.

Canh Minh Do, Kazuhiro Ogata

Proceedings of the Rewriting Logic and Its Applications - 15th International Workshop, 2024

2023

Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way.

Canh Minh Do, Yati Phyo, Adrián Riesco, Kazuhiro Ogata

ACM Trans. Softw. Eng. Methodol., November, 2023

Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version.

Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata

PeerJ Comput. Sci., 2023

A Layered and Parallelized Method of Eventual Model Checking.

Yati Phyo, Moe Nandi Aung, Canh Minh Do, Kazuhiro Ogata

Inf., 2023

Automated Quantum Program Verification in Dynamic Quantum Logic.

Tsubasa Takagi, Canh Minh Do, Kazuhiro Ogata

Proceedings of the Dynamic Logic. New Trends and Applications - 5th International Workshop, 2023

2022

A Divide & Conquer Approach to Leads-to Model Checking.

Yati Phyo, Canh Minh Do, Kazuhiro Ogata

Comput. J., 2022

Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way.

Canh Minh Do, Yati Phyo, Kazuhiro Ogata

IEEE Access, 2022

Parallel Specification-Based Testing for Concurrent Programs.

Canh Minh Do, Kazuhiro Ogata

IEEE Access, 2022

Parallel Maude-NPA for Cryptographic Protocol Analysis.

Canh Minh Do, Adrián Riesco, Santiago Escobar, Kazuhiro Ogata

Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022

A divide and conquer approach to until and until stable model checking.

Canh Minh Do, Yati Phyo, Kazuhiro Ogata

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis.

Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata

Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 23rd International Conference on Formal Engineering Methods (ICFEM 2022), 2022

A Tool for Model Checking Eventual Model Checking in a Stratified Way.

Moe Nandi Aung, Yati Phyo, Canh Minh Do, Kazuhiro Ogata

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

2021

Graphical Animations of the NS(L)PK Authentication Protocols.

Thet Wai Mon, Dang Duy Bui, Duong Dinh Tran, Canh Minh Do, Kazuhiro Ogata

J. Vis. Lang. Comput., 2021

A Divide & Conquer Approach to Conditional Stable Model Checking.

Yati Phyo, Canh Minh Do, Kazuhiro Ogata

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

A support tool for the L + 1-layer divide & conquer approach to leads-to model checking.

Yati Phyo, Canh Minh Do, Kazuhiro Ogata

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021

2020

Parallel stratified random testing for concurrent programs.

Canh Minh Do, Kazuhiro Ogata

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

A divide & conquer approach to testing concurrent programs with JPF^*.

Canh Minh Do, Kazuhiro Ogata

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude.

Canh Minh Do, Kazuhiro Ogata

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

Specification-based Testing with Simulation Relations (S).

Canh Minh Do, Kazuhiro Ogata

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019