Duong Dinh Tran

32 papers B 1C 11Journal 12Unranked 8

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	A Reasoning and Explicit Algebraic Theory for BBSL in Event-B: EB4BBSL Framework. ABZ Peter Riviere, Duong Dinh Tran, Takashi Tomita, Toshiaki Aoki
2025	C	`conf`	Enhancing Decision-Making Safety in Autonomous Driving Through Online Model Checking. ABZ Duong Dinh Tran, Akira Hasegawa, Peter Riviere, Takashi Tomita, Toshiaki Aoki
2025	C	`conf`	Folding Narrowing for the Analysis of Mutual Exclusion Protocols. PPDP Raúl López-Rueda, Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata
2025	C	`conf`	Formal Specification and Analysis of Post-quantum OpenPGP Protocol in CafeOBJ. SEKE Trong Binh Hoang, Duong Dinh Tran, Canh Minh Do, Kazuhiro Ogata
2025	J	`jnl`	Proof Scores: A Survey (full version). CoRR Adrián Riesco, Kazuhiro Ogata, Masaki Nakamura, Daniel Gaina, Duong Dinh Tran, Kokichi Futatsugi
2025	J	`jnl`	Proof Scores: A Survey. ACM Comput. Surv. Adrián Riesco, Kazuhiro Ogata, Masaki Nakamura, Daniel Gaina, Duong Dinh Tran, Kokichi Futatsugi
2025	J	`jnl`	Safety Analysis of Autonomous Driving Systems: A Simulation-Based Runtime Verification Approach. IEEE Trans. Reliab. Duong Dinh Tran, Takashi Tomita, Toshiaki Aoki
2024	C	`conf`	Bridging Gaps between Scenario-Based Safety Analysis and Simulation-based Testing for Autonomous Driving Systems. PRDC Phaiboon Jaradnaparatana, Buntita Sriarunothai, Chutikarn Kamsem, Supithcha Jongphoemwatthanaphon, Burit Sihabut, Duong Dinh Tran, Toshiaki Aoki
2024	J	`jnl`	Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol. IEEE Access Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
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
2024	—	`conf`	Verifying Safe Memory Reclamation in Concurrent Programs with CafeOBJ. WRLA Duong Dinh Tran, Kazuhiro Ogata
2023	J	`jnl`	Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version. PeerJ Comput. Sci. Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata
2023	J	`jnl`	Kyber, Saber, and SK-MLWR Lattice-Based Key Encapsulation Mechanisms Model Checking with Maude. IET Inf. Secur. Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
2023	J	`jnl`	Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores. PeerJ Comput. Sci. Duong Dinh Tran, Thet Wai Mon, Kazuhiro Ogata
2022	C	`conf`	Formal specification and model checking of Saber lattice-based key encapsulation mechanism in Maude. SEKE Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
2022	—	`conf`	Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude. FAVPQC@ICFEM Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
2022	J	`jnl`	Formal verification of TLS 1.2 by automatically generating proof scores. Comput. Secur. Duong Dinh Tran, Kazuhiro Ogata
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`	Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis. FAVPQC@ICFEM Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata
2022	B	`conf`	IPSG: Invariant Proof Score Generator. COMPSAC 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	C	`conf`	Formal specification and model checking of a recoverable wait-free version of MCS. SEKE Duong Dinh Tran, Kentaro Waki, Kazuhiro Ogata
2021	C	`conf`	Formal verification of Anderson mutual exclusion protocol by introducing an auxiliary variable (S). SEKE Naoki Asae, Duong Dinh Tran, Kazuhiro Ogata
2021	C	`conf`	Formal verification of IFF and NSLPK authentication protocols with CiMPG (S). SEKE Thet Wai Mon, Shuho Fujii, 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	C	`conf`	Formal verification of an abstract version of Anderson protocol with CafeOBJ, CiMPA and CiMPG. SEKE Duong Dinh Tran, Kazuhiro Ogata
2020	C	`conf`	Lemma Weakening for State Machine Invariant Proofs. APSEC Duong Dinh Tran, Dang Duy Bui, Parth Gupta, Kazuhiro Ogata
2018	—	`conf`	A method for Automated User Interface Testing of Windows-based Applications. SoICT Duong Dinh Tran, Pham Ngoc Hung, Tung Nguyen Duy