トップページ  >  教員個別情報  >  発表論文
DO, Minh Canh （DO, Minh Canh ）講師
情報科学, コンピューティング科学研究領域, 超越量子未来アリーナ

発表論文

48件
A Divide and Conquer Approach to Model Checking Linear Temporal Properties
Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata
ACM Transactions on Software Engineering and Methodology, -, 2026
Parallel Maude-NPA for Cryptographic Protocol Analysis
Canh Minh Do, Adrián Riesco, Santiago Escobar, Kazuhiro Ogata
IEEE Transactions on Dependable and Secure Computing, 22, 6, 6714-6731, 2025
Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic
Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata
ACM Transactions on Software Engineering and Methodology, 34, 6, 1-36, 2025
Symbolic Model Checking Quantum Circuits in Maude
Canh Minh Do, Kazuhiro Ogata
PeerJ Computer Science, 10, e2098-e2098, 2024
Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way
Canh Minh Do, Yati Phyo, Adrián Riesco, Kazuhiro Ogata
ACM Transactions on Software Engineering and Methodology, 32, 6, 151-38, 2023
Operational Semantics of Recursive Quantum Programs
Canh Minh Do, Kazuhiro Ogata
Proceedings of the 3rd International Symposium on Software Fault Prevention, Verification, and Validation (SFPVV), -, 2026
An Automated Approach to Lemma Discovery in the OTS/CafeOBJ Method
Phuong Thu Nguyen, Canh Minh Do, Kazuhiro Ogata
Proceedings of the 3rd International Symposium on Software Fault Prevention, Verification, and Validation (SFPVV), -, 2026
QCheck: A Framework for Probabilistic Model Checking of Quantum Programs
Canh Minh Do, Kazuhiro Ogata
Proceedings of the 25th International Conference on Formal Engineering Methods (ICFEM), Lecture Notes in Computer Science (LNCS), -, 2026
Formal Specification and Analysis of the BB84 Protocol in CafeOBJ
Canh Minh Do, Kazuhiro Ogata
Proceedings of the 38th International Conference on Software Engineering & Knowledge Engineering (SEKE), -, 2026
QCafe: An Algebraic Specification of Quantum Computation and Its Application
Vuong Quoc Pham, Canh Minh Do, Kazuhiro Ogata
Proceedings of the 38th International Conference on Software Engineering & Knowledge Engineering (SEKE), -, 2026
MaudeILP: An Inductive Logic Programming System in Maude
Long Cao Ky U., Canh Minh Do, Kazuhiro Ogata
Proceedings of the 38th International Conference on Software Engineering & Knowledge Engineering (SEKE), -, 2026
Formal Specification and Analysis of Apple’s iMessage PQ3 Protocol in CafeOBJ
Hoang Tan Ho, Canh Minh Do, Kazuhiro Ogata
Proceedings of the 38th International Conference on Software Engineering & Knowledge Engineering (SEKE), -, 2026
A Concurrency-Centered Executable Semantics for a Claimed Subset of Go in the K Framework
Kohei Kondo, Canh Minh Do, Kazuhiro Ogata
Proceedings of the 38th International Conference on Software Engineering & Knowledge Engineering (SEKE), -, 2026
Formal Specification and Security Verification of Post-quantum OpenPGP in CafeOBJ
Trong Binh Hoang, Duong Dinh Tran, Canh Minh Do, Kazuhiro Ogata
PeerJ Computer Science, 12, e3995-e3995, 2026
An Algebraic Specification for Quantum Computation in Maude
Canh Minh Do, Kazuhiro Ogata
Proceedings of the 16th International Workshop on Rewriting Logic and Its Applications (WRLA), Lecture Notes in Computer Science (LNCS), -, 2026
QRAT: A Reachability Analysis Tool for Quantum Programs
Canh Minh Do, Kazuhiro Ogata
Proceedings of the 2nd International Symposium on Software Fault Prevention, Verification, and Validation (SFPVV), Lecture Notes in Computer Science (LNCS), 17-33, 2026
Formal Specification and Analysis of Post-quantum OpenPGP Protocol in CafeOBJ
Trong Binh Hoang, Duong Dinh Tran, Canh Minh Do, Kazuhiro Ogata
Proceedings of the 37th International Conference on Software Engineering & Knowledge Engineering (SEKE), 2025, 159-164, 2025
Formal Specification and Model Checking of the BB84 Protocol in Maude
Canh Minh Do, Kazuhiro Ogata
Proceedings of the 37th International Conference on Software Engineering & Knowledge Engineering (SEKE), 2025, 141-152, 2025
Folding Narrowing for the Analysis of Mutual Exclusion Protocols
Raúl López-Rueda, Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata
Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, 4, 1-14, 2025
Formal Specification and Model Checking of a Synchronous Leader Election Protocol in Maude
Tomoyoshi Ogura, Canh Minh Do, Kazuhiro Ogata
Proceedings in the 1st International Symposium on Software Fault Prevention, Verification, and Validation (SFPVV), Lecture Notes in Computer Science (LNCS), 15393, 208-225, 2025
An Executable Operational Semantics of Quantum Programs and Its Application
Canh Minh Do, Kazuhiro Ogata
Proceedings in the 1st International Symposium on Software Fault Prevention, Verification, and Validation (SFPVV), Lecture Notes in Computer Science (LNCS), 15393, 15-31, 2025
A Tableau-based Approach to Model Checking Linear Temporal Properties
Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata
Proceedings of the 25th International Conference on Formal Engineering Methods (ICFEM), Lecture Notes in Computer Science (LNCS), 15394, 353-374, 2024
Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude
Canh Minh Do, Kazuhiro Ogata
Proceedings of the 15th International Workshop on Rewriting Logic and Its Applications (WRLA), Lecture Notes in Computer Science (LNCS), 14953, 84-103, 2024
Theoretical Foundation for Equivalence Checking of Quantum Circuits
Canh Minh Do, Kazuhiro Ogata
Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic (FAVPQC), 83-92, 2023
Symbolic Model Checking Quantum Circuits With Density Operators in Maude
Canh Minh Do, Kazuhiro Ogata
Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic (FAVPQC), 52-66, 2023
Automated Quantum Program Verification in Probabilistic Dynamic Quantum Logic
Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata
Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic (FAVPQC), 36-51, 2023
Reachability Analysis of the Equivalence of Two Terms in Free Orthomodular Lattices
Tsubasa Takagi, Canh Minh Do, Kazuhiro Ogata
Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic (FAVPQC), 67-82, 2023
Symbolic Model Checking Quantum Circuits in Maude
Canh Minh Do, Kazuhiro Ogata
Proceedings of the 35th International Conference on Software Engineering & Knowledge Engineering (SEKE), 103-108, 2023
Automated Quantum Program Verification in Dynamic Quantum Logic
Tsubasa Takagi, Canh Minh Do, Kazuhiro Ogata
Proceedings of DaLí: Dynamic Logic – New Trends and Applications, Lecture Notes in Computer Science (LNCS), 14401, 68-84, 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 Computer Science, 9, -1556, 2023
A Layered and Parallelized Method of Eventual Model Checking
Yati Phyo, Moe Nandi Aung, Canh Minh Do, Kazuhiro Ogata
Information, 14, 7, 384-384, 2023
Parallel Specification-Based Testing for Concurrent Programs
Canh Minh Do, Kazuhiro Ogata
IEEE Access, 10, 24955-24975, 2022
Parallel Maude-NPA for Cryptographic Protocol Analysis
Canh Minh Do, Adrián Riesco, Santiago Escobar, Kazuhiro Ogata
Proceedings of the 14th International Workshop on Rewriting Logic and Its Applications (WRLA), Lecture Notes in Computer Science (LNCS), 13252, 253-273, 2022
A Divide & 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 (SEKE), 388-393, 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 (DSA), 270-279, 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 (FAVPQC), 3280, 50-64, 2022
Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way
Canh Minh Do, Yati Phyo, Kazuhiro Ogata
IEEE Access, 10, 133749-133765, 2022
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 2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC), 854-863, 2021
A Divide and Conquer Approach to Eventual Model Checking
Moe Nandi Aung, Yati Phyo, Canh Minh Do, Kazuhiro Ogata
Mathematics, 9, 4, 1-16, 2021
A Divide & Conquer Approach to Leads-to Model Checking
Yati Phyo, Canh Minh Do, Kazuhiro Ogata
Computer Journal, 65, 6, 1353-1364, 2021
Graphical Animations of the NS(L)PK Authentication Protocols
Thet Wai Mon, Dang Duy Bui, Duong Dinh Tran, Canh Minh Do, Kazuhiro Ogata
Journal of Visual Language and Computing, 2021, 2, 39-51, 2021
A Divide & Conquer Approach to Conditional Stable Model Checking
Yati Phyo, Canh Minh Do, Kazuhiro Ogata
Proceedings of the 18th International Colloquium on Theoretical Aspects of Computing (ICTAC), Lecture Notes in Computer Science (LNCS), 12819, 105-111, 2021
A Parallel Stratified Model Checking Technique/Tool for Leads-to Properties
Canh Minh Do, Yati Phyo, Adrián Riesco, Kazuhiro Ogata
Proceedings of the 7th International Symposium on System and Software Reliability (ISSSR), 155-166, 2021
Parallel Stratified Random Testing for Concurrent Programs
Canh Minh Do, Kazuhiro Ogata
Proceedings of Companion of the 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security (QRS-C), 79-86, 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 (APSEC), 356-364, 2020
Toward Development of a Tool Supporting a 2-Layer Divide & Conquer Approach to Leads-to Model Checking
Yati Phyo, Canh Minh Do, Kazuhiro Ogata
Proceeding of the 3rd International Conference on Advanced Information Technologies (ICAIT), 250-255, 2019
Specification-based Testing With Simulation Relations
Canh Minh Do, Kazuhiro Ogata
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering (SEKE), 107-112, 2019
A Divide & Conquer Approach to Testing Concurrent Java Programs With JPF and Maude
Canh Minh Do, Kazuhiro Ogata
Proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, Lecture Notes in Computer Science (LNCS), 12028, 42-58, 2019