Dang Duy Bui

According to our database, Dang Duy Bui authored at least 13 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving.

Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata, Adrián Riesco

Multim. Tools Appl., April, 2024

2023

Graphical Animations of an Autonomous Vehicle Merging Protocol.

Dang Duy Bui, Minxuan Liu, Duong Ding Tran, Kazuhiro Ogata

J. Vis. Lang. Comput., 2023

2022

Better state pictures facilitating state machine characteristic conjecture.

Dang Duy Bui, Kazuhiro Ogata

Multim. Tools Appl., 2022

Graphical Animations of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol.

Dang Duy Bui, Win Hlaing Hlaing Myint, Duong Dinh Tran, Kazuhiro Ogata

J. Vis. Lang. Comput., 2022

Integration of SMGA and Maude to Facilitate Characteristic Conjecture.

Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata, Adrián Riesco

Proceedings of the 28th International DMS Conference on Visualization and Visual Languages, 2022

Graphical Animations of an Autonomous Vehicle Merging Protocol.

Minxuan Liu, Kazuhiro Ogata, Dang Duy Bui

Proceedings of the 28th International DMS Conference on Visualization and Visual Languages, 2022

2021

Graphical Animations of the NS(L)PK Authentication Protocols.

Thet Wai Mon, Dang Duy Bui, Duong Dinh Tran, Canh Minh Do, Kazuhiro Ogata

J. Vis. Lang. Comput., 2021

Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method.

Duong Dinh Tran, Dang Duy Bui, Kazuhiro Ogata

IEEE Access, 2021

Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol.

Minxuan Liu, Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Graphical Animations of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol (S).

Win Hlaing Hlaing Myint, Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata

Proceedings of the 27th International DMS Conference on Visualization and Visual Languages, 2021

Graphical Animations of the NSLPK Authentication Protocol (S).

Thet Wai Mon, Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata

Proceedings of the 27th International DMS Conference on Visualization and Visual Languages, 2021

2020

Lemma Weakening for State Machine Invariant Proofs.

Duong Dinh Tran, Dang Duy Bui, Parth Gupta, Kazuhiro Ogata

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

Graphical Animations of the Suzuki-Kasami Distributed Mutual Exclusion Protocol.

Dang Duy Bui, Kazuhiro Ogata

J. Vis. Lang. Comput., 2019