| 2026 | COMPSAC | From Simulation to Verification: A Flexible Interface for Scenario Description in Autoware Autonomous Driving Ecosystem. | Duong Dinh Tran, Peter Riviere, Takashi Tomita, Toshiaki Aoki |
| 2026 | ENASE | Detection of Dangerous Driving Events from Video Streams with Logical Explanations. | Kazuko Takahashi, Yurika Yamaguchi, Daiki Suzuki, Duong Dinh Tran, Aran Chindaudom, Takashi Tomita, Toshiaki Aoki |
| 2026 | SAC | Facilitating Uncertainty in Perception-aware Responsibility-Sensitive Safety. | Akhoury Shauryam, Tanadol Chuntarasupt, Peter Riviere, Duong Dinh Tran, Toshiaki Aoki |
| 2025 | PPDP | Folding Narrowing for the Analysis of Mutual Exclusion Protocols. | Ral Lpez-Rueda, Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata |
| 2025 | SEKE | Formal Specification and Analysis of Post-quantum OpenPGP Protocol in CafeOBJ. | Trong Binh Hoang, Duong Dinh Tran, Canh Minh Do, Kazuhiro Ogata |
| 2024 | PRDC | Bridging Gaps between Scenario-Based Safety Analysis and Simulation-based Testing for Autonomous Driving Systems. | Phaiboon Jaradnaparatana, Buntita Sriarunothai, Chutikarn Kamsem, Supithcha Jongphoemwatthanaphon, Burit Sihabut, Duong Dinh Tran, Toshiaki Aoki |
| 2022 | COMPSAC | IPSG: Invariant Proof Score Generator. | Duong Dinh Tran, Kazuhiro Ogata |
| 2022 | ICFEM | Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude. | Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani |
| 2022 | ICFEM | Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis. | Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata |
| 2022 | SEKE | Formal specification and model checking of Saber lattice-based key encapsulation mechanism in Maude. | Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani |
| 2021 | QRS | Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol. | Minxuan Liu, Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata |
| 2021 | SEKE | Formal verification of Anderson mutual exclusion protocol by introducing an auxiliary variable (S). | Naoki Asae, Duong Dinh Tran, Kazuhiro Ogata |
| 2021 | SEKE | Formal verification of IFF and NSLPK authentication protocols with CiMPG (S). | Thet Wai Mon, Shuho Fujii, Duong Dinh Tran, Kazuhiro Ogata |
| 2021 | SEKE | Formal specification and model checking of a recoverable wait-free version of MCS. | Duong Dinh Tran, Kentaro Waki, Kazuhiro Ogata |
| 2020 | APSEC | Lemma Weakening for State Machine Invariant Proofs. | Duong Dinh Tran, Dang Duy Bui, Parth Gupta, Kazuhiro Ogata |
| 2020 | SEKE | Formal verification of an abstract version of Anderson protocol with CafeOBJ, CiMPA and CiMPG. | Duong Dinh Tran, Kazuhiro Ogata |