フォロー
Naoshi Tabuchi
Naoshi Tabuchi
Trek Inc.
確認したメール アドレス: trek.co.jp
タイトル
引用先
引用先
Higher-order multi-parameter tree transducers and recursion schemes for program verification
N Kobayashi, N Tabuchi, H Unno
ACM Sigplan Notices 45 (1), 495-508, 2010
912010
Systems, methods and computer program products for string analysis with security labels for vulnerability detection
K Ono, M Saito, N Tabuchi, T Tateishi
US Patent 7,530,107, 2009
512009
Regular expression types for strings in a text processing language
N Tabuchi, E Sumii, A Yonezawa
Electronic Notes in Theoretical Computer Science 75, 95-113, 2003
392003
Verification of tree-processing programs via higher-order model checking
H Unno, N Tabuchi, N Kobayashi
Asian Symposium on Programming Languages and Systems, 312-327, 2010
262010
System, method, and program for determining validity of string
YA Haviv, M Pistoia, N Tabuchi, T Tateishi
US Patent 8,365,280, 2013
252013
Information-flow-based access control for web browsers
S Yoshihama, T Tateishi, N Tabuchi, T Matsumoto
IEICE transactions on information and systems 92 (5), 836-850, 2009
152009
Model-driven performance analysis of UML design models based on stochastic process algebra
N Tabuchi, N Sato, H Nakamura
European Conference on Model Driven Architecture-Foundations and …, 2005
132005
An efficient and portable scheduler for rtos simulation and its certified integration to systemc
H Nakamura, N Sato, N Tabuchi
Proceedings of the Design Automation & Test in Europe Conference 1, 1-2, 2006
92006
System and method for deriving stochastic performance evaluation model from annotated UML design model
H Nakamura, N Sato, N Tabuchi
US Patent 7,788,636, 2010
62010
System simulation using multi-tasking computer code
H Nakamura, N Sato, N Tabuchi, H Ishikawa
US Patent 7,747,426, 2010
62010
Reducing unnecessary conservativeness in access rights analysis with string analysis
M Koganeyama, N Tabuchi, T Tateishi
14th Asia-Pacific Software Engineering Conference (APSEC'07), 438-445, 2007
42007
Secure behavior of web browsers to prevent information leakages
T Tateishi, N Tabuchi
14th Asia-Pacific Software Engineering Conference (APSEC'07), 65-72, 2007
32007
System for determining whether screen displayed by program satisfies specification
T Tateishi, H Miyashita, A Tozawa, S Saito, N Tabuchi
US Patent 7,849,404, 2010
22010
System for determining whether screen displayed by program satisfies specification
T Tateishi, H Miyashita, A Tozawa, S Saito, N Tabuchi
US Patent 7,849,404, 2010
22010
Verification of tree-processing programs via higher-order mode checking
H Unno, N Tabuchi, N Kobayashi
Mathematical Structures in Computer Science 25 (4), 841-866, 2015
12015
Inference of tree data structure invariant based on language identification from samples
N Tabuchi, N Kobayashi, H Unno
12011
Drive-by pharming Drive-by pharming, 2006
S YOSHIHAMA, T TATEISHI, N TABUCHI, T MATSUMOTO
IEICE transactions on information and systems 92 (5), 836-850, 2009
2009
JavaScript hijacking JavaScript hijacking, 2007
S YOSHIHAMA, T TATEISHI, N TABUCHI, T MATSUMOTO
IEICE transactions on information and systems 92 (5), 836-850, 2009
2009
Better ajax development: Windows (r) internet explorer (r) 8 Better ajax development: Windows (r) internet explorer (r) 8, 2008
S YOSHIHAMA, T TATEISHI, N TABUCHI, T MATSUMOTO
IEICE transactions on information and systems 92 (5), 836-850, 2009
2009
Whitehat website security statistics report Whitehat website security statistics report, 2007
S YOSHIHAMA, T TATEISHI, N TABUCHI, T MATSUMOTO
IEICE transactions on information and systems 92 (5), 836-850, 2009
2009
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20