Takaaki Tateishi

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 7

Top Topics

Software Engineering

Controlled Natural Language

Top Venues

iThings/GreenCom/CPSCom/SmartData

IBM J. Res. Dev.

Publications

Toshihiro Takahashi, Takaaki Tateishi, Michiaki Tatsubori
Matching of Descriptive Labels to Glossary Descriptions. CoRR (2023)
Nandana Mihindukulasooriya, Sarthak Dash, Sugato Bagchi, Md. Faisal Mahbub Chowdhury, Alfio Massimiliano Gliozzo, Ariel Farkash, Michael R. Glass, Igor Gokhman, Oktie Hassanzadeh, Nhan Pham, Gaetano Rossiello, Boris Rozenberg, Yehoshua Sagron, Dharmashankar Subramanian, Toshihiro Takahashi, Takaaki Tateishi, Long Vu
Unleashing the Potential of Data Lakes with Semantic Enrichment Using Foundation Models. ISWC (Posters/Demos/Industry) (2023)
Satoshi Masuda, Takaaki Tateishi, Toshihiro Takahashi
Datetime Feature Recommendation Using Textual Information. KES (2023)
Kavitha Srinivas, Takaaki Tateishi, Daniel Karl I. Weidele, Udayan Khurana, Horst Samulowitz, Toshihiro Takahashi, Dakuo Wang, Lisa Amini
Semantic Feature Discovery with Code Mining and Semantic Type Detection. AAAI (2022)
Takaaki Tateishi, Sachiko Yoshihama, Naoto Sato, Shin Saito
Automatic smart contract generation using controlled natural language and template. IBM J. Res. Dev. 63 (2/3) (2019)
Naoto Sato, Takaaki Tateishi, Shunichi Amano
Formal Requirement Enforcement on Smart Contracts Based on Linear Dynamic Logic. iThings/GreenCom/CPSCom/SmartData (2018)
Takaaki Tateishi
Editor's Meesage to Special Issue on Software Engineering. J. Inf. Process. 24 (2) (2016)
Takaaki Tateishi, Marco Pistoia, Omer Tripp
Path- and index-sensitive string analysis based on monadic second-order logic. ACM Trans. Softw. Eng. Methodol. 22 (4) (2013)
Nikolai Joukov, Vasily Tarasov, Joel Ossher, Birgit Pfitzmann, Sergej Chicherin, Marco Pistoia, Takaaki Tateishi
Static discovery and remediation of code-embedded resource dependencies. Integrated Network Management (2011)
Takaaki Tateishi, Marco Pistoia, Omer Tripp
Path- and index-sensitive string analysis based on monadic second-order logic. ISSTA (2011)
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, Julian Dolby
Modular string-sensitive permission analysis with demand-driven precision. ICSE (2009)
Sachiko Yoshihama, Takaaki Tateishi, Naoshi Tabuchi, Tsutomu Matsumoto
Information-Flow-Based Access Control for Web Browsers. IEICE Trans. Inf. Syst. (5) (2009)
Takaaki Tateishi, Hisashi Miyashita, Naoshi Tabuchi, Shin Saito, Kouichi Ono
DHTML Accessibility Checking Based on Static JavaScript Analysis. HCI (7) (2007)
Mika Koganeyama, Naoshi Tabuchi, Takaaki Tateishi
Reducing Unnecessary Conservativeness in Access Rights Analysis with String Analysis. APSEC (2007)
Takaaki Tateishi, Naoshi Tabuchi
Secure Behavior of Web Browsers to Prevent Information Leakages. APSEC (2007)
Kouichi Ono, Yuichi Nakamura, Fumiko Satoh, Takaaki Tateishi
Verifying the Consistency of Security Policies by Abstracting into Security Types. ICWS (2007)
Takaaki Tateishi, Hisashi Miyashita, Kouichi Ono, Shin Saito
Automated Verification Tool for DHTML. ASE (2006)
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
An Axiomatic Formalization of UML Models. pUML (2001)