KATAYAMA Tetsuro

J-GLOBAL         Last updated: Apr 4, 2019 at 02:40
 
Avatar
Name
KATAYAMA Tetsuro
E-mail
katcs.miyazaki-u.ac.jp
Affiliation
University of Miyazaki
Section
Engineering educational research section Department of Computer Science and Systems Engineering
Job title
Professor

Research Interests

 
 

Academic & Professional Experience

 
Jun 2018
 - 
Today
Professor, Engineering educational research section Department of Computer Science and Systems Engineering, University of Miyazaki
 
Apr 2012
 - 
May 2018
Associate Professor, Engineering educational research section Department of Computer Science and Systems Engineering, University of Miyazaki
 
Apr 2007
 - 
Mar 2012
Associate Professor, Faculty of Engineering Dept.of Computer Science and Systems Engineering, University of Miyazaki
 
Jul 2004
 - 
Mar 2007
University of Miyazaki
 
Oct 2000
 - 
Mar 2007
Associate Professor (as old post name), Faculty of Engineering Dept.of Computer Science and Systems Engineering Industrial information system course, University of Miyazaki
 
Apr 1996
 - 
Sep 2000
Research Assistant, Nara Institute of Science and Technology
 

Education

 
 
 - 
Mar 1996
Graduate School, Division of Engineering, Kyushu University
 
 
 - 
Mar 1991
Faculty of Engineering, Kyushu University
 

Published Papers

 
Negative Test Case Generation from an Extended Place/Transition Net-Based Mutants
T. Takagi and T. Katayama
Proc. 2018 Int’l Conf. on Artifical Life and Robotics (ICAROB2018)   513-516   Feb 2018   [Refereed]
Implementation of RETUSS to Ensure Traceability between Class Diagram in UML and Java Source Code in Real Time
K. Mori, T. Katayama, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proc. 2018 Int’l Conf. on Artifical Life and Robotics (ICAROB2018)   522-525   Feb 2018   [Refereed]
Prototype of a Tool to Defect Specific Comments
S. Tanoue, T. Katayama, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proc. 2018 Int’l Conf. on Artifical Life and Robotics (ICAROB2018)   526-529   Feb 2018   [Refereed]
A study on user identification method using cross-correlation and SVM to realize an authentication system by s-EMG
T. Kurogi, H. Yamaba, K. Aburada, T. Katayama, M. Park, and N. Okazaki
The 23rd International Sysmposium on Artifical Life and Robotics 2018 (AROB 23rd 2018)   462-467   Jan 2018   [Refereed]
Introduction of traffic characteristics to distinguish legitimate user traffic from DDoS attack traffic
Y. Arikawa, H. Yamaba, K. Aburada, T. Katayama, M. Park, and N. Okazaki
The 23rd International Sysmposium on Artifical Life and Robotics 2018 (AROB 23rd 2018)   484-489   Jan 2018   [Refereed]

Conference Activities & Talks

 
Prototype of Generating a Decision Table from Formal Specification and its Application Examples
K. Nishikawa and T. Katayama
ISEE Symposia Series International Symposium on Practical Formal Approaches to Software Development   31 Oct 2014   Research Center for Architecture-Oriented Formal Methods, Kyushu University

Research Grants & Projects

 
Architecture Oriented Formal Approaches to High Quality Software Development
Japan Society for the Promotion of Science: Grants-in-Aid for Scientific Research
Project Year: Apr 2012 - Mar 2017