DO, Minh Canh Assistant Professor
Information Science, Computing Science
◆Degrees
Ph.D. in Information Science Japan Advanced Institute of Science and Technology
◆Professional Experience
2023 - : Japan Advanced Institute of Science and Technology , School of Information Science , Assistant Professor
◆Specialties
Software
◆Research Keywords
Formal Specification, Formal Verification, Model Checking, Testing, and Parallelization

■Publications

◆Published Papers
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, -, 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
◆Misc
A divide and conquer approach to leads-to-model checking
Yati Phyo, Canh Minh Do, Ogata Kazuhiro
ITNOW, 63, 2, 66-, 2021

■Academic  Awards

・ Outstanding student award , Japan Advanced Institute of Science and Technology , 2022