Takaaki Tateishi (立石 孝彰)  Takaaki Tateishi (立石 孝彰) photo       

contact information

Research Staff Member
IBM Research - Tokyo, Japan
  +81dash3dash5144dash2907

links

Professional Associations

Professional Associations:  Information Processing Society of Japan (IPSJ)  |  Japan Society for Software Science and Technology


2013

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


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)

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


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


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

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

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

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


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


2001

An Axiomatic Formalization of UML Models.
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
pUML7, 13--28, 2001