Takaaki Tateishi

According to our database, Takaaki Tateishi authored at least 17 papers between 2001 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Matching of Descriptive Labels to Glossary Descriptions.

Toshihiro Takahashi, Takaaki Tateishi, Michiaki Tatsubori

CoRR, 2023

Unleashing the Potential of Data Lakes with Semantic Enrichment Using Foundation Models.

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

Proceedings of the ISWC 2023 Posters, 2023

Datetime Feature Recommendation Using Textual Information.

Satoshi Masuda, Takaaki Tateishi, Toshihiro Takahashi

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023

2022

Semantic Feature Discovery with Code Mining and Semantic Type Detection.

Kavitha Srinivas, Takaaki Tateishi, Daniel Karl I. Weidele, Udayan Khurana, Horst Samulowitz, Toshihiro Takahashi, Dakuo Wang, Lisa Amini

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2019

Automatic smart contract generation using controlled natural language and template.

Takaaki Tateishi, Sachiko Yoshihama, Naoto Sato, Shin Saito

IBM J. Res. Dev., 2019

2018

Formal Requirement Enforcement on Smart Contracts Based on Linear Dynamic Logic.

Naoto Sato, Takaaki Tateishi, Shunichi Amano

Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

2016

Editor's Meesage to Special Issue on Software Engineering.

Takaaki Tateishi

J. Inf. Process., 2016

2013

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

Takaaki Tateishi, Marco Pistoia, Omer Tripp

ACM Trans. Softw. Eng. Methodol., 2013

2011

Static discovery and remediation of code-embedded resource dependencies.

Nikolai Joukov, Vasily Tarasov, Joel Ossher, Birgit Pfitzmann, Sergej Chicherin, Marco Pistoia, Takaaki Tateishi

Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management, 2011

2009

Information-Flow-Based Access Control for Web Browsers.

Sachiko Yoshihama, Takaaki Tateishi, Naoshi Tabuchi, Tsutomu Matsumoto

IEICE Trans. Inf. Syst., 2009

Modular string-sensitive permission analysis with demand-driven precision.

Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, Julian Dolby

Proceedings of the 31st International Conference on Software Engineering, 2009

2007

Verifying the Consistency of Security Policies by Abstracting into Security Types.

Kouichi Ono, Yuichi Nakamura, Fumiko Satoh, Takaaki Tateishi

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

DHTML Accessibility Checking Based on Static JavaScript Analysis.

Takaaki Tateishi, Hisashi Miyashita, Naoshi Tabuchi, Shin Saito, Kouichi Ono

Proceedings of the Universal Access in Human-Computer Interaction. Applications and Services, 2007

Secure Behavior of Web Browsers to Prevent Information Leakages.

Takaaki Tateishi, Naoshi Tabuchi

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

Reducing Unnecessary Conservativeness in Access Rights Analysis with String Analysis.

Mika Koganeyama, Naoshi Tabuchi, Takaaki Tateishi

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

Automated Verification Tool for DHTML.

Takaaki Tateishi, Hisashi Miyashita, Kouichi Ono, Shin Saito

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

2001

An Axiomatic Formalization of UML Models.

Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama

Proceedings of the Practical UML-Based Rigorous Development Methods, 2001