Takaaki Tateishi

Code-Embedded Resource Dependencies

Nikolai Joukov, Birgit Pfitzmann, Sergej Chicherin, 2011 .

Automated Verification Tool for DHTML

Kouichi Ono, Takaaki Tateishi, Shin Saito, 2006, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).

DHTML Accessibility Checking Based on Static JavaScript Analysis

Takaaki Tateishi, Shin Saito, Naoshi Tabuchi, 2007, HCI.

Information-Flow-Based Access Control for Web Browsers

Tsutomu Matsumoto, Takaaki Tateishi, Sachiko Yoshihama, 2009, IEICE Trans. Inf. Syst..

Formal Requirement Enforcement on Smart Contracts Based on Linear Dynamic Logic

Takaaki Tateishi, Naoto Sato, Shunichi Amano, 2018, 2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData).

Editor's Meesage to Special Issue on Software Engineering

Takaaki Tateishi, 2016, J. Inf. Process..

Reducing Unnecessary Conservativeness in Access Rights Analysis with String Analysis

Takaaki Tateishi, Mika Koganeyama, Naoshi Tabuchi, 2007, 14th Asia-Pacific Software Engineering Conference (APSEC'07).

Secure Behavior of Web Browsers to Prevent Information Leakages

Takaaki Tateishi, Naoshi Tabuchi, 2007, 14th Asia-Pacific Software Engineering Conference (APSEC'07).

Static discovery and remediation of code-embedded resource dependencies

Nikolai Joukov, Vasily Tarasov, Birgit Pfitzmann, 2011, 12th IFIP/IEEE International Symposium on Integrated Network Management (IM 2011) and Workshops.

Verifying the Consistency of Security Policies by Abstracting into Security Types

Kouichi Ono, Takaaki Tateishi, Yuichi Nakamura, 2007, IEEE International Conference on Web Services (ICWS 2007).

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

Marco Pistoia, Takaaki Tateishi, Omer Tripp, 2011, ISSTA '11.

Automatic smart contract generation using controlled natural language and template

Takaaki Tateishi, Shin Saito, Sachiko Yoshihama, 2019, IBM J. Res. Dev..

Modular string-sensitive permission analysis with demand-driven precision

Barbara G. Ryder, Marco Pistoia, Takaaki Tateishi, 2009, 2009 IEEE 31st International Conference on Software Engineering.

An Axiomatic Formalization of UML Models

Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama, 2001, pUML.