Faculty Members

LANGUAGE ≫ Japanese

Associate 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 1997: Doctor
Professional background 2001-2007: 
Academic societies

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


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

Undergraduate school
  • Information Science 2
  • Software Engineering
  • Laboratory Work on Information Technology 2
  • 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: 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. Authors: Jun Noda, Mie Takahashi, Itaru Hosomi, Hisashi Mouri, Yoshiaki Takata, Hiroyuki Seki
    Title: Integrating Presence Inference into Trust Management for Ubiquitous Systems
    Journal: 11th ACM Symposium on Access Control Models and Technologies (SACMAT 2006), pp. 59-68
    Year: 2006
  11. 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
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

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.