Naoshi Tabuchi

According to our database, Naoshi Tabuchi authored at least 10 papers between 2002 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

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

Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi

Math. Struct. Comput. Sci., 2015

2010

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

Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

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

Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

Information-Flow-Based Access Control for Web Browsers.

Sachiko Yoshihama, Takaaki Tateishi, Naoshi Tabuchi, Tsutomu Matsumoto

IEICE Trans. Inf. Syst., 2009

2007

DHTML Accessibility Checking Based on Static JavaScript Analysis.

Takaaki Tateishi, Hisashi Miyashita, Naoshi Tabuchi, Shin Saito, Kouichi Ono

Proceedings of the Universal Access in Human-Computer Interaction. Applications and Services, 2007

Secure Behavior of Web Browsers to Prevent Information Leakages.

Takaaki Tateishi, Naoshi Tabuchi

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

Reducing Unnecessary Conservativeness in Access Rights Analysis with String Analysis.

Mika Koganeyama, Naoshi Tabuchi, Takaaki Tateishi

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

An efficient and portable scheduler for RTOS simulation and its certified integration to SystemC.

Hiroaki Nakamura, Naoto Sato, Naoshi Tabuchi

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2005

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

Naoshi Tabuchi, Naoto Sato, Hiroaki Nakamura

Proceedings of the Model Driven Architecture, 2005

2002

Regular Expression Types for Strings in a Text Processing Language.

Naoshi Tabuchi, Eijiro Sumii, Akinori Yonezawa

Proceedings of the International Workshop in Types in Programming, 2002