Takaaki Tateishi (立石 孝彰) 
contact information
Research Staff MemberIBM Research - Tokyo, Japan +81
351442907
351442907 links
Professional Associations
Professional Associations: Information Processing Society of Japan (IPSJ) | Japan Society for Software Science and Technology2013
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 (TOSEM) 22(4), 33, ACM, 2013
Takaaki Tateishi, Marco Pistoia, Omer Tripp
ACM Transactions on Software Engineering and Methodology (TOSEM) 22(4), 33, ACM, 2013
2011
Path- and index-sensitive string analysis based on monadic second-order logic
Takaaki Tateishi, Marco Pistoia, Omer Tripp
Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011, pp. 166--176
(ACM Distinguished Paper Award)
Takaaki Tateishi, Marco Pistoia, Omer Tripp
Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011, pp. 166--176
(ACM Distinguished Paper Award)
Static discovery and remediation of code-embedded resource dependencies
Nikolai Joukov, Vasily Tarasov, Joel Ossher, Birgit Pfitzmann, Sergej Chicherin, Marco Pistoia, Takaaki Tateishi
Integrated Network Management (IM), 2011 IFIP/IEEE International Symposium on, pp. 233--240
Nikolai Joukov, Vasily Tarasov, Joel Ossher, Birgit Pfitzmann, Sergej Chicherin, Marco Pistoia, Takaaki Tateishi
Integrated Network Management (IM), 2011 IFIP/IEEE International Symposium on, pp. 233--240
2009
Modular string-sensitive permission analysis with demand-driven precision
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G Ryder, Julian Dolby
Software Engineering, 2009. ICSE 2009. IEEE 31st International Conference on, pp. 177--187
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G Ryder, Julian Dolby
Software Engineering, 2009. ICSE 2009. IEEE 31st International Conference on, pp. 177--187
2007
Secure behavior of Web browsers to prevent information leakages
Takaaki Tateishi, Naoshi Tabuchi
Software Engineering Conference, 2007. APSEC 2007. 14th Asia-Pacific, pp. 65--72
Takaaki Tateishi, Naoshi Tabuchi
Software Engineering Conference, 2007. APSEC 2007. 14th Asia-Pacific, pp. 65--72
Reducing unnecessary conservativeness in access rights analysis with string analysis
Mika Koganeyama, Naoshi Tabuchi, Takaaki Tateishi
Software Engineering Conference, 2007. APSEC 2007. 14th Asia-Pacific, pp. 438--445
Mika Koganeyama, Naoshi Tabuchi, Takaaki Tateishi
Software Engineering Conference, 2007. APSEC 2007. 14th Asia-Pacific, pp. 438--445
DHTML accessibility checking based on static JavaScript analysis
Takaaki Tateishi, Hisashi Miyashita, Tabuchi Naoshi, Shin Saito, Kouichi Ono
Universal Access in Human-Computer Interaction. Applications and Services, pp. 167--176, Springer, 2007
Takaaki Tateishi, Hisashi Miyashita, Tabuchi Naoshi, Shin Saito, Kouichi Ono
Universal Access in Human-Computer Interaction. Applications and Services, pp. 167--176, Springer, 2007
Verifying the consistency of security policies by abstracting into security types
Kouichi Ono, Yuichi Nakamura, Fumiko Satoh, Takaaki Tateishi
Web Services, 2007. ICWS 2007. IEEE International Conference on, pp. 497--504
Kouichi Ono, Yuichi Nakamura, Fumiko Satoh, Takaaki Tateishi
Web Services, 2007. ICWS 2007. IEEE International Conference on, pp. 497--504
2006
Automated verification tool for DHTML
Takaaki Tateishi, Hisashi Miyashita, Kouichi Ono, Shin Saito
Automated Software Engineering, 2006. ASE'06. 21st IEEE/ACM International Conference on, pp. 363--364
Takaaki Tateishi, Hisashi Miyashita, Kouichi Ono, Shin Saito
Automated Software Engineering, 2006. ASE'06. 21st IEEE/ACM International Conference on, pp. 363--364
2001
An Axiomatic Formalization of UML Models.
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
pUML7, 13--28, 2001
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
pUML7, 13--28, 2001