Tetsuro Katayama

According to our database, Tetsuro Katayama authored at least 73 papers between 1995 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Tsunami evacuation simulation considering road width in Aoshima district.

Keita Nabeyama, Shotaro Usuzaki, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Naonobu Okazaki

Artif. Life Robotics, November, 2023

Development of keypads which use colors or shapes to prevent shoulder surfing.

Ryo Masuzawa, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Naonobu Okazaki

Artif. Life Robotics, November, 2023

2022

Correction to: Proposal and evaluation for color constancy CAPTCHA.

Shotaro Usuzaki, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Masayuki Mukunoki, Mirang Park, Naonobu Okazaki

Artif. Life Robotics, 2022

Proposal for a blockchain based agricultural input voucher system.

Isakwisa Gaddy Tende, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Naonobu Okazaki

Artif. Life Robotics, 2022

Demonstration of All-Optical Ultrafast Switching, Using High-Quality Graphene.

Tomoki Kusaka, Akihiro Furube, Tetsuro Katayama, Hiroki Kishikawa, Yasuhide Ohno, Masao Nagase, Junichi Fujikata

Proceedings of the 2022 27th OptoElectronics and Communications Conference (OECC) and 2022 International Conference on Photonics in Switching and Computing (PSC), 2022

2021

Measuring Test Suite Reusability Based on the Usage Frequency and Coverage of Reused Test Cases.

Mochamad Chandra Saputra, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki

J. Robotics Netw. Artif. Life, 2021

Measuring Redundancy Score for Test Suite Evaluation by Using Test Cases Matching Approach.

Mochamad Chandra Saputra, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki

J. Robotics Netw. Artif. Life, 2021

Utilizing the Similarity Meaning of Label in Class Cohesion Calculation.

Bayu Priyambadha, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Nanoubu Okazaki

J. Robotics Netw. Artif. Life, 2021

Proposal and evaluation for color constancy CAPTCHA.

Shotaro Usuzaki, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Masayuki Mukunoki, Mirang Park, Naonobu Okazaki

Artif. Life Robotics, 2021

Development and Evaluation of Swahili Text Based CAPTCHA.

Isakwisa Gaddy Tende, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Naonobu Okazaki

Proceedings of the 3rd IEEE Global Conference on Life Sciences and Technologies, 2021

Performance Evaluation of Blockchain Based Agricultural Input Voucher System.

Isakwisa Gaddy Tende, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Naonobu Okazaki

Proceedings of the 10th IEEE Global Conference on Consumer Electronics, 2021

2020

Proposal of an Algorithm to Generate VDM++ Specification Based on its Grammar by Using Word Lists Extracted from the Natural Language Specification.

Tetsuro Katayama, Yasuhiro Shigyo, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki

J. Robotics Netw. Artif. Life, 2020

On a user authentication method to realise an authentication system using s-EMG.

Hisaaki Yamaba, Shotaro Usuzaki, Kayoko Takatsuka, Kentaro Aburada, Tetsuro Katayama, Mirang Park, Naonobu Okazaki

Int. J. Grid Util. Comput., 2020

Proposal of an Approach to Generate VDM++ Specifications from Natural Language Specification by Machine Learning.

Yasuhiro Shigyo, Tetsuro Katayama

Proceedings of the 9th IEEE Global Conference on Consumer Electronics, 2020

Code Coverage Similarity Measurement Using Machine Learning for Test Cases Minimization.

Mochamad Chandra Saputra, Tetsuro Katayama

Proceedings of the 9th IEEE Global Conference on Consumer Electronics, 2020

Tree-based Keyword Search Algorithm over the Visual Paradigm's Class Diagram XML to Abstracting Class Information.

Bayu Priyambadha, Tetsuro Katayama

Proceedings of the 9th IEEE Global Conference on Consumer Electronics, 2020

Identification of Manual Alphabets Based Gestures Using s-EMG for Realizing User Authentication.

Hisaaki Yamaba, Shotaro Usuzaki, Kayoko Takatsuka, Kentaro Aburada, Tetsuro Katayama, Mirang Park, Naonobu Okazaki

Proceedings of the Advances in Internet, 2020

Evaluation of Yubimoji Based Gestures for Realizing User Authentication Method Using s-EMG.

Hisaaki Yamaba, Yuki Nagatomo, Shotaro Usuzaki, Kayoko Takatsuka, Kentaro Aburada, Tetsuro Katayama, Mirang Park, Naonobu Okazaki

Proceedings of the Web, Artificial Intelligence and Network Applications, 2020

2019

Implementation of Arduino Simulator ADVIS Visualizing the Value of Voltage on the Circuit.

Tetsuro Katayama, Tatsumi Nishida, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki

J. Robotics Netw. Artif. Life, 2019

Implementation of Tamias to Check Production Rules for Parsing Expression Grammar.

Tetsuro Katayama, Toshihiro Miyaji, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki

J. Robotics Netw. Artif. Life, 2019

Application of Pairwise Testing into BWDM which is a Test Case Generation Tool for the VDM++ Specification.

Tetsuro Katayama, Futa Hirakoba, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki

J. Robotics Netw. Artif. Life, 2019

Use of access characteristics to distinguish legitimate user traffic from DDoS attack traffic.

Kentaro Aburada, Yuki Arikawa, Shotaro Usuzaki, Hisaaki Yamaba, Tetsuro Katayama, Mirang Park, Naonobu Okazaki

Artif. Life Robotics, 2019

State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing.

Tomohiko Takagi, Ryo Kurozumi, Tetsuro Katayama

Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing, 2019

Evaluation of Manual Alphabets Based Gestures for a User Authentication Method Using s-EMG.

Hisaaki Yamaba, Shotaro Usuzaki, Kayoko Takatsuka, Kentaro Aburada, Tetsuro Katayama, Mirang Park, Naonobu Okazaki

Proceedings of the Advances in Networked-based Information Systems, 2019

Blockchain-Based Malware Detection Method Using Shared Signatures of Suspected Malware Files.

Ryusei Fuji, Shotaro Usuzaki, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Mirang Park, Norio Shiratori, Naonobu Okazaki

Proceedings of the Advances in Networked-based Information Systems, 2019

Introduction of Fingerspelling for Realizing a User Authentication Method Using s-EMG.

Hisaaki Yamaba, Shimpei Inotani, Shotaro Usuzaki, Kayoko Takatsuka, Kentaro Aburada, Tetsuro Katayama, Mirang Park, Naonobu Okazaki

Proceedings of the Web, Artificial Intelligence and Network Applications, 2019

2018

RETUSS: Ensuring Traceability System between Class Diagram in UML and Java Source Code in Real Time.

Tetsuro Katayama, Keisuke Mori, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki

J. Robotics Netw. Artif. Life, 2018

On applying support vector machines to a user authentication method using surface electromyogram signals.

Hisaaki Yamaba, Tokiyoshi Kurogi, Kentaro Aburada, Shin-Ichiro Kubota, Tetsuro Katayama, Mirang Park, Naonobu Okazaki

Artif. Life Robotics, 2018

Evaluation of User Identification Methods for Realizing an Authentication System Using s-EMG.

Hisaaki Yamaba, Kentaro Aburada, Tetsuro Katayama, Mirang Park, Naonobu Okazaki

Proceedings of the Advances in Network-Based Information Systems, 2018

Interactive Video CAPTCHA for Better Resistance to Automated Attack.

Shotaro Usuzaki, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Masayuki Mukunoki, Mirang Park, Naonobu Okazaki

Proceedings of the Eleventh International Conference on Mobile Computing and Ubiquitous Network, 2018

An Examination of CAPTCHA for Tolerance of Relay Attacks and Automated Attacks.

Ryohei Tatsuda, Hisaaki Yamaba, Kentaro Aburada, Tetsuro Katayama, Mirang Park, Norio Shiratori, Naonobu Okazaki

Proceedings of the Advances in Internet, 2018

A Study on a User Identification Method Using Dynamic Time Warping to Realize an Authentication System by s-EMG.

Tokiyoshi Kurogi, Hisaaki Yamaba, Kentaro Aburada, Tetsuro Katayama, Mirang Park, Naonobu Okazaki

Proceedings of the Advances in Internet, 2018

Evaluation of Index Poisoning Method in Large Scale Winny Network.

Kentaro Aburada, Yoshihiro Kita, Hisaaki Yamaba, Tetsuro Katayama, Mirang Park, Naonobu Okazaki

Proceedings of the Advances in Internet, 2018

2017

Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example.

Tomohiko Takagi, Shogo Morimoto, Tetsuro Katayama

J. Robotics Netw. Artif. Life, 2017

BWDM: Test Cases Automatic Generation Tool Based on Boundary Value Analysis with VDM++.

Tetsuro Katayama, Hiroki Tachiyama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki

J. Robotics Netw. Artif. Life, 2017

Development of a Tool to Keep Consistency between a Model and a Source Code in Software Development Using MDA.

Tetsuro Katayama, Yuuki Kikkawa, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki

J. Robotics Netw. Artif. Life, 2017

Evaluation of feature values of surface electromyograms for user authentication on mobile devices.

Hisaaki Yamaba, Akitoshi Kurogi, Shin-Ichiro Kubota, Tetsuro Katayama, Mirang Park, Naonobu Okazaki

Artif. Life Robotics, 2017

Development of a Monitoring System Based on Power Consumption.

Kentaro Aburada, Kengo Todaka, Hisaaki Yamaba, Tetsuro Katayama, Mirang Park, Norio Shiratori, Naonobu Okazaki

Proceedings of the Advances in Network-Based Information Systems, 2017

2016

Business goals monitoring and control measures in CMMI.

Hnin Thandar Tun, Tetsuro Katayama, Kunihito Yamamori, Khine Khine Oo

Proceedings of the IEEE 5th Global Conference on Consumer Electronics, 2016

Automated lung nodule classification by artificial neural network and fuzzy inference system.

Khaing Zin Htwe, Kunihito Yamamori, Tetsuro Katayama, Tin Mar Kyi

Proceedings of the IEEE 5th Global Conference on Consumer Electronics, 2016

2015

An Authentication Method Independent of Tap Operation on the Touchscreen of a Mobile Device.

Hisaaki Yamaba, So Nagatomo, Kentaro Aburada, Shin-Ichiro Kubota, Tetsuro Katayama, Mirang Park, Naonobu Okazaki

J. Robotics Netw. Artif. Life, 2015

Code Coverage Visualization on Web-Based Testing Tool for Java Programs.

Mochamad Chandra Saputra, Tetsuro Katayama

J. Robotics Netw. Artif. Life, 2015

Prototype of a Supporting Tool to Generate Testing Communication Diagram.

Tetsuro Katayama, Seiya Urata, Yohei Ogata, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki

J. Robotics Netw. Artif. Life, 2015

Prototype of a Decision Table Generation Tool from the Formal Specification.

Tetsuro Katayama, Kenta Nishikawa, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki

J. Robotics Netw. Artif. Life, 2015

TFVIS: a Supporting Debugging Tool for Java Programs by Visualizing Data Transitions and Execution Flows.

Tetsuro Katayama, Hiroto Nakamura, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki

J. Robotics Netw. Artif. Life, 2015

Proposal of a Testing Method Using Similarity of Interleaving for Java Multi-threaded Programs.

Tetsuro Katayama, Shoichiro Kitano, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki

J. Robotics Netw. Artif. Life, 2015

Proposal of a Modification Method of a Source Code to Correspond with a Modified Model in MDA.

Tetsuro Katayama, Yuuki Kikkawa, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki

J. Robotics Netw. Artif. Life, 2015

Proposal and Its Evaluation of Neighbors Based Routing for ad hoc networks.

Kentaro Aburada, Hisaaki Yamaba, Shin-Ichiro Kubota, Tetsuro Katayama, Mirang Park, Naonobu Okazaki

J. Robotics Netw. Artif. Life, 2015

2014

Proposal of a Method to Build Markov Chain Usage Model from UML Diagrams for Communication Delay Testing in Distributed Systems.

Tetsuro Katayama, Zhijia Zhao, Yoshihiro Kita, Hisaaki Yamaba, Naonobu Okazaki

J. Robotics Netw. Artif. Life, 2014

Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification.

Tetsuro Katayama, Kenta Nishikawa, Yoshihiro Kita, Hisaaki Yamaba, Naonobu Okazaki

J. Robotics Netw. Artif. Life, 2014

Proposal of a Visualizing Method of Data Transitions to Support Debugging for Java Programs.

Tetsuro Katayama, Hiroto Nakamura, Yoshihiro Kita, Hisaaki Yamaba, Naonobu Okazaki

J. Robotics Netw. Artif. Life, 2014

Proposal of a Supporting Method for Debugging to Reproduce Java Multi-threaded Programs by Petri-net.

Tetsuro Katayama, Shoichiro Kitano, Yoshihiro Kita, Hisaaki Yamaba, Naonobu Okazaki

J. Robotics Netw. Artif. Life, 2014

2013

A Conversion Method from an ETSC to a Timed Petri Net to Improve the Matrix-based Discrete Event Controller and its Unified Support System.

Hisaaki Yamaba, Shoichiro Kitano, Kayoko Takatsuka, Tetsuro Katayama, Naonobu Okazaki, Shigeyuki Tomita

Proceedings of the 17th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, 2013

Proposal of Testing Diagrams for Visualizing Test Cases.

Seiya Urata, Tetsuro Katayama

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Combinatorial Test Architecture Design Using Viewpoint Diagram.

Yasuharu Nishi, Tetsuro Katayama, Satomi Yoshizawa

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2011

An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix.

Weiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda

IEICE Trans. Inf. Syst., 2011

An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix.

Weiqiang Kong, Noriyuki Katahira, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda

Proceedings of the International Conference on Computational Science and Its Applications, 2011

Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking.

Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

Model Checking of Software Design in State Transition Matrix.

Tomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira, Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda

Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

2007

Implementation and Evaluation of an Automatic Visualization Tool "PGT" for Programming Education.

Yoshihiro Kita, Tetsuro Katayama, Shigeyuki Tomita

Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007

2005

Extraction of Transformation Rules from UML Diagrams to SpecC.

Tetsuro Katayama

IEICE Trans. Inf. Syst., 2005

Prototype of an Automatic Visualization Tool for Java to Educate Novice Programmers.

Yoshihiro Kita, Takanori Kawasoe, Tetsuro Katayama

Proceedings of the IASTED International Conference on Software Engineering, 2005

Proposal of a Method to Support Testing for Java Programs with UML.

Tetsuro Katayama, Yusuke Yabuya

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2002

Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML.

Tetsuro Katayama

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2000

Memory Conscious Scheduling for Cluster-based NUMA Multiprocessors.

Takahiro Koita, Tetsuro Katayama, Keizo Saisho, Akira Fukuda

J. Supercomput., 2000

Performance Evaluation of Home-Cluster Based Scheduling for NUMA Multiprocessors.

Takahiro Koita, Tetsuro Katayama, Keizo Saisho, Akira Fukuda

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

1999

Home-cluster Based Processor Scheduling with Page Placement for NUMA Multiprocessors.

Takahiro Koita, Tetsuro Katayama, Keizo Saisho, Akira Fukuda

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Proposal of a Support System for Device Driver Generation.

Tetsuro Katayama, Keizo Saisho, Akira Fukuda

Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

Generating a Device Driver with a Formal Specification Language.

Tetsuro Katayama, Keizo Saisho, Akira Fukuda

Proceedings of the 17th IASTED International Conference on Applied Informatics, 1999

1998

Design and Implementation of Test-Case Generation for Concurrent Programs.

Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima

Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998

1997

A Test-case Generation Method for Concurrent Programs Including Task-types.

Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

1996

A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph.

Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima

Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

1995

Event Interactions Graph for Test-case Generation of Concurrent Programs.

Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima

Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995