Regular Expression Types for Strings in a Text Processing Language. - Naoshi Tabuchi; Eijiro Sumii; Akinori Yonezawa (TIP@MPC, 2002)

Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra. - Naoshi Tabuchi; Naoto Sato; Hiroaki Nakamura (ECMDA-FA, 2005)

An efficient and portable scheduler for RTOS simulation and its certified integration to SystemC. - Hiroaki Nakamura; Naoto Sato; Naoshi Tabuchi (DATE, 2006)

Reducing Unnecessary Conservativeness in Access Rights Analysis with String Analysis. - Mika Koganeyama; Naoshi Tabuchi; Takaaki Tateishi (APSEC, 2007)

Secure Behavior of Web Browsers to Prevent Information Leakages. - Takaaki Tateishi; Naoshi Tabuchi (APSEC, 2007)

DHTML Accessibility Checking Based on Static JavaScript Analysis. - Takaaki Tateishi; Hisashi Miyashita; Naoshi Tabuchi; Shin Saito; Kouichi Ono (HCI (7), 2007)

Information-Flow-Based Access Control for Web Browsers. - Sachiko Yoshihama; Takaaki Tateishi; Naoshi Tabuchi; Tsutomu Matsumoto (IEICE Trans. Inf. Syst., 2009)

Verification of Tree-Processing Programs via Higher-Order Model Checking. - Hiroshi Unno 001; Naoshi Tabuchi; Naoki Kobayashi 001 (APLAS, 2010)

Higher-order multi-parameter tree transducers and recursion schemes for program verification. - Naoki Kobayashi 001; Naoshi Tabuchi; Hiroshi Unno 001 (POPL, 2010)

Verification of tree-processing programs via higher-order mode checking. - Hiroshi Unno 001; Naoshi Tabuchi; Naoki Kobayashi 001 (Math. Struct. Comput. Sci., 2015)