Dang Duy Bui

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 15

Top Topics

Mutual Exclusion

Autonomous Vehicles

Authentication Protocol

Top Venues

J. Vis. Lang. Comput.

Multim. Tools Appl.

Publications

Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata, Adrián Riesco
Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving. Multim. Tools Appl. 83 (12) (2024)
Dang Duy Bui, Minxuan Liu, Duong Ding Tran, Kazuhiro Ogata
Graphical Animations of an Autonomous Vehicle Merging Protocol. J. Vis. Lang. Comput. 2023 (1) (2023)
Dang Duy Bui, Win Hlaing Hlaing Myint, Duong Dinh Tran, Kazuhiro Ogata
Graphical Animations of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol. J. Vis. Lang. Comput. 2022 (1) (2022)
Minxuan Liu, Kazuhiro Ogata, Dang Duy Bui
Graphical Animations of an Autonomous Vehicle Merging Protocol. DMSVIVA (2022)
Duong Dinh Tran, Kazuhiro Ogata, Adrián Riesco, Dang Duy Bui
Integration of SMGA and Maude to Facilitate Characteristic Conjecture. DMSVIVA (2022)
Dang Duy Bui, Kazuhiro Ogata
Better state pictures facilitating state machine characteristic conjecture. Multim. Tools Appl. 81 (1) (2022)
Minxuan Liu, Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata
Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol. QRS Companion (2021)
Thet Wai Mon, Dang Duy Bui, Duong Dinh Tran, Canh Minh Do, Kazuhiro Ogata
Graphical Animations of the NS(L)PK Authentication Protocols. J. Vis. Lang. Comput. 2021 (2) (2021)
Thet Wai Mon, Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata
Graphical Animations of the NSLPK Authentication Protocol (S). DMSVIVA (2021)
Duong Dinh Tran, Dang Duy Bui, Kazuhiro Ogata
Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method. IEEE Access 9 (2021)
Win Hlaing Hlaing Myint, Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata
Graphical Animations of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol (S). DMSVIVA (2021)
Duong Dinh Tran, Dang Duy Bui, Parth Gupta, Kazuhiro Ogata
Lemma Weakening for State Machine Invariant Proofs. APSEC (2020)
Dang Duy Bui, Kazuhiro Ogata
Better State Pictures Facilitating State Machine Characteristic Conjecture. DMSVIVA (2020)
Dang Duy Bui, Kazuhiro Ogata
Graphical Animations of the Suzuki-Kasami Distributed Mutual Exclusion Protocol. J. Vis. Lang. Comput. 2019 (2) (2019)
Dang Duy Bui, Kazuhiro Ogata
Graphical Animations of the Suzuki-Kasami Distributed Mutual Exclusion Protocol. DMSVIVA (2019)