Tetsuro Katayama

发表

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

Hisaaki Yamaba, Kayoko Takatsuka, Naonobu Okazaki, 2020, Int. J. Grid Util. Comput..

Proposal of Testing Diagrams for Visualizing Test Cases

Tetsuro Katayama, Seiya Urata, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.

Improving Software Development in Business Operation Effectively Approached by CMMI

Kunihito Yamamori, Tetsuro Katayama, Tun Hnin Thandar, 2017 .

Extraction of Transformation Rules from UML Diagrams to SpecC

Tetsuro Katayama, 2005, IEICE Trans. Inf. Syst..

Implementation of CAPTCHA suitable for mobile devices

Masayuki Mukunoki, Hisaaki Yamaba, Naonobu Okazaki, 2019 .

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

Hisaaki Yamaba, Kayoko Takatsuka, Naonobu Okazaki, 2020, AINA Workshops.

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

Hisaaki Yamaba, Naonobu Okazaki, Tetsuro Katayama, 2016, Artificial Life and Robotics.

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

Hisaaki Yamaba, Naonobu Okazaki, Shotaro Usuzaki, 2019, Artificial Life and Robotics.

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

Hisaaki Yamaba, Naonobu Okazaki, Kentaro Aburada, 2018, NBiS.

Proposal of a support system for device driver generation

Akira Fukuda, Keizo Saisho, Tetsuro Katayama, 1999, Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99) (Cat. No.PR00509).

An examination of the interactive video CAPTCHA method to resist relay attack

Masayuki Mukunoki, Hisaaki Yamaba, Naonobu Okazaki, 2018 .

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

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2019, J. Robotics Netw. Artif. Life.

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

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2020 .

Implementation of RETUSS to Ensure Traceability between Class Diagram in UML and Java Source Code in Real Time

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2018 .

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

Hisaaki Yamaba, Naonobu Okazaki, Kentaro Aburada, 2015, J. Robotics Netw. Artif. Life.

Proposal of a Supporting Method for Debugging to Reproduce the Execution of Java Multi-threaded Programs with Petri-Net

Tetsuro Katayama, Shoichiro Kitano, 2014 .

Evaluation of Index Poisoning Method in Large Scale Winny Network

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2018, EIDWT.

Proposal of a supporting method for diagram generation with the transformation rules in UML

Tetsuro Katayama, 2002, Ninth Asia-Pacific Software Engineering Conference, 2002..

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

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2014, J. Robotics Netw. Artif. Life.

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

Hisaaki Yamaba, Kayoko Takatsuka, Naonobu Okazaki, 2020, EIDWT.

Automatically Business Decision Making System for Software Development by using CMMI

Kunihito Yamamori, Tetsuro Katayama, Khine Khine Oo, 2017 .

Abstraction and Generation System of Device Drivers for UNIX-like Oss

Akira Fukuda, Keizo Saisho, Tetsuro Katayama, 2000 .

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

Hisaaki Yamaba, Naonobu Okazaki, Kentaro Aburada, 2017, Artificial Life and Robotics.

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

Kunihito Yamamori, Tetsuro Katayama, Tin Mar Kyi, 2016, 2016 IEEE 5th Global Conference on Consumer Electronics.

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

Tomohiko Takagi, Ryo Kurozumi, Tetsuro Katayama, 2019, 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC).

CHAMSIN: CaptcHA by caMouflaged StrINg

Masayuki Mukunoki, Hisaaki Yamaba, Naonobu Okazaki, 2019 .

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

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2019, J. Robotics Netw. Artif. Life.

Heuristic Test Case Generation Technique Using Extended Place/Transition Nets

Tomohiko Takagi, Tetsuro Katayama, Akinori Akagi, 2017 .

Code Coverage Similarity Measurement Using Machine Learning for Test Cases Minimization

Tetsuro Katayama, Mochamad Chandra Saputra, T. Katayama, 2020, 2020 IEEE 9th Global Conference on Consumer Electronics (GCCE).

Development of a Monitoring System Based on Power Consumption

Norio Shiratori, Hisaaki Yamaba, Naonobu Okazaki, 2017, NBiS.

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

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2017, J. Robotics Netw. Artif. Life.

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

Hisaaki Yamaba, Naonobu Okazaki, Kentaro Aburada, 2015, J. Robotics Netw. Artif. Life.

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

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2014, J. Robotics Netw. Artif. Life.

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

Hisaaki Yamaba, Naonobu Okazaki, Kentaro Aburada, 2018, EIDWT.

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

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2018, J. Robotics Netw. Artif. Life.

Interactive Video CAPTCHA for Better Resistance to Automated Attack

Masayuki Mukunoki, Hisaaki Yamaba, Naonobu Okazaki, 2018, 2018 Eleventh International Conference on Mobile Computing and Ubiquitous Network (ICMU).

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, Kayoko Takatsuka, Naonobu Okazaki, 2013, KES.

Prototype of a Decision Table Generation Tool from the Formal Specification

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2015, J. Robotics Netw. Artif. Life.

Generating a Device Driver with a Formal Specification Language

Akira Fukuda, Keizo Saisho, Tetsuro Katayama, 1999, Applied Informatics.

Prototype of Test Cases Automatic Generation Tool BWDM Based on Boundary Value Analysis with VDM

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2017 .

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

Akira Fukuda, Keizo Saisho, Tetsuro Katayama, 1999, PDPTA.

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

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2014, J. Robotics Netw. Artif. Life.

A test-case generation method for concurrent programs including task-types

Zengo Furukawa, Tetsuro Katayama, Kazuo Ushijima, 1997, Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference.

An evaluation of the interactive video CAPTCHA method against automated attack

Masayuki Mukunoki, Hisaaki Yamaba, Naonobu Okazaki, 2019 .

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

Tetsuro Katayama, Yasuhiro Shigyo, 2020, 2020 IEEE 9th Global Conference on Consumer Electronics (GCCE).

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

Akira Fukuda, Tetsuro Katayama, Kenji Hisazumi, 2011, 2011 18th Asia-Pacific Software Engineering Conference.

Proposal of a method to support testing for Java programs with UML

Tetsuro Katayama, Yusuke Yabuya, 2005, 12th Asia-Pacific Software Engineering Conference (APSEC'05).

Prototype of a Supporting Tool to Generate Testing Communication Diagram

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2015, J. Robotics Netw. Artif. Life.

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

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2014, J. Robotics Netw. Artif. Life.

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

Akira Fukuda, Tetsuro Katayama, Masahiko Watanabe, 2011, 2011 International Conference on Computational Science and Its Applications.

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

Tetsuro Katayama, Bayu Priyambadha, 2020, 2020 IEEE 9th Global Conference on Consumer Electronics (GCCE).

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

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2015, J. Robotics Netw. Artif. Life.

Combinatorial Test Architecture Design Using Viewpoint Diagram

Tetsuro Katayama, Yasuharu Nishi, Satomi Yoshizawa, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.

Development of Library Fescue Extracting Elements of Attributes and Operations of Class Diagram in UML

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2019 .

Development of a Tool for Extended Place/transition Net-Based Mutation Testing

Tomohiko Takagi, Tetsuro Katayama, Shogo Morimoto, 2017 .

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

Hisaaki Yamaba, Kayoko Takatsuka, Naonobu Okazaki, 2020, Int. J. Grid Util. Comput..

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

Tetsuro Katayama, Mochamad Chandra Saputra, T. Katayama, 2015, J. Robotics Netw. Artif. Life.

Business goals monitoring and control measures in CMMI

Kunihito Yamamori, Tetsuro Katayama, Khine Khine Oo, 2016, 2016 IEEE 5th Global Conference on Consumer Electronics.

The Measurement of Class Cohesion using Semantic Approach

Bayu Priyambadha, Hisaaki Yamaba, Naonobu Okazaki, 2020 .

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

Yoshihiro Kita, Tetsuro Katayama, Takanori Kawasoe, 2005, IASTED Conf. on Software Engineering.

A method for structural testing of Ada concurrent programs using the Event Interactions Graph

Zengo Furukawa, Tetsuro Katayama, Kazuo Ushijima, 1996, Proceedings 1996 Asia-Pacific Software Engineering Conference.

Performance Evaluation of Home-Cluster Based Scheduling for NUMA Multiprocessors

Akira Fukuda, Keizo Saisho, Tetsuro Katayama, 2000, PDPTA.

Proposal of Execution Paths Indication Method for Integration Testing by Using an Automatic Visualization Tool 'Avis'

Shigeyuki Tomita, Yoshihiro Kita, Tetsuro Katayama, 2011 .

Prototype of a simulator to reflect a speed value in a code of linetracecar

Tetsuro Katayama, Kentaro Ikeda, T. Katayama, 2007 .

Implementation of an Arduino Simulator to Support Circuit Design

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2019 .

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

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2017, J. Robotics Netw. Artif. Life.

Prototype of a Tool to Defect Specific Comments

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2018 .

Design and implementation of test-case generation for concurrent programs

Zengo Furukawa, Tetsuro Katayama, Kazuo Ushijima, 1998, Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No.98EX240).

Model Checking of Software Design in State Transition Matrix

Tomohiro Shiraishi, Akira Fukuda, Tetsuro Katayama, 2010, Software Engineering Research and Practice.

A Web-Based Software Testing Tool with Visualization for Java Programs

Achmad Basuki, Hadi Suyono, Tetsuro Katayama, 2015 .

Memory Conscious Scheduling for Cluster-based NUMA Multiprocessors

Akira Fukuda, Keizo Saisho, Tetsuro Katayama, 2004, The Journal of Supercomputing.

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

Norio Shiratori, Hisaaki Yamaba, Naonobu Okazaki, 2019, NBiS.

Test Cases Redundant Elimination on Code Coverage Uses Distance and Correlation Measurement Method

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2020 .

Countermeasure against fingerprinting attack in Tor by separated contents retrieval

Naonobu Okazaki, Tetsuro Katayama, Kentaroh Toyoda, 2015 .

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

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2015, J. Robotics Netw. Artif. Life.

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

Tomohiro Shiraishi, Akira Fukuda, Tetsuro Katayama, 2011, IEICE Trans. Inf. Syst..

Proposal of an Algorithm to Generate VDM++ by Using Words Extracted from the Natural Language Specification

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2020 .

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

Hisaaki Yamaba, Kayoko Takatsuka, Naonobu Okazaki, 2019, AINA Workshops.

Improvement of Transitions and Flow Visualization TFVIS for Exception Handling

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2017 .

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

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2015, J. Robotics Netw. Artif. Life.

Tamias: a Syntax File Checker for Parsing Expression Grammar

Hisaaki Yamaba, Naonobu Okazaki, Yoshihiro Kita, 2019 .

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

Norio Shiratori, Hisaaki Yamaba, Naonobu Okazaki, 2018, EIDWT.

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

Hisaaki Yamaba, Kayoko Takatsuka, Naonobu Okazaki, 2019, NBiS.

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

Tomohiko Takagi, Tetsuro Katayama, Shogo Morimoto, 2017, J. Robotics Netw. Artif. Life.

Event interactions graph for test-case generations of concurrent programs

Zengo Furukawa, Tetsuro Katayama, Kazuo Ushijima, 1995, Proceedings 1995 Asia Pacific Software Engineering Conference.

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

Shigeyuki Tomita, Yoshihiro Kita, Tetsuro Katayama, 2007, 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007).

Development and Evaluation of Swahili Text Based CAPTCHA

Hisaaki Yamaba, Naonobu Okazaki, Kentaro Aburada, 2021, 2021 IEEE 3rd Global Conference on Life Sciences and Technologies (LifeTech).

Test Suite Reusability Measurement Based on Uses Frequently and Coverage of Reused Test Cases

Hisaaki Yamaba, Naonobu Okazaki, Kentaro Aburada, 2021 .

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

Hisaaki Yamaba, Naonobu Okazaki, Kentaro Aburada, 2021, J. Robotics Netw. Artif. Life.

Improvement of RETUSS to Ensure Traceability between Sequence Diagram in UML and Java Source Code in Real Time

Hisaaki Yamaba, Naonobu Okazaki, Kentaro Aburada, 2021 .

Utilizing the Similarity Meaning of Label in Class Cohesion Calculation

Hisaaki Yamaba, Kentaro Aburada, Tetsuro Katayama, 2021, J. Robotics Netw. Artif. Life.

Proposal of a Method to Measure Test Suite Quality Attributes for White-Box Testing

Tetsuro Katayama, Mochamad Chandra Saputra, T. Katayama, 2021 .

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

Hisaaki Yamaba, Naonobu Okazaki, Kentaro Aburada, 2021, J. Robotics Netw. Artif. Life.

Proposal and evaluation for color constancy CAPTCHA

Masayuki Mukunoki, Hisaaki Yamaba, Naonobu Okazaki, 2021, Artificial Life and Robotics.

The Seven Information Features of Class for Blob and Feature Envy Smell Detection in a Class Diagram

Hisaaki Yamaba, Naonobu Okazaki, Kentaro Aburada, 2021 .