Event Interactions Graph for Test-case Generation of Concurrent Programs. - Tetsuro Katayama; Zengo Furukawa; Kazuo Ushijima (APSEC, 1995)

A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph. - Tetsuro Katayama; Zengo Furukawa; Kazuo Ushijima (APSEC, 1996)

A Test-case Generation Method for Concurrent Programs Including Task-types. - Tetsuro Katayama; Zengo Furukawa; Kazuo Ushijima (APSEC, 1997)

Design and Implementation of Test-Case Generation for Concurrent Programs. - Tetsuro Katayama; Zengo Furukawa; Kazuo Ushijima (APSEC, 1998)

Generating a Device Driver with a Formal Specification Language. - Tetsuro Katayama; Keizo Saisho; Akira Fukuda (Applied Informatics, 1999)

Proposal of a Support System for Device Driver Generation. - Tetsuro Katayama; Keizo Saisho; Akira Fukuda (APSEC, 1999)

Home-cluster Based Processor Scheduling with Page Placement for NUMA Multiprocessors. - Takahiro Koita; Tetsuro Katayama; Keizo Saisho; Akira Fukuda (PDPTA, 1999)

Performance Evaluation of Home-Cluster Based Scheduling for NUMA Multiprocessors. - Takahiro Koita; Tetsuro Katayama; Keizo Saisho; Akira Fukuda (PDPTA, 2000)

Memory Conscious Scheduling for Cluster-based NUMA Multiprocessors. - Takahiro Koita; Tetsuro Katayama; Keizo Saisho; Akira Fukuda (J. Supercomput., 2000)

Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML. - Tetsuro Katayama (APSEC, 2002)

Proposal of a Method to Support Testing for Java Programs with UML. - Tetsuro Katayama; Yusuke Yabuya (APSEC, 2005)

Prototype of an Automatic Visualization Tool for Java to Educate Novice Programmers. - Yoshihiro Kita; Takanori Kawasoe; Tetsuro Katayama (IASTED Conf. on Software Engineering, 2005)

Extraction of Transformation Rules from UML Diagrams to SpecC. - Tetsuro Katayama (IEICE Trans. Inf. Syst., 2005)

Implementation and Evaluation of an Automatic Visualization Tool "PGT" for Programming Education. - Yoshihiro Kita; Tetsuro Katayama; Shigeyuki Tomita (SERA, 2007)

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 (Software Engineering Research and Practice, 2010)

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 (APSEC, 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 (ICCSA Workshops, 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)

Combinatorial Test Architecture Design Using Viewpoint Diagram. - Yasuharu Nishi; Tetsuro Katayama; Satomi Yoshizawa (ICST Workshops, 2013)

Proposal of Testing Diagrams for Visualizing Test Cases. - Seiya Urata; Tetsuro Katayama (ICST, 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 (KES, 2013)

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)

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 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 Method to Build Markov Chain Usage Model from UML Diagrams for Communication Delay Testing in Distributed Systems. - Tetsuro Katayama; Zhijia Zhao 003; Yoshihiro Kita; Hisaaki Yamaba; Naonobu Okazaki (J. Robotics Netw. Artif. Life, 2014)

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)

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 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)

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)

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)

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)

Code Coverage Visualization on Web-Based Testing Tool for Java Programs. - Mochamad Chandra Saputra; Tetsuro Katayama (J. Robotics Netw. Artif. Life, 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)

Automated lung nodule classification by artificial neural network and fuzzy inference system. - Khaing Zin Htwe; Kunihito Yamamori; Tetsuro Katayama; Tin Mar Kyi (GCCE, 2016)

Business goals monitoring and control measures in CMMI. - Hnin Thandar Tun; Tetsuro Katayama; Kunihito Yamamori; Khine Khine Oo (GCCE, 2016)

Development of a Monitoring System Based on Power Consumption. - Kentaro Aburada; Kengo Todaka; Hisaaki Yamaba; Tetsuro Katayama; Mirang Park; Norio Shiratori; Naonobu Okazaki (NBiS, 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 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)

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 for Extended Place/Transition Net-Based Mutation Testing and Its Application Example. - Tomohiko Takagi; Shogo Morimoto; Tetsuro Katayama (J. Robotics Netw. Artif. Life, 2017)

Evaluation of Index Poisoning Method in Large Scale Winny Network. - Kentaro Aburada; Yoshihiro Kita; Hisaaki Yamaba; Tetsuro Katayama; Mirang Park; Naonobu Okazaki (EIDWT, 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 (EIDWT, 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 (EIDWT, 2018)

Interactive Video CAPTCHA for Better Resistance to Automated Attack. - Shotaro Usuzaki; Kentaro Aburada; Hisaaki Yamaba; Tetsuro Katayama; Masayuki Mukunoki; Mirang Park; Naonobu Okazaki (ICMU, 2018)

Evaluation of User Identification Methods for Realizing an Authentication System Using s-EMG. - Hisaaki Yamaba; Kentaro Aburada; Tetsuro Katayama; Mirang Park; Naonobu Okazaki (NBiS, 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)

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)

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 (AINA Workshops, 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 (NBiS, 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 (NBiS, 2019)

State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing. - Tomohiko Takagi; Ryo Kurozumi; Tetsuro Katayama (PRDC, 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)

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)

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)

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)

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 (AINA Workshops, 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 (EIDWT, 2020)

Tree-based Keyword Search Algorithm over the Visual Paradigm's Class Diagram XML to Abstracting Class Information. - Bayu Priyambadha; Tetsuro Katayama (GCCE, 2020)

Code Coverage Similarity Measurement Using Machine Learning for Test Cases Minimization. - Mochamad Chandra Saputra; Tetsuro Katayama (GCCE, 2020)

Proposal of an Approach to Generate VDM++ Specifications from Natural Language Specification by Machine Learning. - Yasuhiro Shigyo; Tetsuro Katayama (GCCE, 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 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)

Performance Evaluation of Blockchain Based Agricultural Input Voucher System. - Isakwisa Gaddy Tende; Kentaro Aburada; Hisaaki Yamaba; Tetsuro Katayama; Naonobu Okazaki (GCCE, 2021)

Development and Evaluation of Swahili Text Based CAPTCHA. - Isakwisa Gaddy Tende; Kentaro Aburada; Hisaaki Yamaba; Tetsuro Katayama; Naonobu Okazaki (LifeTech, 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)

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)

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)

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)

Demonstration of All-Optical Ultrafast Switching, Using High-Quality Graphene. - Tomoki Kusaka; Akihiro Furube; Tetsuro Katayama; Hiroki Kishikawa; Yasuhide Ohno; Masao Nagase; Junichi Fujikata (OECC/PSC, 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)

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)

Expansion of Application Scope and Addition of a Function for Operations into BWDM which is an Automatic Test Cases Generation Tool for VDM++ Specification. - Takafumi Muto; Tetsuro Katayama; Yoshihiro Kita; Hisaaki Yamaba; Kentaro Aburada; Naonobu Okazaki (J. Robotics Netw. Artif. Life, 2022)

Detection of Blob and Feature Envy Smells in a Class Diagram using Class's Features. - Bayu Priyambadha; Tetsuro Katayama; Yoshihiro Kita; Hisaaki Yamaba; Kentaro Aburada; Naonobu Okazaki (J. Robotics Netw. Artif. Life, 2022)

Proposal of Gamma Which Is a Messaging Platform for Spatial Data. - Takahiro Ueda; Tetsuro Katayama; Yoshihiro Kita; Hisaaki Yamaba; Kentaro Aburada; Naonobu Okazaki (J. Robotics Netw. Artif. Life, 2022)

Analysis of Self Determination Factors for Continuance Intention on Online Learning Management System. - Mochamad Chandra Saputra; Tetsuro Katayama; Yoshihiro Kita; Hisaaki Yamaba; Kentaro Aburada; Naonobu Okazaki; Satrio Agung Wicaksono (J. Robotics Netw. Artif. Life, 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, 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, 2023)

Proposal of a Document Layout Analysis Method Adopting Pre-processing Based on Document Image Classification. - Kanta Kakinoki; Tetsuro Katayama (ICGEC (2), 2024)

Evacuation Support System for Tsunami Disasters that Considers Shelter Congestion. - Hidetaka Nishi; Keita Nabeyama; Shotaro Usuzaki; Kentaro Aburada; Hisaaki Yamaba; Tetsuro Katayama; Mirang Park; Naonobu Okazaki (ICGEC (2), 2024)

ASLA: Automatic Segmentation and Labeling by Deep Learning for Document Pictures. - Kanta Kakinoki; Tetsuro Katayama; Yoshihiro Kita; Hisaaki Yamaba; Kentaro Aburada; Naonobu Okazaki (J. Robotics Netw. Artif. Life, 2024)

RAGESS: A Tool for Real-time Automatic Generation of SwiftDiagram to Support iOS Application Development. - Haruki Onaga; Tetsuro Katayama; Yoshihiro Kita; Hisaaki Yamaba; Kentaro Aburada; Naonobu Okazaki (J. Robotics Netw. Artif. Life, 2024)