TOP Page >  Faculty List by Area >  Profile

Lab
情報研究棟IS Building II 2F
TEL:0761-51-1309
 

English

Full text / JAIST Repository

 

 

Takashi Tomita Assistant Professor
School of Information Science、Security and Networks Area

■Degrees

B.S. from Tokyo Institute of Technology (2007), M.S. from Tokyo Institute of Technology (2009), Ph.D. from Tokyo Institute of Technology (2013)

■Professional Career

Researcher at Granduate School of information science and Engineering of Tokyo Institute of Technology (2013)

■Specialties

Software Engineering, Formal Methods, Verification, Automated Synthesis, Quantitative Verification, Quantitative Synthesis

■Research Keywords

Logic, Automata, Reactive System, Model Checking, Specification Verification, Approximation Method

■Publications

◇Published Papers

  • Safraless LTL Synthesis Considering Maximal Realizability,Takashi Tomita, Atsushi Ueno, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki,Acta Informatica, Special Issue on Synthesis,Accepted on 20th Sept. 2016
  • A Characterization on Necessary Conditions of Realizability for Reactive System Specifications,Takashi Tomita, Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki,Workshop on Computation: Theory and Practice 2018 (WCTP2018),15 pages
  • 確率統計に基づいた故障木とテストによる機械学習システムの系統的評価手法,青木 利晃, 川上 大介, 千田 伸男, 冨田 尭,ソフトウェアエンジニアリングシンポジウム2018 (IPSJ/SIGSE Software Engineering Symposium (SES2018)),8 pages

Display All

◇Lectures and Presentations

  • Template-Based Monte-Carlo Test Generation for Simulink Models,Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki,Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'17 ),Seoul, South Korea,2018
  • A Characterization on Necessary Conditions of Realizability for Reactive System Specifications,Takashi Tomita, Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki,Workshop on Computation: Theory and Practice 2018 (WCTP2018),UP Professional Schools BGC, Manila, Philippines,2018
  • Randomized Test Generation Methods for Model-Based Control System Development,Takashi Tomita,The First Asian Symposium on Collaborative Software Engineering (ACSE 2017),Waseda University (Nishiwaseda Campus), Tokyo,2017

Display All

■Extramural Activities

◇Academic Society Affiliations

  • IEEE,Member,2015-
  • Japan Society for Bioinformatics,Member,2009-
  • Japan Society for Software Science and Technology,Member,2008-

◇Other Activities

  • BIOINFORMATICS 2019 (10th International Conference on Bioinformatics Models, Methods and Algorithms),PC member
  • BIOINFORMATICS 2018 (9th International Conference on Bioinformatics Models, Methods and Algorithms),PC member
  • BIOINFORMATICS 2017 (8th International Conference on Bioinformatics Models, Methods and Algorithms),PC member

Display All

■Academic Awards Received

  • FOSE Young Researcher Award,IEEE Computer Society Japan Chapter,2015