Naoshi Tabuchi

Verification of Tree-Processing Programs via Higher-Order Model Checking

Naoki Kobayashi, Hiroshi Unno, Naoshi Tabuchi, 2010, APLAS.

Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra

Hiroaki Nakamura, Naoto Sato, Naoshi Tabuchi, 2005, ECMDA-FA.

DHTML Accessibility Checking Based on Static JavaScript Analysis

Takaaki Tateishi, Shin Saito, Naoshi Tabuchi, 2007, HCI.

Information-Flow-Based Access Control for Web Browsers

Tsutomu Matsumoto, Takaaki Tateishi, Sachiko Yoshihama, 2009, IEICE Trans. Inf. Syst..

Regular Expression Types for Strings in a Text Processing Language

Akinori Yonezawa, Eijiro Sumii, Naoshi Tabuchi, 2002, Electron. Notes Theor. Comput. Sci..

Reducing Unnecessary Conservativeness in Access Rights Analysis with String Analysis

Takaaki Tateishi, Mika Koganeyama, Naoshi Tabuchi, 2007, 14th Asia-Pacific Software Engineering Conference (APSEC'07).

Verification of tree-processing programs via higher-order mode checking

Naoki Kobayashi, Hiroshi Unno, Naoshi Tabuchi, 2015, Math. Struct. Comput. Sci..

Secure Behavior of Web Browsers to Prevent Information Leakages

Takaaki Tateishi, Naoshi Tabuchi, 2007, 14th Asia-Pacific Software Engineering Conference (APSEC'07).

An Efficient and Portable Scheduler for RTOS Simulation and its Certified Integration to SystemC

Hiroaki Nakamura, Naoto Sato, Naoshi Tabuchi, 2006, Proceedings of the Design Automation & Test in Europe Conference.

Higher-order multi-parameter tree transducers and recursion schemes for program verification

Naoki Kobayashi, Hiroshi Unno, Naoshi Tabuchi, 2010, POPL '10.