Follow
Canh Minh Do
Title
Cited by
Cited by
Year
A divide & conquer approach to leads-to model checking
Y Phyo, C Minh Do, K Ogata
The Computer Journal 65 (6), 1353-1364, 2021
172021
A divide and conquer approach to eventual model checking
MN Aung, Y Phyo, CM Do, K Ogata
Mathematics 9 (4), 368, 2021
152021
A support tool for the L+ 1-layer divide & conquer approach to leads-to model checking
Y Phyo, CM Do, K Ogata
2021 IEEE 45th Annual Computers, Software, and Applications Conference …, 2021
122021
A parallel stratified model checking technique/tool for leads-to properties
CM Do, Y Phyo, A Riesco, K Ogata
2021 7th International Symposium on System and Software Reliability (ISSSR …, 2021
92021
Parallel Maude-NPA for cryptographic protocol analysis
C Minh Do, A Riesco, S Escobar, K Ogata
International Workshop on Rewriting Logic and its Applications, 253-273, 2022
82022
A divide & conquer approach to conditional stable model checking
Y Phyo, CM Do, K Ogata
Theoretical Aspects of Computing–ICTAC 2021: 18th International Colloquium …, 2021
62021
Toward development of a tool supporting a 2-layer divide & conquer approach to leads-to model checking
Y Phyo, CM Do, K Ogata
2019 International Conference on Advanced Information Technologies (ICAIT …, 2019
62019
Optimization techniques for model checking leads-to properties in a stratified way
CM Do, Y Phyo, A Riesco, K Ogata
ACM Transactions on Software Engineering and Methodology 32 (6), 1-38, 2023
52023
Specification-based Testing with Simulation Relations (S).
CM Do, K Ogata
SEKE, 107-146, 2019
52019
Symbolic Model Checking Quantum Circuits in Maude
CM Do, K Ogata
SEKE, 103-108, 2023
42023
Sequential and parallel tools for model checking conditional stable properties in a layered way
CM Do, Y Phyo, K Ogata
IEEE Access 10, 133749-133765, 2022
42022
A divide and conquer approach to until and until stable model checking.
CM Do, Y Phyo, K Ogata
SEKE, 388-393, 2022
42022
Hybrid post-quantum tls formal specification in Maude-NPA - toward its security analysis?
DD Tran, CM Do, S Escobar, K Ogata
Proceedings http://ceur-ws. org ISSN 1613, 0073, 2022
42022
A divide & conquer approach to testing concurrent Java programs with JPF and Maude
C Minh Do, K Ogata
International Workshop on Structured Object-Oriented Formal Language and …, 2019
42019
A tool for model checking eventual model checking in a stratified way
MN Aung, Y Phyo, CM Do, K Ogata
2022 9th International Conference on Dependable Systems and Their …, 2022
32022
A divide & conquer approach to testing concurrent programs with JPF*
CM Do, K Ogata
2020 27th Asia-Pacific Software Engineering Conference (APSEC), 356-364, 2020
32020
Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version
DD Tran, CM Do, S Escobar, K Ogata
PeerJ Computer Science 9, e1556, 2023
12023
A Layered and Parallelized Method of Eventual Model Checking
Y Phyo, MN Aung, CM Do, K Ogata
Information 14 (7), 384, 2023
12023
Parallel stratified random testing for concurrent programs
CM Do, K Ogata
2020 IEEE 20th International Conference on Software Quality, Reliability and …, 2020
12020
Symbolic model checking quantum circuits in Maude
CM Do, K Ogata
PeerJ Computer Science 10, e2098, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20