TOP Page >  Faculty List by School >  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
  • Simple Synthesis of Reactive Systems with Tolerance for Unexpected Environmental Behavior,Shigeki Hagihara, Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Naoki Yonezaki,Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE '16),pp. 15-21,2016
  • An Efficient Implementation of Satisfiability Checking for LTL with Mean-Payoff Constraints,Takashi Tomita, Takahito Kimura, Shigeki Hagihara, Naoki Yonezaki,Workshop on Computation: Theory and Practice 2014 (WCTP 2014),2014 (To be published)

Display All

◇Lectures and Presentations

  • A Temporal Logic with Mean-Payoff Constraints,Takashi Tomita, Shin Hiura, Shigeki Hagihara, Naoki Yonezaki,14th International Conference on Formal Engineering Methods (ICFEM 2012),Kyoto, Japan,2012
  • A Formal Ontology of Interactions with Intensional Quantitative Semantics,Takashi Tomita, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki,Workshop on Computation: Theory and Practice 2012 (WCTP2012),De La Salle University, Manila, Philippines,2012
  • Probabilistic Temporal Logic with Frequency Operators and Its Model Checking,Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki,13th International Workshop on Verification of Infinite-State Systems (INFINITY'11),Taipei, Taiwan,2011

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 2017 (8th International Conference on Bioinformatics Models, Methods and Algorithms),PC member
  • BIOINFORMATICS 2016 (7th International Conference on Bioinformatics Models, Methods and Algorithms),PC member

■Academic Awards Received

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