Tetsuro Katayama

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 40

Top Topics

User Authentication

Top Venues

J. Robotics Netw. Artif. Life

Artif. Life Robotics

Publications

Keita Nabeyama, Shotaro Usuzaki, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Naonobu Okazaki
Tsunami evacuation simulation considering road width in Aoshima district. Artif. Life Robotics 28 (4) (2023)
Ryo Masuzawa, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Naonobu Okazaki
Development of keypads which use colors or shapes to prevent shoulder surfing. Artif. Life Robotics 28 (4) (2023)
Shotaro Usuzaki, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Masayuki Mukunoki, Mirang Park, Naonobu Okazaki
Correction to: Proposal and evaluation for color constancy CAPTCHA. Artif. Life Robotics 27 (1) (2022)
Isakwisa Gaddy Tende, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Naonobu Okazaki
Proposal for a blockchain based agricultural input voucher system. Artif. Life Robotics 27 (3) (2022)
Tomoki Kusaka, Akihiro Furube, Tetsuro Katayama, Hiroki Kishikawa, Yasuhide Ohno, Masao Nagase, Junichi Fujikata
Demonstration of All-Optical Ultrafast Switching, Using High-Quality Graphene. OECC/PSC (2022)
Mochamad Chandra Saputra, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Measuring Redundancy Score for Test Suite Evaluation by Using Test Cases Matching Approach. J. Robotics Netw. Artif. Life 8 (1) (2021)
Isakwisa Gaddy Tende, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Naonobu Okazaki
Performance Evaluation of Blockchain Based Agricultural Input Voucher System. GCCE (2021)
Isakwisa Gaddy Tende, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Naonobu Okazaki
Development and Evaluation of Swahili Text Based CAPTCHA. LifeTech (2021)
Bayu Priyambadha, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Nanoubu Okazaki
Utilizing the Similarity Meaning of Label in Class Cohesion Calculation. J. Robotics Netw. Artif. Life 7 (4) (2021)
Shotaro Usuzaki, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Masayuki Mukunoki, Mirang Park, Naonobu Okazaki
Proposal and evaluation for color constancy CAPTCHA. Artif. Life Robotics 26 (3) (2021)
Mochamad Chandra Saputra, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Measuring Test Suite Reusability Based on the Usage Frequency and Coverage of Reused Test Cases. J. Robotics Netw. Artif. Life 8 (1) (2021)
Hisaaki Yamaba, Yuki Nagatomo, Shotaro Usuzaki, Kayoko Takatsuka, Kentaro Aburada, Tetsuro Katayama, Mirang Park, Naonobu Okazaki
Evaluation of Yubimoji Based Gestures for Realizing User Authentication Method Using s-EMG. AINA Workshops (2020)
Hisaaki Yamaba, Shotaro Usuzaki, Kayoko Takatsuka, Kentaro Aburada, Tetsuro Katayama, Mirang Park, Naonobu Okazaki
Identification of Manual Alphabets Based Gestures Using s-EMG for Realizing User Authentication. EIDWT (2020)
Hisaaki Yamaba, Shotaro Usuzaki, Kayoko Takatsuka, Kentaro Aburada, Tetsuro Katayama, Mirang Park, Naonobu Okazaki
On a user authentication method to realise an authentication system using s-EMG. Int. J. Grid Util. Comput. 11 (5) (2020)
Mochamad Chandra Saputra, Tetsuro Katayama
Code Coverage Similarity Measurement Using Machine Learning for Test Cases Minimization. GCCE (2020)
Yasuhiro Shigyo, Tetsuro Katayama
Proposal of an Approach to Generate VDM++ Specifications from Natural Language Specification by Machine Learning. GCCE (2020)
Tetsuro Katayama, Yasuhiro Shigyo, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Proposal of an Algorithm to Generate VDM++ Specification Based on its Grammar by Using Word Lists Extracted from the Natural Language Specification. J. Robotics Netw. Artif. Life 7 (3) (2020)
Bayu Priyambadha, Tetsuro Katayama
Tree-based Keyword Search Algorithm over the Visual Paradigm's Class Diagram XML to Abstracting Class Information. GCCE (2020)
Tetsuro Katayama, Toshihiro Miyaji, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Implementation of Tamias to Check Production Rules for Parsing Expression Grammar. J. Robotics Netw. Artif. Life 6 (2) (2019)
Kentaro Aburada, Yuki Arikawa, Shotaro Usuzaki, Hisaaki Yamaba, Tetsuro Katayama, Mirang Park, Naonobu Okazaki
Use of access characteristics to distinguish legitimate user traffic from DDoS attack traffic. Artif. Life Robotics 24 (3) (2019)
Tetsuro Katayama, Futa Hirakoba, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Application of Pairwise Testing into BWDM which is a Test Case Generation Tool for the VDM++ Specification. J. Robotics Netw. Artif. Life 6 (3) (2019)
Tomohiko Takagi, Ryo Kurozumi, Tetsuro Katayama
State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing. PRDC (2019)
Hisaaki Yamaba, Shotaro Usuzaki, Kayoko Takatsuka, Kentaro Aburada, Tetsuro Katayama, Mirang Park, Naonobu Okazaki
Evaluation of Manual Alphabets Based Gestures for a User Authentication Method Using s-EMG. NBiS (2019)
Ryusei Fuji, Shotaro Usuzaki, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Mirang Park, Norio Shiratori, Naonobu Okazaki
Blockchain-Based Malware Detection Method Using Shared Signatures of Suspected Malware Files. NBiS (2019)
Hisaaki Yamaba, Shimpei Inotani, Shotaro Usuzaki, Kayoko Takatsuka, Kentaro Aburada, Tetsuro Katayama, Mirang Park, Naonobu Okazaki
Introduction of Fingerspelling for Realizing a User Authentication Method Using s-EMG. AINA Workshops (2019)
Tetsuro Katayama, Tatsumi Nishida, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Implementation of Arduino Simulator ADVIS Visualizing the Value of Voltage on the Circuit. J. Robotics Netw. Artif. Life 5 (4) (2019)
Shotaro Usuzaki, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Masayuki Mukunoki, Mirang Park, Naonobu Okazaki
Interactive Video CAPTCHA for Better Resistance to Automated Attack. ICMU (2018)
Hisaaki Yamaba, Kentaro Aburada, Tetsuro Katayama, Mirang Park, Naonobu Okazaki
Evaluation of User Identification Methods for Realizing an Authentication System Using s-EMG. NBiS (2018)
Ryohei Tatsuda, Hisaaki Yamaba, Kentaro Aburada, Tetsuro Katayama, Mirang Park, Norio Shiratori, Naonobu Okazaki
An Examination of CAPTCHA for Tolerance of Relay Attacks and Automated Attacks. EIDWT (2018)
Hisaaki Yamaba, Tokiyoshi Kurogi, Kentaro Aburada, Shin-Ichiro Kubota, Tetsuro Katayama, Mirang Park, Naonobu Okazaki
On applying support vector machines to a user authentication method using surface electromyogram signals. Artif. Life Robotics 23 (1) (2018)
Kentaro Aburada, Yoshihiro Kita, Hisaaki Yamaba, Tetsuro Katayama, Mirang Park, Naonobu Okazaki
Evaluation of Index Poisoning Method in Large Scale Winny Network. EIDWT (2018)
Tetsuro Katayama, Keisuke Mori, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
RETUSS: Ensuring Traceability System between Class Diagram in UML and Java Source Code in Real Time. J. Robotics Netw. Artif. Life 5 (2) (2018)
Tokiyoshi Kurogi, Hisaaki Yamaba, Kentaro Aburada, Tetsuro Katayama, Mirang Park, Naonobu Okazaki
A Study on a User Identification Method Using Dynamic Time Warping to Realize an Authentication System by s-EMG. EIDWT (2018)
Tetsuro Katayama, Hiroki Tachiyama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
BWDM: Test Cases Automatic Generation Tool Based on Boundary Value Analysis with VDM++. J. Robotics Netw. Artif. Life 4 (2) (2017)
Hisaaki Yamaba, Akitoshi Kurogi, Shin-Ichiro Kubota, Tetsuro Katayama, Mirang Park, Naonobu Okazaki
Evaluation of feature values of surface electromyograms for user authentication on mobile devices. Artif. Life Robotics 22 (1) (2017)
Kentaro Aburada, Kengo Todaka, Hisaaki Yamaba, Tetsuro Katayama, Mirang Park, Norio Shiratori, Naonobu Okazaki
Development of a Monitoring System Based on Power Consumption. NBiS (2017)
Tetsuro Katayama, Yuuki Kikkawa, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Development of a Tool to Keep Consistency between a Model and a Source Code in Software Development Using MDA. J. Robotics Netw. Artif. Life 3 (4) (2017)
Tomohiko Takagi, Shogo Morimoto, Tetsuro Katayama
Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example. J. Robotics Netw. Artif. Life 4 (2) (2017)
Hnin Thandar Tun, Tetsuro Katayama, Kunihito Yamamori, Khine Khine Oo
Business goals monitoring and control measures in CMMI. GCCE (2016)
Khaing Zin Htwe, Kunihito Yamamori, Tetsuro Katayama, Tin Mar Kyi
Automated lung nodule classification by artificial neural network and fuzzy inference system. GCCE (2016)
Tetsuro Katayama, Hiroto Nakamura, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
TFVIS: a Supporting Debugging Tool for Java Programs by Visualizing Data Transitions and Execution Flows. J. Robotics Netw. Artif. Life 2 (3) (2015)
Tetsuro Katayama, Kenta Nishikawa, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Prototype of a Decision Table Generation Tool from the Formal Specification. J. Robotics Netw. Artif. Life 2 (3) (2015)
Tetsuro Katayama, Yuuki Kikkawa, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Proposal of a Modification Method of a Source Code to Correspond with a Modified Model in MDA. J. Robotics Netw. Artif. Life 2 (2) (2015)
Mochamad Chandra Saputra, Tetsuro Katayama
Code Coverage Visualization on Web-Based Testing Tool for Java Programs. J. Robotics Netw. Artif. Life 2 (2) (2015)
Hisaaki Yamaba, So Nagatomo, Kentaro Aburada, Shin-Ichiro Kubota, Tetsuro Katayama, Mirang Park, Naonobu Okazaki
An Authentication Method Independent of Tap Operation on the Touchscreen of a Mobile Device. J. Robotics Netw. Artif. Life 2 (1) (2015)
Kentaro Aburada, Hisaaki Yamaba, Shin-Ichiro Kubota, Tetsuro Katayama, Mirang Park, Naonobu Okazaki
Proposal and Its Evaluation of Neighbors Based Routing for ad hoc networks. J. Robotics Netw. Artif. Life 2 (2) (2015)
Tetsuro Katayama, Seiya Urata, Yohei Ogata, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Prototype of a Supporting Tool to Generate Testing Communication Diagram. J. Robotics Netw. Artif. Life 2 (1) (2015)
Tetsuro Katayama, Shoichiro Kitano, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Proposal of a Testing Method Using Similarity of Interleaving for Java Multi-threaded Programs. J. Robotics Netw. Artif. Life 1 (4) (2015)
Tetsuro Katayama, Hiroto Nakamura, Yoshihiro Kita, Hisaaki Yamaba, Naonobu Okazaki
Proposal of a Visualizing Method of Data Transitions to Support Debugging for Java Programs. J. Robotics Netw. Artif. Life 1 (2) (2014)
Tetsuro Katayama, Kenta Nishikawa, Yoshihiro Kita, Hisaaki Yamaba, Naonobu Okazaki
Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification. J. Robotics Netw. Artif. Life 1 (3) (2014)
Tetsuro Katayama, Shoichiro Kitano, Yoshihiro Kita, Hisaaki Yamaba, Naonobu Okazaki
Proposal of a Supporting Method for Debugging to Reproduce Java Multi-threaded Programs by Petri-net. J. Robotics Netw. Artif. Life 1 (3) (2014)
Tetsuro Katayama, Zhijia Zhao, Yoshihiro Kita, Hisaaki Yamaba, Naonobu Okazaki
Proposal of a Method to Build Markov Chain Usage Model from UML Diagrams for Communication Delay Testing in Distributed Systems. J. Robotics Netw. Artif. Life 1 (2) (2014)
Seiya Urata, Tetsuro Katayama
Proposal of Testing Diagrams for Visualizing Test Cases. ICST (2013)
Hisaaki Yamaba, Shoichiro Kitano, Kayoko Takatsuka, Tetsuro Katayama, Naonobu Okazaki, Shigeyuki Tomita
A Conversion Method from an ETSC to a Timed Petri Net to Improve the Matrix-based Discrete Event Controller and its Unified Support System. KES (2013)
Yasuharu Nishi, Tetsuro Katayama, Satomi Yoshizawa
Combinatorial Test Architecture Design Using Viewpoint Diagram. ICST Workshops (2013)
Weiqiang Kong, Noriyuki Katahira, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda
An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix. ICCSA Workshops (2011)
Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda
Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. APSEC (2011)
Weiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda
An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix. IEICE Trans. Inf. Syst. (5) (2011)
Tomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira, Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda
Model Checking of Software Design in State Transition Matrix. Software Engineering Research and Practice (2010)
Yoshihiro Kita, Tetsuro Katayama, Shigeyuki Tomita
Implementation and Evaluation of an Automatic Visualization Tool "PGT" for Programming Education. SERA (2007)
Tetsuro Katayama, Yusuke Yabuya
Proposal of a Method to Support Testing for Java Programs with UML. APSEC (2005)
Tetsuro Katayama
Extraction of Transformation Rules from UML Diagrams to SpecC. IEICE Trans. Inf. Syst. (6) (2005)
Yoshihiro Kita, Takanori Kawasoe, Tetsuro Katayama
Prototype of an Automatic Visualization Tool for Java to Educate Novice Programmers. IASTED Conf. on Software Engineering (2005)
Tetsuro Katayama
Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML. APSEC (2002)
Takahiro Koita, Tetsuro Katayama, Keizo Saisho, Akira Fukuda
Performance Evaluation of Home-Cluster Based Scheduling for NUMA Multiprocessors. PDPTA (2000)
Takahiro Koita, Tetsuro Katayama, Keizo Saisho, Akira Fukuda
Memory Conscious Scheduling for Cluster-based NUMA Multiprocessors. J. Supercomput. 16 (3) (2000)
Takahiro Koita, Tetsuro Katayama, Keizo Saisho, Akira Fukuda
Home-cluster Based Processor Scheduling with Page Placement for NUMA Multiprocessors. PDPTA (1999)
Tetsuro Katayama, Keizo Saisho, Akira Fukuda
Generating a Device Driver with a Formal Specification Language. Applied Informatics (1999)
Tetsuro Katayama, Keizo Saisho, Akira Fukuda
Proposal of a Support System for Device Driver Generation. APSEC (1999)
Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima
Design and Implementation of Test-Case Generation for Concurrent Programs. APSEC (1998)
Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima
A Test-case Generation Method for Concurrent Programs Including Task-types. APSEC (1997)
Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima
A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph. APSEC (1996)
Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima
Event Interactions Graph for Test-case Generation of Concurrent Programs. APSEC (1995)