Better state pictures facilitating state machine characteristic conjecture DD Bui, K Ogata Multimedia Tools and Applications 81 (1), 237-272, 2022 | 12 | 2022 |
Graphical Animations of the Suzuki-Kasami Distributed Mutual Exclusion Protocol DD Bui, K Ogata JVLC 2019 (2), 105-116, 2019 | 5 | 2019 |
Lemma weakening for state machine invariant proofs DD Tran, DD Bui, P Gupta, K Ogata 2020 27th Asia-Pacific Software Engineering Conference (APSEC), 21-30, 2020 | 4 | 2020 |
Graphical Animations of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol DD Bui, WHH Myint, DD Tran, K Ogata JVLC 2022 (1), 1-15, 2022 | 3* | 2022 |
Integration of SMGA and Maude to Facilitate Characteristic Conjecture DD Bui, DD Tran, K Ogata, A Riesco DMSVIVA 2022-Proceedings of the 28th International DMS Conference on …, 2022 | 2 | 2022 |
Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving DD Bui, DD Tran, K Ogata, A Riesco Multimedia Tools and Applications, 1-34, 2023 | 1 | 2023 |
Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol M Liu, DD Bui, DD Tran, K Ogata 2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021 | 1 | 2021 |
Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method DD Tran, DD Bui, K Ogata IEEE Access 9, 93847-93870, 2021 | 1 | 2021 |
Graphical Animations of the NS(L)PK Authentication Protocols TW Mon, DD Bui, DD Tran, CM Do, K Ogata JVLC 2021 (2), 39-51, 2021 | 1 | 2021 |