Faculty Members

LANGUAGE ≫ Japanese
takata-yoshiaki-2.jpg

Professor
TAKATA, Yoshiaki

Ph.D., Osaka University, Japan, 1997

  • Year of birth: 1969
  • Gender: Male
  • Affiliation:
    - School of Information
    - 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
  • Information Science 2
  • 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
  1. 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
    Year: 2023
  2. 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
    Year: 2023
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
Awards
  1. Best Paper Award, 16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019), 2019
Grants-in-Aid for Scientific Research from the Japanese government
  1. 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.