2007 |
6 | EE | Mika Koganeyama,
Naoshi Tabuchi,
Takaaki Tateishi:
Reducing Unnecessary Conservativeness in Access Rights Analysis with String Analysis.
APSEC 2007: 438-445 |
5 | EE | Takaaki Tateishi,
Naoshi Tabuchi:
Secure Behavior of Web Browsers to Prevent Information Leakages.
APSEC 2007: 65-72 |
4 | EE | Takaaki Tateishi,
Hisashi Miyashita,
Naoshi Tabuchi,
Shin Saito,
Kouichi Ono:
DHTML Accessibility Checking Based on Static JavaScript Analysis.
HCI (7) 2007: 167-176 |
2006 |
3 | EE | Hiroaki Nakamura,
Naoto Sato,
Naoshi Tabuchi:
An efficient and portable scheduler for RTOS simulation and its certified integration to SystemC.
DATE 2006: 1157-1158 |
2005 |
2 | EE | Naoshi Tabuchi,
Naoto Sato,
Hiroaki Nakamura:
Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra.
ECMDA-FA 2005: 41-58 |
2002 |
1 | EE | Naoshi Tabuchi,
Eijiro Sumii,
Akinori Yonezawa:
Regular Expression Types for Strings in a Text Processing Language.
Electr. Notes Theor. Comput. Sci. 75: (2002) |