Dang Duy BUI
Dang Duy BUI
Verified email at
Cited by
Cited by
Better state pictures facilitating state machine characteristic conjecture
DD Bui, K Ogata
Multimedia Tools and Applications 81 (1), 237-272, 2022
Graphical Animations of the Suzuki-Kasami Distributed Mutual Exclusion Protocol
DD Bui, K Ogata
JVLC 2019 (2), 105-116, 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
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
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
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 83 (12), 36865-36898, 2024
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
Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method
DD Tran, DD Bui, K Ogata
IEEE Access 9, 93847-93870, 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
The system can't perform the operation now. Try again later.
Articles 1–9