Dang Duy Bui

16 papers C 1Journal 7Unranked 8
YearRankTypeTitle / Venue / Authors
2025 — conf
An Interactive System For Visual Data Retrieval From Multimodal Input.
IUKM (1)
Tu Van Nguyen, Nghia Trung Duong, Nhan Thanh Pham, Thanh Xuan Luong, Dang Duy Bui
2024 J jnl
Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving.
Multim. Tools Appl.
Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata, Adrián Riesco
2023 J jnl
Graphical Animations of an Autonomous Vehicle Merging Protocol.
J. Vis. Lang. Comput.
Dang Duy Bui, Minxuan Liu, Duong Ding Tran, Kazuhiro Ogata
2022 J jnl
Better state pictures facilitating state machine characteristic conjecture.
Multim. Tools Appl.
Dang Duy Bui, Kazuhiro Ogata
2022 — conf
Graphical Animations of an Autonomous Vehicle Merging Protocol.
DMSVIVA
Minxuan Liu, Kazuhiro Ogata, Dang Duy Bui
2022 J jnl
Graphical Animations of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol.
J. Vis. Lang. Comput.
Dang Duy Bui, Win Hlaing Hlaing Myint, Duong Dinh Tran, Kazuhiro Ogata
2022 — conf
Integration of SMGA and Maude to Facilitate Characteristic Conjecture.
DMSVIVA
Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata, Adrián Riesco
2021 — conf
Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol.
QRS Companion
Minxuan Liu, Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata
2021 — conf
Graphical Animations of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol (S).
DMSVIVA
Win Hlaing Hlaing Myint, Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata
2021 J jnl
Graphical Animations of the NS(L)PK Authentication Protocols.
J. Vis. Lang. Comput.
Thet Wai Mon, Dang Duy Bui, Duong Dinh Tran, Canh Minh Do, Kazuhiro Ogata
2021 — conf
Graphical Animations of the NSLPK Authentication Protocol (S).
DMSVIVA
Thet Wai Mon, Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata
2021 J jnl
Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method.
IEEE Access
Duong Dinh Tran, Dang Duy Bui, Kazuhiro Ogata
2020 — conf
Better State Pictures Facilitating State Machine Characteristic Conjecture.
DMSVIVA
Dang Duy Bui, Kazuhiro Ogata
2020 C conf
Lemma Weakening for State Machine Invariant Proofs.
APSEC
Duong Dinh Tran, Dang Duy Bui, Parth Gupta, Kazuhiro Ogata
2019 — conf
Graphical Animations of the Suzuki-Kasami Distributed Mutual Exclusion Protocol.
DMSVIVA
Dang Duy Bui, Kazuhiro Ogata
2019 J jnl
Graphical Animations of the Suzuki-Kasami Distributed Mutual Exclusion Protocol.
J. Vis. Lang. Comput.
Dang Duy Bui, Kazuhiro Ogata