Concepedia

Takaaki Tateishi

TT

Statistics

Publications

5

Citations

145

H-Index

5

Active since

2007

Affiliations

IBM Research - Tokyo(Current)

IBM (United States)

Tel Aviv University

Takaaki Tateishi is an author at IBM Research - Tokyo specializing in formal methods, computer science, and computing.

Publications per year

2007–2019

5

Publications

5

Path- and index-sensitive string analysis based on monadic second-order logic

Takaaki Tateishi, Marco Pistoia, Omer Tripp · ACM Transactions on Software Engineering and Methodology · 2013 · 48 citations

, , +13

Automatic smart contract generation using controlled natural language and template

Takaaki Tateishi, Sachiko Yoshihama, Naoto Sato et al. · IBM Journal of Research and Development · 2019 · 37 citations

, , +16

Modular string-sensitive permission analysis with demand-driven precision

Emmanuel Geay, Marco Pistoia, Takaaki Tateishi et al. · 2009 · 24 citations

, , +12

Path- and index-sensitive string analysis based on monadic second-order logic

Takaaki Tateishi, Marco Pistoia, Omer Tripp · 2011 · 24 citations

, , +13

Verifying the Consistency of Security Policies by Abstracting into Security Types

Kouichi Ono, Yuichi Nakamura, Fumiko Satoh et al. · 2007 · 12 citations

, , +14

1–5 of 5