Duong Dinh Tran - Publications, H-index & Citations

Duong Dinh Tran

japan advanced institute of science & technology (jaist)

4H指数

22论文数

49被引数

收录论文 8

发表时间

Enhancing Decision-Making Safety in Autonomous Driving Through Online Model Checking 通过在线模型检查提升自动驾驶决策安全性

RIGOROUS STATE-BASED METHODS, ABZ 2025

IF0

2026-01-01

PREAI

Tran, Duong Dinh; Hasegawa, Akira; Riviere, Peter; Tomita, Takashi; Aoki, Toshiaki

A Reasoning and Explicit Algebraic Theory for BBSL in Event-B: EB4BBSL Framework 事件B中BBSL的推理与显式代数理论：EB4BBSL框架

RIGOROUS STATE-BASED METHODS, ABZ 2025

IF0

2026-01-01

PREAI

Riviere, Peter; Tran, Duong Dinh; Tomita, Takashi; Aoki, Toshiaki

Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol

IEEE ACCESS

IF3.6

2024-01-01

OAAI

Tran, Duong Dinh; Ogata, Kazuhiro; Escobar, Santiago; Akleylek, Sedat; Otmani, Ayoub

Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version

PEERJ COMPUTER SCIENCE

IF2.5

2023-09-22

OAAI

Duong Dinh Tran; Canh Minh Do; Escobar, Santiago; Ogata, Kazuhiro

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

MULTIMEDIA TOOLS AND APPLICATIONS

IF3

2023-07-24

OAAI

Bui, Dang Duy; Tran, Duong Dinh; Ogata, Kazuhiro; Riesco, Adrian

Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores

PEERJ COMPUTER SCIENCE

IF2.5

2023-03-31

OAAI

Tran, Duong Dinh; Mon, Thet Wai; Ogata, Kazuhiro

Formal verification of TLS 1.2 by automatically generating proof scores

COMPUTERS & SECURITY

IF5.4

2022-12-01

PREAI

Duong Dinh Tran; Ogata, Kazuhiro

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

IEEE ACCESS

IF3.6

2021-01-01

OAAI

Tran, Duong Dinh; Bui, Dang Duy; Ogata, Kazuhiro

研究方向