Tetsuro Katayama

81 papers A 1B 1C 10Misc 2Journal 41Unranked 26

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