Faculty Members

Professor
TAKATA, Yoshiaki

Ph.D., Osaka University, Japan, 1997

Year of birth: 1969
Gender: Male
Affiliation:

- School of Informatics
- Information Systems Engineering Course, Department of Engineering, Graduate School of Enginering
- Infomatics Course, Department of Engineering, Graduate School of Enginering
researchmap： https://researchmap.jp/read0119489

Areas of specialization	Software verification and analysis
Laboratory/research office	Software Verification and Analysis Laboratory As computers are more widely utilized, defects of the software come to have great influence on our daily life. Software that seems to have no defect may sometimes cause a trouble when several rare events occur simultaneously. In this laboratory, we study methodologies for verifying the correctness of software as well as specification languages for software system suitable for logical verification.
Current research topics	Model checking of programs with language-based access control Access control models for XML databases
Educational background
Professional background
Licenses
Academic societies

You can see the continuation of the table with a side swipe.

Courses

* Courses provided in English are shown with (E) mark

Undergraduate school	Software Engineering Laboratory Work on Information Technology 2 Seminars on the School of Information Project Research 1 Graduation Thesis Project Research 2 Project Research 3 Software Engineering Project Outline of Engineering
Graduate school	Individual Work for Graduate Advanced Seminar 1 Advanced Seminar 2 Theory of Computation Seminar on Infomatics I Seminar on Infomatics II

You can see the continuation of the table with a side swipe.

Research activities

Research papers	Authors: So Koide, Yoshiaki Takata, Hiroyuki Seki Title: Non-Cooperative Rational Synthesis Problem on Stochastic Games for Positional Strategies Journal: IEICE Transactions on Information and Systems, Vol. E107-D, No. 3, The Institute of the Electronics, Information and Communication Engineers Year: 2024 Authors: Yoshiaki Takata, Akira Onishi, Ryoma Senda, Hiroyuki Seki Title: A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata Journal: IEICE Transactions on Information and Systems, Vol. E106-D, No. 3, pp. 294-302 Year: 2023 Authors: Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki Title: Pumping Lemmas for Languages Expressed by Computational Models with Registers Journal: IEICE Transactions on Information and Systems, Vol. E106-D, No. 3, pp. 284-293 Year: 2023 Authors: Yoshiaki Takata, Ryoma Senda, Hiroyuki Seki Title: Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking Journal: IEICE Transactions on Information and Systems, Vol. E105-D, No. 9, pp. 1620-1623, The Institute of Electronics, Information and Communication Engineers Year: 2022 Authors: Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki Title: Complexity Results on Register Context-Free Grammars and Related Formalisms Journal: Theoretical Computer Science, Vol. 923, pp. 99-125, Elsevier Year: 2022 Authors: Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki Title: LTL Model Checking for Register Pushdown Systems Journal: IEICE Transactions on Information and Systems, Vol. E104-D, No. 12, pp. 2131-2144, The Institute of Electronics, Information and Communication Engineers Year: 2021 Authors: Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki Title: Forward Regularity Preservation Property of Register Pushdown Systems Journal: IEICE Transactions on Information and Systems, Vol. E104-D, No. 3, pp. 370-380, The Institute of Electronics, Information and Communication Engineers Year: 2021 Authors: Hiroyuki Seki, Reo Yoshimura, Yoshiaki Takata Title: Optimal Run Problem for Weighted Register Automata Journal: Theoretical Computer Science, Vol. 850, pp. 185-201, Elsevier Year: 2021 Authors: Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki Title: Generalized Register Context-Free Grammars Journal: IEICE Transactions on Information and Systems, Vol. E103-D, No. 3, pp. 540-548, The Institute of Electronics, Information and Communication Engineers Year: 2020 Authors: LAMILLA ALVAREZ Pablo, TAKATA Yoshiaki Title: A Formal Verification of a Subset of Information-Based Access Control Based on Extended Weighted Pushdown System Journal: IEICE Transactions on Information and Systems, Vol. E97-D, No. 5, pp. 1149-1159 Year: 2014 Authors: Yoshiaki Takata, Hiroyuki Seki Title: Automatic Generation of History-Based Access Control from Information Flow Specification Journal: 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), Lecture Notes in Computer Science 6252, pp. 259-275 Year: 2010 Authors: Yoshiaki Takata, Hiroyuki Seki Title: Comparison of the Expressive Power of Language-based Access Control Models Journal: IEICE Transactions on Information and Systems, Vol. E92-D, No. 5, pp. 1033-1036 Year: 2009 Authors: Yoshiaki Takata, Hiroyuki Seki Title: Formal Language Theoretic Approach to the Disclosure Tree Strategy in Trust Negotiation Journal: IEICE Transactions on Information and Systems, Vol. E92-D, No. 2, pp. 200-210 Year: 2009 Authors: Hisashi Mohri, Ikuya Yasuda, Yoshiaki Takata, Hiroyuki Seki Title: New Certificate Chain Discovery Methods for Trust Establishment in Ad Hoc Networks and Their Evaluation Journal: 情報処理学会論文誌, Vol. 49, No. 1, pp. 362-374 Year: 2008 Authors: Isao Yagi, Yoshiaki Takata, Hiroyuki Seki Title: A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive Power Journal: IEICE Transactions on Information and Systems, Vol. E90-D, No. 5, pp. 799-807 Year: 2007 Authors: Jing Wang, Yoshiaki Takata, Hiroyuki Seki Title: HBAC: A Model for History-based Access Control and Its Model Checking Journal: 11th European Symposium On Research In Computer Security (ESORICS 2006), Lecture Notes in Computer Science 4189, pp. 263-278 Year: 2006 Authors: Isao Yagi, Yoshiaki Takata, Hiroyuki Seki Title: A Static Analysis using Tree Automata for XML Access Control Journal: コンピュータソフトウェア, Vol. 23, No. 3, pp. 51-65 Year: 2006
Awards	Best Paper Award, 16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019), 2019
Grants-in-Aid for Scientific Research from the Japanese government	Project title: Formal models for verifying multi-threaded recursive programs Category: Grant-in-Aid for Young Scientists (B) Project number: 21700045 Project period: 2009-2010 Total budget amount: 3,640,000 yen Keywords:

You can see the continuation of the table with a side swipe.

Social activities

You can see the continuation of the table with a side swipe.

About KUT

Outline
Faculty Members
KUT's Approach to Education
Facilities
- Kami Campus
- Eikokuji Campus
Campus Map
- Kami Campus
- Eikokuji Campus
Access
- Kami Campus
- Eikokuji Campus
Contact
- Contact Us