Follow
Takaaki Tateishi
Takaaki Tateishi
IBM Research - Tokyo
Verified email at jp.ibm.com
Title
Cited by
Cited by
Year
Path-and index-sensitive string analysis based on monadic second-order logic
T Tateishi, M Pistoia, O Tripp
ACM Transactions on Software Engineering and Methodology (TOSEM) 22 (4), 1-33, 2013
982013
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
522009
Modular string-sensitive permission analysis with demand-driven precision
E Geay, M Pistoia, T Tateishi, BG Ryder, J Dolby
2009 IEEE 31st International Conference on Software Engineering, 177-187, 2009
442009
Automatic smart contract generation using controlled natural language and template
T Tateishi, S Yoshihama, N Sato, S Saito
IBM Journal of Research and Development 63 (2/3), 6: 1-6: 12, 2019
372019
Automatic generation of smart contracts
N Sato, T Tateishi, S Amano
US Patent 10,896,195, 2021
362021
Injection context based static analysis of computer software applications
YA Haviv, R Hay, M Pistoia, O Segal, A Sharabani, T Tateishi, O Tripp, ...
US Patent 8,528,095, 2013
352013
Identifying security vulnerability in computer software
YA Haviv, R Hay, M Pistoia, A Sharabani, T Tateishi, O Tripp, O Weisman
US Patent 8,468,605, 2013
322013
Efficient extraction of software dependencies from program code
NA Joukov, BM Pfitzmann, M Pistoia, V Tarasov, T Tateishi, NG Vogl
US Patent 8,533,659, 2013
302013
Crawling of object model using transformation graph
S Yoshihama, S Kawanaka, T Tateishi, O Segal, A Sharabani, M Pistoia, ...
US Patent 8,296,722, 2012
302012
Smart contract input mapping
N Sato, T Tateishi, S Amano
US Patent 10,901,955, 2021
292021
Eliminating false reports of security vulnerabilities when testing computer software
YA Haviv, R Hay, M Pistoia, A Sharabani, T Tateishi, O Tripp, O Weisman
US Patent 8,584,246, 2013
262013
System, method, and apparatus for modular, string-sensitive, access rights analysis with demand-driven precision
JT Dolby, E Geay, M Pistoia, BG Ryder, T Tateishi
US Patent 8,572,674, 2013
262013
Verification of information-flow downgraders
YA Haviv, R Hay, M Pistoia, A Sharabani, T Tateishi, O Tripp, O Weisman
US Patent 8,635,602, 2014
252014
System, method, and program for determining validity of string
YA Haviv, M Pistoia, N Tabuchi, T Tateishi
US Patent 8,365,280, 2013
252013
Blockchain notification board storing blockchain resources
F Iwama, T Tateishi, S Amano, S Yoshihama
US Patent 10,997,159, 2021
242021
System and method for static detection and categorization of information-flow downgraders
Y Haviv, R Hay, M Pistoia, G Podjarny, A Sharabani, T Tateishi, O Tripp, ...
US Patent 9,275,246, 2016
242016
Automatic optimization of string allocations in a computer program
P Centonze, M Mostafa, M Pistoia, T Tateishi
US Patent 8,473,899, 2013
242013
Performance computer program testing after source code modification using execution conditions
T Tateishi, F Kitayama
US Patent 7,844,955, 2010
232010
Formal analysis of the quality and conformance of information flow downgraders
RJ Berg, M Pistoia, T Tateishi, SD Teilhet, O Tripp
US Patent 8,667,584, 2014
212014
Composition operators for smart contract
N Sato, T Tateishi, S Amano
US Patent 10,896,149, 2021
192021
The system can't perform the operation now. Try again later.
Articles 1–20