トップページ  >  教員個別情報  >  発表論文
DO, Minh Canh （DO, Minh Canh ）助教
情報科学, コンピューティング科学研究領域

発表論文

28件
Symbolic model checking quantum circuits in Maude
Canh Minh Do, Kazuhiro Ogata
PeerJ Computer Science, 10, e2098-e2098, 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
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
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