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

発表論文

22件
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
Symbolic Model Checking Quantum Circuits in Maude.
Canh Minh Do, Kazuhiro Ogata 0001
SEKE, 103-108, 2023
Automated Quantum Program Verification in Dynamic Quantum Logic.
Tsubasa Takagi, Canh Minh Do, Kazuhiro Ogata 0001
DaLí, 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 0001, Kazuhiro Ogata 0001
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 0001
Information(Inf.), 14, 7, 384-384, 2023
A Divide & Conquer Approach to Leads-to Model Checking
Yati Phyo, Canh Minh Do, Kazuhiro Ogata
Computer Journal, 65, 6, 1353-1364, 2022
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
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 13252 LNCS, 253-273, 2022
A divide & conquer approach to until and until stable model checking
Canh Minh Do, Yati Phyo, Kazuhiro Ogata
Proceedings of the 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 - 2022 9th International Conference on Dependable Systems and Their Applications, DSA 2022, 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
CEUR Workshop Proceedings, 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 - 2021 IEEE 45th Annual Computers, Software, and Applications Conference, COMPSAC 2021, 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
Graphical Animations of the NS(L)PK Authentication Protocols.
Thet Wai Mon, Dang Duy Bui, Duong Dinh Tran, Canh Minh Do, Kazuhiro Ogata 0001
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
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 12819 LNCS, 105-111, 2021
A Parallel Stratified Model Checking Technique/Tool for Leads-to Properties
Canh Minh Do, Yati Phyo, Adrian Riesco, Kazuhiro Ogata
Proceedings - 2021 7th International Symposium on System and Software Reliability, ISSSR 2021, 155-166, 2021
Parallel stratified random testing for concurrent programs
Canh Minh Do, Kazuhiro Ogata
Proceedings - Companion of the 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS-C 2020, 79-86, 2020
A divide & conquer approach to testing concurrent programs with JPF
Canh Minh Do, Kazuhiro Ogata
Proceedings - Asia-Pacific Software Engineering Conference, APSEC, 2020-December, 356-364, 2020
A divide & conquer approach to testing concurrent java programs with JPF and maude
Canh Minh Do, Kazuhiro Ogata
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 12028 LNCS, 42-58, 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
2019 International Conference on Advanced Information Technologies, ICAIT 2019, 250-255, 2019
Specification-based testing with simulation relations
Canh Minh Do, Kazuhiro Ogata
Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE, 2019-July, 107-112, 2019